1481 search results - page 19 / 297 » Enriching the Software Development Process by Formal Methods |
116
click to vote
KBSE
1998
IEEE
15 years 7 months ago
1998
IEEE
Formal approaches to software reuse rely heavily upon specificationmatchingcriterion, where asearch query using formal specifications is used to search a library of components ind...
161
click to vote
ICSEA
2009
IEEE
15 years 25 days 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...
159
click to vote
UML
2001
Springer
15 years 7 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
135
Voted
CSREAEEE
2006
15 years 4 months ago
2006
- Improving software quality remains a key challenge. Software development formal peer inspection has emerged as an effective approach to address this challenge. Software peer insp...
146
click to vote
ASWSD
2004
Springer
15 years 8 months ago
2004
Springer
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...