3801 search results - page 418 / 761 » An Approach to Modeling Software Safety |
185
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
183
click to vote
SEKE
2005
Springer
16 years 7 days ago
2005
Springer
Multi-agent systems have become increasingly mature, but their appearance does not make the traditional OO approach obsolete. On the contrary, OO methodologies can benefit from th...
194
click to vote
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
178
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Model-based development is becoming an increasingly common development methodology. In important domains like embedded systems already major parts of the code are generated from m...
201
click to vote
ISM
2005
IEEE
16 years 10 days ago
2005
IEEE
The development of highly interactive multimedia applications is still a challenging and complex task. In addition to the application logic multimedia applications typically provi...