Contract.- Checking, Wrappers for C++ Classes.
- Published in:
- IEEE Transactions on Software Engineering, 2004, v. 30, n. 11, p. 794, doi. 10.1109/TSE.2004.80
- By:
- Publication type:
- Article
Works matching IS 00985589 AND DT 2004 AND VI 30 AND IP 11
Results: 9
1
2
Assessing and Improving State-Based Class Testing: A Series of Experiments.
- Published in:
- IEEE Transactions on Software Engineering, 2004, v. 30, n. 11, p. 770, doi. 10.1109/TSE.2004.79
- By:
- Publication type:
- Article
3
A Familial Form of Congenital Hypopituitarism Due to a PROP1 Mutation in a Large Kindred: Phenotypic and in Vitro Functional Studies.
- Published in:
- IEEE Transactions on Software Engineering, 2004, v. 30, n. 11, p. 5779
- By:
- Publication type:
- Article
4
Improving Cohesion Metrics for Classes by Considering Dependent Instance Variables.
- Published in:
- IEEE Transactions on Software Engineering, 2004, v. 30, n. 11, p. 826, doi. 10.1109/TSE.2004.88
- By:
- Publication type:
- Article
5
A Cognitive-Based Mechanism for Constructing Software Inspection Teams.
- Published in:
- IEEE Transactions on Software Engineering, 2004, v. 30, n. 11, p. 811, doi. 10.1109/TSE.2004.69
- By:
- Publication type:
- Article
6
Evaluating Web Software Reliability Based on Workload and Failure Data Extracted from Server Logs.
- Published in:
- IEEE Transactions on Software Engineering, 2004, v. 30, n. 11, p. 754, doi. 10.1109/TSE.2004.87
- By:
- Publication type:
- Article
7
Enhancing Structured Review with Model-Based Verification.
- Published in:
- IEEE Transactions on Software Engineering, 2004, v. 30, n. 11, p. 736, doi. 10.1109/TSE.2004.86
- By:
- Publication type:
- Article
8
Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables.
- Published in:
- IEEE Transactions on Software Engineering, 2004, v. 30, n. 11, p. 715, doi. 10.1109/TSE.2004.78
- By:
- Publication type:
- Article
9
Editorial: New AE Introduction.
- Published in:
- 2004
- By:
- Publication type:
- Editorial