Software quality through domain-driven certification

Annals of Software Engineering

Volumn 5, Issue , 1998, Pages 293-315

  Knight, John C ^a   Dunn, Michael F ^a  

^a University of Virginia   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032354580     PISSN: 10227091     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018960021044     Document Type: Article

References (31)

1. Andrews, D.M. and J.P. Benson (1981), "Automated Program Testing Methodology and Its Implementation," In Proceedings the Fifth International Conference Software Engineering, IEEE Computer Society Press, Los Alamitos, CA, pp. 254-261.
2. Barnes, B., T. Durek, J. Gaffney and A. Pyster (1987), "A Framework and Economic Foundation for Software Reuse," In Proceedings of the Workshop on Software Reusability and Maintainability, National Institute of Software Quality and Productivity, Boulder, CO.
3. Bassett, P.G. (1987), "Frame-Based Software Engineering," IEEE Software 4, 4, 9-16.
4. Biggerstaff, T.J. and C. Richter (1987), "Reusability Framework, Assessment, and Directions," IEEE Software 4, 2, 41-49.
5. Caldiera, G. and V.R. Basili (1991), "Identifying and Qualifying Reusable Software Components," IEEE Computer 24, 2, 61-70.
6. Clough, A., S. David and P. Roberts (1989), Software Quality Evaluation for Reusable Components, The Charles Stark Draper Laboratory, Cambridge, MA.
7. Dowson, M. (1987), Personal communication.
8. Fagan, M.E. (1986), "Advances in Software Inspections," IEEE Transactions on Software Engineering, 12, 7, 744-751.
9. Freeman, P., Ed. (1988), Software Reuse: Emerging Technology, IEEE Computer Society Press, Los Alamitos, CA.
10. Gargaro, A. and T.L. Pappas (1987), "Reusability Issues and Ada," IEEE Software 4, 4, 43-51.
11. Horowitz, E. and J.B. Munson (1984), "An Expansive View of Reusable Software," IEEE Transactions on Software Engineering 10, 5, 477-487.
12. Howell, C. and D. Mularz (1991), "Exception Handling in Large Ada Systems," Technical Report, MITRE Corporation, McLean, VA.
13. Jones, C.B. (1986), Systematic Software Development Using VDM, Prentice-Hall, Englewood Cliffs, NJ.
14. Lenz, M., H.A. Schmid and P.F. Wolf (1987), "Software Reuse Through Building Blocks," IEEE Software 4, 4, 34-42.
15. Leveson, N.G., S.S. Cha, T.J. Shimeall and J.C. Knight (1990), "The Use Self Checks And Voting in Software Error Detection: An Empirical Study," IEEE Transactions Software on Engineering 16, 4, 432-443.
16. Luckham, D.C. and F.W. von Henke (1985), "An Overview of Anna, A Specification Language For Ada," IEEE Software 2, 2, 47-57.
17. McCabe, T.J. (1976), "A Complexity Measure," IEEE Transactions Software Engineering 2, 4, 308-320.
18. Meyer, B. (1988), "EIFFEL: Reusability and Reliability," In Software Reuse: Emerging Technology, Tracz, W., Ed., IEEE Computer Society Press, Los Alamitos, CA, pp. 216-228.
19. Naher, S. and C. Uhrig (1997), The LEDA User Manual, Max-Planck-Institut für Informatik, Saarbrüc, Germany, http://www.Informatik.uni-halle.de/ naeher/Manual/MANUAL.html.
20. Ogden, W.F., M. Sitaraman, B.W. Weide and S.H. Zweben (1994), "The RESOLVE Framework and Discipline - A Research Synopsis," ACM SIGSOFT Software Engineering Notes 19, 4, 23-28.
21. Research Triangle Institute (1993), Certification of Reusable Software Components, Center for Digital Systems Research, Research Triangle Institute, Research Triangle Park, NC.
22. Prieto-Diaz, R. (1990), "Domain Analysis: An Introduction," ACM SIGSOFT Software Engineering Notes 15, 2, 47-54.
23. Rice, J. and H. Schwetman (1989), "Interface Issues In A Software Parts Technology," In Software Reusability, T. Biggerstaff and A. Perlis, Eds., Addison-Wesley, Reading, MA, pp. 125-139.
24. Software Productivity Consortium (1989), Ada Quality and Style: Guidelines for Professional Programmers, Van Nostrand Reinhold, New York, NY.
25. Software Productivity Solutions (1996), Certification Framework, Software Productivity Solutions Inc., Indialantic, FL.
26. Tracz, W. (1988), "Software Reuse Myths," ACM SIGSoft: Software Engineering Notes 13, 1, 17-21.
27. Tracz, W., Ed. (1988), Software Reuse: Emerging Technology, IEEE Computer Society Press, Los Alamitos, CA.
28. U.S. Department of Defense, Ada Joint Program Office (1983), Reference Manual For The Ada Programming Language, ANSI/MIL-STD-1815A, U.S. Department of Defense, Washington, DC.
29. Weide, B.W. and J.E. Hollingsworth (1994), On Local Certifiability of Software Components, Technical Report OSU-CISRC-1/94-TR04, Department of Computer and Information Sciences, Ohio State University, Columbus, OH.
30. Wohlin, C. and P. Runeson (1994), "Certification of Software Components," IEEE Transactions on Software Engineering 20, 6, 494-499.
31. Zelkowitz, M., J. Gannon and A. Shaw (1979), Principles of Software Engineering and Design, Prentice-Hall, Englewood Cliffs, NJ.