TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 7, p. 510, doi. 10.1109/TSE.2006.71
- By:
- Publication type:
- Article
Works matching IS 00985589 AND DT 2006 AND VI 32 AND IP 7
Results: 6
1
2
System Test Planning of Software: An Optimization Approach.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 7, p. 503, doi. 10.1109/TSE.2006.70
- By:
- Publication type:
- Article
3
Performance Modeling and Evaluation of Distributed Component-Based Systems Using Queueing Petri Nets.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 7, p. 486, doi. 10.1109/TSE.2006.69
- By:
- Publication type:
- Article
4
InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 7, p. 467, doi. 10.1109/TSE.2006.67
- By:
- Publication type:
- Article
5
Discovering Architectures from Running Systems.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 7, p. 454, doi. 10.1109/TSE.2006.66
- By:
- Publication type:
- Article
6
An Empirical Study of the Complex Relationships between Requirements Engineering Processes and Other Processes that Lead to Payoffs in Productivity, Quality, and Risk Management.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 7, p. 433, doi. 10.1109/TSE.2006.61
- By:
- Publication type:
- Article