1121 search results - page 83 / 225 » Building Formal Requirements Models for Reliable Software |
108
click to vote
ASM
2010
ASM
15 years 3 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
HICSS
1997
IEEE
15 years 4 months ago
1997
IEEE
Business System Engineers, responding to changes in the market place, are faced with the challenge of building increasingly complex and varied systems. Formal approaches and model...
112
click to vote
WCRE
2009
IEEE
15 years 6 months ago
2009
IEEE
—Object-oriented software quality models usually use metrics of classes and of relationships among classes to assess the quality of systems. However, software quality does not de...
PPDP
2009
Springer
15 years 6 months ago
2009
Springer
Many recent research projects focus on language support for behavioral software contracts, that is, assertions that govern the boundaries between software building blocks such as ...
ICDCS
2006
IEEE
15 years 6 months ago
2006
IEEE
Content-based publish/subscribe (pub/sub) is a promising paradigm for building asynchronous distributed applications. In many application scenarios, these systems are required to ...