Automatic Analysis of Consistency between Requirements and Designs.
- Published in:
- IEEE Transactions on Software Engineering, 2001, v. 27, n. 7, p. 651, doi. 10.1109/32.935856
- By:
- Publication type:
- Article
Works matching IS 00985589 AND DT 2001 AND VI 27 AND IP 7
Results: 5
1
2
The Confounding Effect of Class Size on the Validity of Object-Qriented Metrics.
- Published in:
- IEEE Transactions on Software Engineering, 2001, v. 27, n. 7, p. 630, doi. 10.1109/32.935855
- By:
- Publication type:
- Article
3
A Tool to Help Tune where Computation Is Performed.
- Published in:
- IEEE Transactions on Software Engineering, 2001, v. 27, n. 7, p. 618, doi. 10.1109/32.935854
- By:
- Publication type:
- Article
4
Simulation-Verification: Biting at the State Explosion Problem.
- Published in:
- IEEE Transactions on Software Engineering, 2001, v. 27, n. 7, p. 599, doi. 10.1109/32.935853
- By:
- Publication type:
- Article
5
Foundations of the Trace Assertion Method of Module Interface Specification.
- Published in:
- IEEE Transactions on Software Engineering, 2001, v. 27, n. 7, p. 577, doi. 10.1109/32.935852
- By:
- Publication type:
- Article