770 search results - page 128 / 154 » Agile requirements engineering with prototyping: A case stud... |
ICSE
2000
IEEE-ACM
15 years 2 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
EDBTW
2010
Springer
15 years 2 months ago
2010
Springer
The vision of dataspaces has been articulated as providing various of the benefits of classical data integration but with reduced up-front costs, which, combined with opportunitie...
APSEC
2008
IEEE
15 years 29 days ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
123
click to vote
CIBSE
2008
ACM
15 years 29 days ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
105
click to vote
EMSOFT
2006
Springer
15 years 27 days ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...