977 search results - page 33 / 196 » Formal methods integration in software engineering |
123
click to vote
FORTE
1994
15 years 5 months ago
1994
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
146
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
160
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
125
click to vote
ECBS
2009
IEEE
15 years 10 months ago
2009
IEEE
Security requirements strongly influence the architectural design of complex IT systems in a similar way as other non-functional requirements. Both security engineering as well a...
106
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state d...