2407 search results - page 324 / 482 » A Tool for Abstraction in Model Checking |
183
click to vote
IASTEDSE
2004
15 years 8 months ago
2004
This paper presents a development process with particular focus on non-functional properties. The process is built around the concept of measurements at different levels of abstra...
190
click to vote
CAISE
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...
214
Voted
AGTIVE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Business-driven development is a methodology for developing IT solutions that directly satisfy business requirements. At its core are business processes, which are usuall...
184
click to vote
OTM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Business process models play an important role for the management, design, and improvement of process organizations and processaware information systems. Despite the exte...
240
click to vote
CCECE
2006
IEEE
16 years 1 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...