4350 search results - page 333 / 870 » Case studies for contract-based systems |
198
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Defining requirements is one of the most critical activities in the development of software intensive systems. The EasyWinWin system has been very good in capturing initial requir...
170
click to vote
RTAS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
189
click to vote
SSDBM
2007
IEEE
16 years 1 months ago
2007
IEEE
There is a significant need for data integration capabilities in the scientific domain, which has manifested itself as products in the commercial world as well as academia. Howeve...
217
click to vote
IFM
2007
Springer
16 years 26 days ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
166
click to vote
HICSS
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper presents how state consistency among distributed control nodes is maintained in the presence of faults. We analyze a fault tolerant semi-synchronous architecture concep...