1099 search results - page 100 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
181
click to vote
ARCS
2005
Springer
15 years 12 months ago
2005
Springer
This paper examines how methods inspired by biological processes can be applied to the design of large-scale environment-aware sensor networks. Our ultimate goal are systems conta...
192
click to vote
FTCS
1998
15 years 7 months ago
1998
Programs fail mainly for two reasons: logic errors in the code, and exception failures. Exception failures can account for up to 2/3 of system crashes [6], hence are worthy of ser...
180
click to vote
VAMOS
2008
Springer
15 years 7 months ago
2008
Springer
Variability management is a key concern in the software industry. It allows designers to rapidly propose applications that fit the environment and the user needs, with a certain Q...
198
click to vote
APSCC
2008
IEEE
15 years 8 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
185
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...