Precise documentation: The key to better software

The Future of Software Engineering

Volumn , Issue , 2011, Pages 125-148

  Parnas, David Lorge ^a  

^a Middle Road Software Inc ^*  (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 79961132171     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-3-642-15187-3_8     Document Type: Chapter

References (44)

1. Baber, R., Parnas, D. L., Vilkomir, S., Harrison, P., O'Connor, T.: Disciplined Methods of Software Specifications: A Case Study. In: Proceedings of the International Conference on Information Technology Coding and Computing (ITCC'05). IEEE (2005)
2. Brooks, F. P. Jr.: The Mythical Man-Month: Essays on Software Engineering, 2nd Edition. Addison Wesley, Reading, MA (1995)
3. Desharnais, J., Khédri, R., Mili A.: Towards a Uniform relational semantics for tabular expressions. In: Proceedings of RelMiCS'98, pp. 53-57 (1998)
4. Heninger, K., Kallander, J., Parnas, D. L., Shore, J.,: Software Requirements for the A-7E Aircraft. Naval Research Laboratory Report 3876 (1978)
5. Heninger, K. L.: Specifying Software Requirements for Complex Systems: New Techniques and their Application. IEEE Transactions Software Engineering, vol. SE-6, pp. 2-13 (1980) - Reprinted as chapter 6 in [7]
6. Hester, S. D., Parnas, D. L., Utter, D. F.: Using Documentation as a Software Design Medium, Bell System Technical Journal 60(8), pp. 1941-1977 (1981)
7. Hoffman D. M., Weiss, D. M. (eds.): Software Fundamentals: Collected Papers by David L. Parnas. Addison-Wesley (2001)
8. Janicki, R.: Towards a formal semantics of Parnas tables. In: Proc. of 17th International Conference on Software Engineering (ICSE), pp. 231-240 (1995)
9. Jin, Y., Parnas, D. L.: Defining the meaning of tabular mathematical expressions. Science of Computer Programming 75(11), pp. 980-1000 (2010)
10. Liu, Z., Parnas, D. L., Trancón y Widemann, B.: Documenting and Verifying Systems Assembled from Components. Frontiers of Computer Science in China, Higher Education Press, co-published with Springer-Verlag, in press (2010)
11. Mills, Harlan D.: The New Math of Computer Programming. Communications of the ACM 18(1):43-48 (1975)
12. Meyer, B.: Eiffel: The Language. Prentice-Hall (1991)
13. Parnas, D. L.: Information Distributions Aspects of Design Methodology. In: Proceedings of IFIP Congress '71, Booklet TA-3, pp. 26-30 (1971)
14. Parnas D. L.: On the Criteria to be Used in Decomposing Systems into Modules. Communications of the ACM 15(12), pp. 1053-1058 (1972)
15. - Translated into Japanese - BIT, vol. 14, no. 3, 1982, pp. 54-60.
16. - Republished in Classics in Software Engineering, edited by Edward Nash Yourdon, Yourdon Press, 1979, pp. 141-150.
17. - Republished in Great Papers in Computer Science, edited by Phillip Laplante, West Publishing Co, Minneapolis/St. Paul 1996, pp. 433-441.
18. - Reprinted in Software Pioneers: Contributions to Software Engineering, Manfred Broy and Ernst Denert (Eds.), Springer Verlag, pp. 481-498 (2002)
19. Parnas, D. L.: On a 'Buzzword': Hierarchical Structure, IFIP Congress '74, North Holland Publishing Company, pp. 336-339 (1974)
20. - Reprinted in Software Pioneers: Contributions to Software Engineering, Manfred Broy and Ernst Denert (Eds.), Springer Verlag, pp. 501-513 (2002)
21. Parnas, D. L.: Designing Software for Ease of Extension and Contraction. IEEE Transactions on Software Engineering, pp. 128-138 (1979)
22. - Also in Proceedings of the Third International Conference on Software Engineering, pp. 264-277 (1978)
23. Parnas, D. L.: A Generalized Control Structure and its Formal Definition. Communications of the ACM 26(8), pp. 572-581 (1983)
24. Parnas, D. L., Clements, P. C., Weiss, D. M.: The Modular Structure of Complex Systems. IEEE Transactions on Software Engineering, vol. SE-11 no. 3, pp. 259-266 (1985)
25. Parnas, D. L., Wadge, W.: A Final Comment Regarding An Alternative Control Structure and its Formal Definition (Technical Correspondence). Communications of the ACM 27(5), pp. 499-522 (1984)
26. Parnas, D. L., Weiss, D. M.: Active Design Reviews: Principles and Practices. In: Proceedings of the 8th International Conference on Software Engineering (1985)
27. - Also published in Journal of Systems and Software, December 1987.
28. Parnas, D. L., Asmis, G. J. K., Kendall, J. D.: Reviewable Development of Safety Critical Software. The Institution of Nuclear Engineers, International Conference on Control & Instrumentation in Nuclear Installations, paper no. 4:2 (1990)
29. Parnas, D. L., van Schouwen, A. J., Kwan, S. P.: Evaluation of Safety-Critical Software. Communications of the ACM 33(6), ppp. 636-648 (1990)
30. - Published in Advances in Real-Time Systems, John A. Stankovic and Krithi Ramamritham (editors), IEEE Computer Society Press, pp. 34-46 (1993)
31. - Published in Ethics and Computing: Living Responsibly in a Computerized World, Kevin W. Bowyer (editor), IEEE Press, pp. 187-199 (2000)
32. Parnas D. L., Asmis, G. J. K., Madey, J.: Assessment of Safety-Critical Software in Nuclear Power Plants. Nuclear Safety 32(2), pp. 189-198 (1991)
33. Parnas, D. L., Madey, J.: Functional Documentation for Computer Systems Engineering. Science of Computer Programming 25(1), pp. 41-61 (1995)
34. Parnas D. L.: Predicate Logic for Software Engineering. IEEE Transactions on Software Engineering 19(9), pp. 856-862 (1993)
35. Parnas, D. L: Inspection of Safety Critical Software using Function Tables. In: Proceedings of IFIP World Congress 1994, Volume III, pp. 270-277 (1994)
36. Parnas, D. L., Madey, J., Iglewski, M.: Precise Documentation of Well-Structured Programs. IEEE Transactions on Software Engineering 20(12), pp. 948-976 (1994)
37. Parnas, D. L.: Teaching Programming as Engineering. In: The Z Formal Specification Notation, 9th International Conference of Z Users (ZUM'95), Lecture Notes in Computer Science vol. 967, Springer-Verlag, pp. 471-481 (1995)
38. Parnas, D. L.: Using Mathematical Models in the Inspection of Critical Software. In: Applications of Formal Methods. Prentice Hall International Series in Computer Science, pp. 17-31 (1995)
39. Parnas, D. L.: Structured programming: A minor part of software engineering. In: Special Issue to Honour Professor W. M. Turski's Contribution to Computing Science on the Occasion of his 65th Birthday, Information Processing Letters 88(1-2), pp. 53-58 (2003)
40. Parnas, D. L., Vilkomir, S. A: Precise Documentation of Critical Software. In: Proceedings of the Tenth IEEE Symposium on High Assurance Systems Engineering (HASE'07), pp. 237-244 (2007)
41. Parnas, D. L.: Document Based Rational Software Development. Knowledge-Based Systems 22(3), pp. 132-141 (2009)
42. Smith, B.: http://www.microsoft.com/presspass/press/2006/jan06/01- 25EUSourceCodePR.mspx
43. Quinn, C., Vilkomir, S. A., Parnas, D. L. Kostic, S.: Specification of Software Component Requirements Using the Trace Function Method. In: Proceedings of the International Conference on Software Engineering Advances (ICSEA'06) (2006)
44. Zucker, J. I.: Transformations of normal and inverted function tables. Formal Aspects of Computing 8, pp. 679-705 (1996)