Reply to Comments on "An Interval Logic for Real-Time System Specification"
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 6, p. 428, doi. 10.1109/TSE.2006.57
- By:
- Publication type:
- Article
Works matching IS 00985589 AND DT 2006 AND VI 32 AND IP 6
Results: 6
1
2
Comments on "An Interval Logic for Real-Time System Specification"
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 6, p. 424, doi. 10.1109/TSE.2006.50
- By:
- Publication type:
- Article
3
Using SCL to Specify and Check Design Intent in Source Code.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 6, p. 404, doi. 10.1109/TSE.2006.60
- By:
- Publication type:
- Article
4
Reachability Testing of Concurrent Programs.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 6, p. 382, doi. 10.1109/TSE.2006.56
- By:
- Publication type:
- Article
5
The Impact of UML Documentation on Software Maintenance: An Experimental Evaluation.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 6, p. 365, doi. 10.1109/TSE.2006.59
- By:
- Publication type:
- Article
6
Design Synthesis from Interaction and State-Based Specifications.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 6, p. 349, doi. 10.1109/TSE.2006.55
- By:
- Publication type:
- Article