1432 search results - page 88 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
134
click to vote
ADBIS
2005
Springer
15 years 9 months ago
2005
Springer
A major application area of information systems technology and multimedia content management is that of support systems for engineering processes. This includes the particularly im...
169
Voted
OOPSLA
2004
Springer
15 years 8 months ago
2004
Springer
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...
152
Voted
HCI
2009
15 years 1 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
135
click to vote
APSEC
1999
IEEE
15 years 7 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
126
Voted
PVM
2007
Springer
15 years 9 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...