5433 search results - page 577 / 1087 » Tool Support for Traceability-Adaptation |
199
click to vote
ECOOP
2004
Springer
16 years 18 days ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
178
click to vote
ESAW
2004
Springer
16 years 18 days ago
2004
Springer
The agent metaphor has shown its usefulness for modelling as well as implementing complex and dynamic applications. Although a number of agent applications has been successfully re...
227
click to vote
IFIP
2004
Springer
16 years 17 days ago
2004
Springer
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...
164
click to vote
IFM
2004
Springer
16 years 17 days ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
173
click to vote
PDCAT
2004
Springer
16 years 17 days ago
2004
Springer
Malicious codes and worms comprise the largest portion of the loss caused the security problem in the Internet. Small worms such as the “Blaster” spread quickly through the eno...