803 search results - page 52 / 161 » Building Formal Models for Software Requirements |
127
Voted
DSRT
2008
IEEE
15 years 10 months ago
2008
IEEE
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
143
Voted
ICEBE
2007
IEEE
15 years 10 months ago
2007
IEEE
In the development process of a B2B system it is crucial that the business experts are able to express and evaluate agreements and commitments between the partners and that the so...
108
Voted
SEW
2006
IEEE
15 years 9 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
147
Voted
ICST
2010
IEEE
15 years 2 months ago
2010
IEEE
— Increasingly, licensing and safety regulatory bodies require the suppliers of software-intensive, safety-critical systems to provide an explicit software safety case – a stru...
133
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...