977 search results - page 6 / 196 » Formal methods integration in software engineering |
FTRTFT
1998
Springer
15 years 3 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
117
click to vote
WOSP
2004
ACM
2004
ACM
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
15 years 5 months ago
Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the int...
ICFEM
2004
Springer
15 years 5 months ago
2004
Springer
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
93
Voted
EUROMICRO
2006
IEEE
15 years 5 months ago
2006
IEEE
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...