1121 search results - page 78 / 225 » Building Formal Requirements Models for Reliable Software |
138
click to vote
ISSS
1996
IEEE
15 years 4 months ago
1996
IEEE
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
126
click to vote
SAC
2011
ACM
14 years 2 months ago
2011
ACM
We propose a novel approach and tool for collaborative software engineering and development. In model-based software engineering, the underlying data structure is a complex, direc...
CHI
2002
ACM
16 years 7 days ago
2002
ACM
Despite many sensor, hardware, networking, and software advances, it is still quite difficult to build effective and reliable context-aware applications. We propose to build a con...
SEW
2006
IEEE
15 years 5 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...
114
click to vote
ICST
2010
IEEE
14 years 10 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...