-
1
-
-
0000397157
-
Design by Contract: The Lessons of Ariane
-
January
-
J.-M. Jezequel and B. Meyer, "Design by Contract: The Lessons of Ariane", IEEE Computer, Vol. 14, No. 1, pp. 129-130, January 1997.
-
(1997)
IEEE Computer
, vol.14
, Issue.1
, pp. 129-130
-
-
Jezequel, J.-M.1
Meyer, B.2
-
2
-
-
34248554987
-
Ariane 5, Flight 510 Failure
-
July
-
J. L. Lions, "Ariane 5, Flight 510 Failure, Report the Inquiry Board",http://www.esrin.asa.it/htdocs/tidc/Press/Press96/ariane 5rep.html July 1996.
-
(1996)
Report the Inquiry Board
-
-
Lions, J.L.1
-
3
-
-
34248528505
-
-
rd International Workshop on Component-based Software Engineering: Reflects and Practice, Limerick, Ireland, June 2000.
-
rd International Workshop on Component-based Software Engineering: Reflects and Practice, Limerick, Ireland, June 2000.
-
-
-
-
5
-
-
0032165751
-
Testing Component-Based Software: A Cautionary Tale
-
September/October
-
E. J. Weyuker, "Testing Component-Based Software: A Cautionary Tale", IEEE Software, Vol. 15, Issue 5, September/October 1998.
-
(1998)
IEEE Software
, vol.15
, Issue.5
-
-
Weyuker, E.J.1
-
6
-
-
33744951941
-
An Approach To Analyzing and Testing Component-Based Systems
-
Los Angeles, May
-
M. J. Harrold, D. Liang, and S. Sinha, "An Approach To Analyzing and Testing Component-Based Systems", Proceedings of FIRST International ICSE Workshop on Testing Distributed Component-Based Systems, Los Angeles, May 1999.
-
(1999)
Proceedings of FIRST International ICSE Workshop on Testing Distributed Component-Based Systems
-
-
Harrold, M.J.1
Liang, D.2
Sinha, S.3
-
8
-
-
0034478816
-
Black-Box Testing Using Flowgraphs: An Experimental Assessment of Effectiveness and Automation Potential
-
December
-
S. H. Edwards, "Black-Box Testing Using Flowgraphs: An Experimental Assessment of Effectiveness and Automation Potential," Journal of Software Testing, Verification, and Reliability, Vol. 10, No.4, pp. 249-262, December 2000.
-
(2000)
Journal of Software Testing, Verification, and Reliability
, vol.10
, Issue.4
, pp. 249-262
-
-
Edwards, S.H.1
-
9
-
-
0004618045
-
Systematic Testing of Data Abstractions Based on Software Specifications
-
S. W. Zwenben, et al., "Systematic Testing of Data Abstractions Based on Software Specifications", Journal of Software Testing, Verification, and Reliability, Vol. 1, No. 3, pp. 39-55, 1992.
-
(1992)
Journal of Software Testing, Verification, and Reliability
, vol.1
, Issue.3
, pp. 39-55
-
-
Zwenben, S.W.1
-
11
-
-
0003654451
-
Adequate Testing of Component-Based Software
-
Technical Report 97-34, Department of Information and Computer Science, University of California, Irvine
-
D. S. Rosenblum, "Adequate Testing of Component-Based Software", Technical Report 97-34, Department of Information and Computer Science, University of California, Irvine, 1997.
-
(1997)
-
-
Rosenblum, D.S.1
-
13
-
-
84954145008
-
An Integrated Technique for Component-Based Software
-
Beirut, Lebanon, IEEE Computer Society Press
-
S. Beydeda and V. Gruhn, "An Integrated Technique for Component-Based Software", ACS/IEEE International Conference on Computer Systems and Applications (AICCSA, Beirut, Lebanon), IEEE Computer Society Press, 328-334, 2001.
-
(2001)
ACS/IEEE International Conference on Computer Systems and Applications (AICCSA
, pp. 328-334
-
-
Beydeda, S.1
Gruhn, V.2
|