2935 search results - page 23 / 587 » An Integrated Approach to High Integrity Software Verificati... |
139
click to vote
EUROMICRO
1996
IEEE
15 years 8 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
150
click to vote
EUROMICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
124
click to vote
IUSED
2008
15 years 5 months ago
2008
Permanent involvement of end users in software development is both highly recommended and highly challenging. Against the background of our results and experiences from two resear...
163
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
142
click to vote
AC
1999
Springer
15 years 8 months ago
1999
Springer
A widely used computational model for constructing fault-tolerant distributed applications employs atomic transactions for controlling operations on persistent objects. There has ...