2935 search results - page 62 / 587 » An Integrated Approach to High Integrity Software Verificati... |
109
click to vote
DEXA
1998
Springer
15 years 8 months ago
1998
Springer
For GIS, SGML document servers and other highly specialized application domains, the systems integration problem is essential since the available software often is complex and wou...
169
click to vote
RE
2010
Springer
14 years 11 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
126
click to vote
ISPW
2008
IEEE
15 years 10 months ago
2008
IEEE
The continuous changes in customer requirements as well as the ever-increasing market-driven demand of innovation makes automotive software projects success strongly dependent on t...
170
click to vote
ICSEA
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
136
Voted
IEAAIE
1995
Springer
15 years 7 months ago
1995
Springer
High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the ana...