3799 search results - page 353 / 760 » An Engineering Approach to Formal Methods |
179
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
The frequent changes during the development and usage of large software systems often lead to a loss of architectural quality which hampers the implementation of further changes a...
184
click to vote
SEFM
2008
IEEE
16 years 1 months ago
2008
IEEE
The only practical way to test distributed messagepassing systems is to use local testing. In this approach, used in formalisms such as concurrent TTCN-3, some components are repl...
187
click to vote
APSEC
2007
IEEE
16 years 1 months ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
136
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
The goal of engineering self-organising emergent systems is to acquire a macroscopic system behaviour solely from autonomous local activity and interaction. Due to the non-determin...
154
click to vote
KBSE
2003
IEEE
16 years 1 days ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...