Works matching IS 00985589 AND DT 2003 AND VI 29 AND IP 10
Results: 7
Architectural-Level Risk Analysis Using UML.
- Published in:
- IEEE Transactions on Software Engineering, 2003, v. 29, n. 10, p. 946, doi. 10.1109/TSE.2003.1237174
- By:
- Publication type:
- Article
CARISMA: Context-Aware Reflective Middleware System for Mobile Applications.
- Published in:
- IEEE Transactions on Software Engineering, 2003, v. 29, n. 10, p. 929, doi. 10.1109/TSE.2003.1237173
- By:
- Publication type:
- Article
Using Redundancies to Find Errors.
- Published in:
- IEEE Transactions on Software Engineering, 2003, v. 29, n. 10, p. 915, doi. 10.1109/TSE.2003.1237172
- By:
- Publication type:
- Article
Temporal Logic Query Checking: A Tool for Model Exploration.
- Published in:
- IEEE Transactions on Software Engineering, 2003, v. 29, n. 10, p. 898, doi. 10.1109/TSE.2003.1237171
- By:
- Publication type:
- Article
Searching for Points-To Analysis.
- Published in:
- IEEE Transactions on Software Engineering, 2003, v. 29, n. 10, p. 883, doi. 10.1109/TSE.2003.1237170
- By:
- Publication type:
- Article
Template Semantics for Model-Based Notations.
- Published in:
- IEEE Transactions on Software Engineering, 2003, v. 29, n. 10, p. 866, doi. 10.1109/TSE.2003.1237169
- By:
- Publication type:
- Article
Guest Editor's Introduction: 2002 Conference on the Foundations of Software Engineering.
- Published in:
- 2003
- By:
- Publication type:
- Editorial