Precise documentation of critical software

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn , Issue , 2007, Pages 237-244

  Parnas, David L ^a   Vilkomir, Sergiy A ^a,b  

^a UNIVERSITY OF LIMERICK   (Ireland)

^b UNIVERSITY OF TENNESSEE   (United States)

Author keywords

Critical software; Documentation; Specifications; Testing

Indexed keywords

DYNAMIC PROGRAMMING; INDUSTRIAL ENGINEERING; SYSTEMS ENGINEERING; TECHNICAL PRESENTATIONS; TECHNOLOGY;

CRITICAL SOFTWARE; DOCUMENTATION; HIGH ASSURANCE SYSTEMS; INTERNATIONAL SYMPOSIUM; RESEARCH AREAS; SOFTWARE DOCUMENTS; SPECIFICATIONS; TABULAR EXPRESSIONS; TESTING;

RESEARCH;

EID: 48349084076     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2007.63     Document Type: Conference Paper

References (21)

1. Baber, R., Parnas, D.L., Vilkomir, S., Harrison, P., O'Connor, T., Disciplined Methods of Software Specifications: A Case Study, Proceedings of the International Conference on Information Technology Coding and Computing (ITCC 2005), April 4-6, 2005, Las Vegas, NV, USA, IEEE Computer Society.
2. Brown, J.R., Lipow, M., Testing for software reliability, Proceedings of the International Conference on Reliable Software, Los Angeles, California, 1975, pp. 518 -527.
3. Clermont, M., Parnas, D. L., Using Information about Functions in Selecting Test Cases, ICSE 2005 Workshop on Advances in Model-Based Software Testing (A-MOST), St. Louis, Missouri, USA, May 15-16, 2005, IEEE Computer Society.
4. Dijkstra, E. W., Notes on Structured Programming, in Structured Programming, O.-J. Dahl, E. W. Dijkstra, and C. A. R. Hoare, Editors, Academic Press, London, 1972, pp. 1-82.
5. Heninger, K.L., Specifying Software Requirements for Complex Systems: New Techniques and their Application, IEEE Transactions Software Engineering, Vol. SE-6, January 1980, pp. 2-13.
6. Heninger, K.L., Kallander, J., Parnas, D.L., Shore, J.E., Software Requirements for the A-7E Aircraft, NRL Memorandum Report 3876, United States Naval Research Laboratory, Washington D.C., November 1978, 523 pp.
7. Hester, S.D., Parnas, D.L., Utter, D.F., Using Documentation as a Software Design Medium, Bell System Technical Journal, 60, 8, October 1981, pp. 1941-1977.
8. Hoffman, D.M., Weiss, D.M. (eds.), Software Fundamentals: Collected Papers by David L. Parnas, Addison-Wesley, 2001, 664 p., ISBN 0-201-70369-6.
9. Musa, J.D., Operational profiles in software-reliability engineering, IEEE Software, Vol. 10 Issue 2, March 1993, pp. 14-32.
10. Parnas, D. L., Inspection of Safety Critical Software using Function Tables, Proceedings of IFIP World Congress 1994, Volume III, August 1994, pp. 270-277. Reprinted as Chapter 19 in [8].
11. Parnas, D. L., Precise Description and Specification of Software, in Mathematics of Dependable Systems II, edited by V. Stavridou, Clarendon Press, 1997, pp. 1-14. Reprinted as Chapter 5 in [8].
12. Parnas, D.L., Asmis, G.J.K., Madey, J., Assessment of Safety-Critical Software in Nuclear Power Plants, Nuclear Safety, vol. 32, no. 2, April-June 1991, pp. 189-198.
13. Parnas, D.L., Madey, J., Functional Documentation for Computer Systems Engineering, Science of Computer Programming (Elsevier) vol. 25, number 1, October 1995, pp. 41-61. Reprinted as Chapter 1 in [8].
14. Peters, D., Parnas, D.L., Using Test Oracles Generated from Program Documentation, IEEE Transactions on Software Engineering, Vol. 24, No.3, March 1998, pp. 161 -173.
15. Peters, D., Parnas, D.L. Requirements-based Monitors for Real-Time Systems, IEEE Transactions on Software Engineering, Vol. 28, Issue 2, Feb. 2002, pp. 146-158.
16. Quinn, C., Vilkomir, S.A., Parnas, D.L., Kostic, S., Specification of Software Component Requirements Using the Trace Function Method, Proceeding of the International Conference on Software Engineering Advances (ICSEA 2006), Oct. 29 - Nov. 1, 2006, Tahiti, French Polynesia.
17. Schmidt, G., Ströhlein, T., Relations and Graphs -Discrete Mathematics for Computer Scientists. EATCS Monographs on Theoretical Computer Science. Springer, 1993, 301 p.
18. Shen H., Zucker J.I., Parnas, D.L., Table Transformation Tools: Why and How, Proceedings of the Eleventh Annual Conference on Computer Assurance (COMPASS '96), Gaithersburg, MD., June 1996, pp. 3-11.
19. Vilkomir, S.A, Tips, P., Parnas, D.L., Monahan, J., O'Connor, T., Evaluation of Automated Testing Coverage: a Case Study of Wireless Secure Connection Software Testing, Supplementary proceedings of the 16th IEEE International Symposium on Software Engineering Reliability (ISSRE 2005), November 8-11, 2005, Chicago, Illinois, USA, pp. 3.123-3.134.
20. Vilkomir, S.A., Bowen, J.P., Ghose, A. Formalization and assessment of regulatory requirements for safety-critical software, Innovations in Systems and Software Engineering - A NASA Journal, Vol. 2, Num. 3-4, December 2006, pp. 165-178.
21. Wassyng, Alan. Private Communication.