1121 search results - page 59 / 225 » Building Formal Requirements Models for Reliable Software |
132
click to vote
CMOT
2011
14 years 3 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
118
click to vote
APSEC
2001
IEEE
15 years 3 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
130
click to vote
PPOPP
2009
ACM
16 years 11 days ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
107
click to vote
RTCSA
2008
IEEE
15 years 6 months ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
A data model is a plan for building a database and is comparable to an architect's building plans. There are two major methodologies used to create a data model: the EntityRe...