1432 search results - page 137 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
140
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
124
click to vote
ADAEUROPE
2010
Springer
15 years 8 months ago
2010
Springer
The technology for building dependable computing systems has advanced dramatically. Nevertheless, there is still no complete solution to building software for critical systems in w...
137
click to vote
MST
2010
14 years 10 months ago
2010
We consider the important problem of energy balanced data propagation in wireless sensor networks and we extend and generalize previous works by allowing adaptive energy assignment...
145
Voted
ISSTA
1996
ACM
15 years 7 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
122
click to vote
GI
2008
Springer
15 years 4 months ago
2008
Springer
Abstract: The present contribution deals with the experiences of introducing a modelbased software development method for device driver families used in electronic control units in...