1121 search results - page 135 / 225 » Building Formal Requirements Models for Reliable Software |
159
click to vote
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
152
click to vote
SCESM
2006
ACM
15 years 10 months ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...
122
click to vote
HICSS
1995
IEEE
15 years 7 months ago
1995
IEEE
To ease the implementation of distributed objectoriented systems we developed the PDC technique (Proxy/ Dispatcher/Collocutor technique), a simple and pragmatic approach to allow ...
159
click to vote
EDCC
2010
Springer
15 years 9 months ago
2010
Springer
Wireless networks are starting to be populated by interconnected devices that reveal remarkable hardware and software differences. This fact raises a number of questions on the ap...
149
click to vote
ECBS
1999
IEEE
15 years 8 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...