1109 search results - page 54 / 222 » Software verification for TinyOS |
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Software construction has typically drawn on engineering metaphors like building bridges or cathedrals, which emphasize architecture, specification, central planning, and determin...
109
click to vote
SIGSOFT
1996
ACM
15 years 5 months ago
1996
ACM
ing Dependencies between Software Configuration Items CARL A. GUNTER University of Pennsylvania icle studies an abstract model of dependencies between software configuration items ...
113
click to vote
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
In this paper, we describe some of the key observations resulting from our work on using software engineering technologies to help detect errors in medical processes. In many ways...
115
click to vote
ICST
2008
IEEE
15 years 7 months ago
2008
IEEE
Verification and validation techniques often generate various forms of software development artifacts. Change records created from verification and validation efforts show how fil...
113
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...