2493 search results - page 10 / 499 » Tool Support for Design by Contract |
SAC
2009
ACM
14 years 2 months ago
2009
ACM
This paper describes the agentTool Process Editor (APE), an Eclipse plug-in based on the Eclipse Process Framework. The aim of APE is to facilitate the design, verification, and m...
IWC
2006
13 years 7 months ago
2006
Even in the current computer age, there are still many important application areas, such as early architectural design, where traditional tools like sketching on paper continue to...
AGTIVE
1999
Springer
13 years 11 months ago
1999
Springer
A suitable software architecture –for example in the area of distributed application– can be composed of known-to-work solutions. These are also known as design patterns. Howev...
ICECCS
2009
IEEE
13 years 5 months ago
2009
IEEE
In hard real-time systems such as avionics, computer board level designs are typically customized to meet specific reliability and real time requirements. This paper focuses on co...
TELSYS
2002
13 years 7 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...