Comments on "Automatic Analysis of Consistency between Requirements and Designs"
- Published in:
- 2006
- By:
- Publication type:
- Erratum
Works matching IS 00985589 AND DT 2006 AND VI 32 AND IP 4
Results: 5
1
2
Threat-Driven Modeling and Verification of Secure Software Using Aspect-Oriented Petri Nets.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 4, p. 265
- By:
- Publication type:
- Article
3
Task Construction for Model-Based Design of Embedded Control Software.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 4, p. 254, doi. 10.1109/TSE.2006.39
- By:
- Publication type:
- Article
4
On the Value of Static Analysis for Fault Detection in Software.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 4, p. 240, doi. 10.1109/TSE.2006.38
- By:
- Publication type:
- Article
5
Interactive Fault Localization Techniques in a Spreadsheet Environment.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 4, p. 213, doi. 10.1109/TSE.2006.37
- By:
- Publication type:
- Article