977 search results - page 11 / 196 » Formal methods integration in software engineering |
SFM
2009
Springer
15 years 6 months ago
2009
Springer
DAGSTUHL
1992
15 years 24 days ago
1992
DESMET was a DTI-backed project with the goal of developing and validating a methodology for evaluating software engineering methods and tools. The project identified nine methods...
114
click to vote
WCRE
1995
IEEE
15 years 3 months ago
1995
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
100
click to vote
ERSHOV
2006
Springer
15 years 3 months ago
2006
Springer
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
102
click to vote
EMSOFT
2004
Springer
15 years 5 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...