Document based rational software development

Knowledge-Based Systems

Volumn 22, Issue 3, 2009, Pages 132-141

  Parnas, David Lorge ^a  

^a MCMASTER UNIVERSITY   (Canada)

Author keywords

Documentation; Knowledge based software documentation; Module interface; Rational development; Software development

Indexed keywords

KNOWLEDGE BASED SYSTEMS; PHASE INTERFACES;

DOCUMENTATION; KNOWLEDGE BASED SOFTWARE DOCUMENTATION; MODULE INTERFACE; RATIONAL DEVELOPMENT; SOFTWARE DEVELOPMENT;

SOFTWARE DESIGN;

EID: 60949089780     PISSN: 09507051     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.knosys.2008.11.001     Document Type: Article

References (47)

1. W. Bartussek, D.L. Parnas, Using assertions about traces to write abstract specifications for software modules, UNC Report No. TR77-012, December 1977, p. 26.
2. K.H. Britton, D.L. Parnas, A-7E software Module Guide, NRL Report 4702, December 1981, p. 35.
3. K.H. Britton, R.A. Parker, D.L. Parnas, A procedure for designing abstract interfaces for device interface modules, in: Proceedings of the Fifth International Conference on Software Engineering, March 1981, pp. 195-204 (reprinted as Chapter 15 in Ref. [20])
4. R. Baber, D. Parnas, S. Vilkomir, P. Harrison, T. O'Connor, Disciplined methods of software specifications: a case study, in: Proceedings of the International Conference on Information Technology Coding and Computing (ITCC 2005), IEEE Computer Society, Las Vegas, NV, USA, April 4-6, 2005.
5. P.C. Clements, D.L. Parnas, Experience with a module interface specification technique, in: Proceedings of the International Workshop on Models and Languages for Software Specification and Design, Orlando, Florida, 1984, pp. 70-73 (30 March).
6. P.C. Clements, R.A. Parker, D.L. Parnas, J. Shore, A standard organization for specifying abstract interfaces, NRL Report 8815, June 1984, p. 19.
7. M. Clermont, D.L. Parnas, Using information about functions in selecting test cases, in: ICSE 2005 Workshop on Advances in Model-Based Software Testing (A-MOST), IEEE Computer Society, St. Louis, Missouri, USA, May 15-16, 2005.
8. The structure of the 'THE'-multiprogramming system. Comm. ACM 11 5 (1968) 341-346
9. Dijkstra E.W. Guarded commands, nondeterminacy and formal derivation of programs. Comm. ACM (1975)
10. Dijkstra E.W. Discipline of Programming (1976), Prentice-Hall
11. Floyd R.W. Assigning meanings to programs. In: Schwartz J.T. (Ed). Proceedings of the Symposium of Applied Mathematics, vol. 19, 1968. Mathematical Aspects of Computer Science (1967), American Mathematical Society 19-32
12. Guttag J.V., and Horning J.J. The algebraic specification of abstract data types. Acta Inform. 10 (1978) 27-52
13. Gehani N., and McGettrick A.D. Software Specification Techniques (1985), AT&T Bell Telephone Laboratories (QA 76.6 S6437)
14. Hester S.D., Parnas D.L., and Utter D.F. Using documentation as a software design medium. Bell Syst. Tech. J. 60 8 (1981) 1941-1977
15. Halmos P.R. Naive Set Theory (1987), Springer Verlag
16. Hehner E.C.R. Predicative programming, Part I and Part II. Comm. ACM 27 2 (1984) 134-151
17. Heninger K.L. Specifying software requirements for complex systems: new techniques and their application. IEEE Trans. Software Eng. SE-6 (1980) 2-13 (reprinted as Chapter 6 in Ref. [20])
18. K.L. Heninger, J. Kallander, D.L. Parnas, J.E. Shore, Software requirements for the A-7E aircraft, NRL Memorandum Report 3876, United States Naval Research Laboratory, Washington D.C., November 1978, p. 523 (and subsequent versions published by the US Naval Research Laboratory).
19. Hoffman D., and Snodgrass R. Trace specifications: methodology and models. IEEE Trans. Software Eng. 14 9 (1988) 1243-1252
20. In: Hoffman D.M., and Weiss D.M. (Eds). Software Fundamentals: Collected Papers by David L. Parnas (2001), Addison-Wesley 664 (ISBN: 0-201-70369-6)
21. M. Iglewski, J. Mincer-Daszkiewicz, K. Stencel, Case study in trace specification of non-deterministic modules, in: Proceedings of the CS&P'95 Workshop, Warsaw, Poland, October 11-13, 1995.
22. Janicki R., Parnas D.L., and Zucker J. Tabular representations in relational documents. In: Brink C., and Schmidt G. (Eds). Relational Methods in Computer Science (1997), Springer Verlag 184-196 (ISBN: 3-211-82971-7, Chapter 12, reprinted as Chapter 4 in Ref. [20])
23. Liskov B., and Zilles S. Specification techniques for data abstractions. IEEE Trans. Software Eng. SE-1 1 (1975)
24. Mills H.D. The new math of computer programming. Comm. ACM 18 1 (1975) 43-48
25. Linger R.C., Witt B.I., and Mills H.D. Structured Programming; Theory and Practice the Systems Programming Series (1979), 1st. Addison-Wesley Longman Publishing Co., Inc.
26. Microsoft Goes Beyond EU Decision by Offering Windows Source Code, .
27. Parnas D.L. A technique for software module specification with examples. Comm. ACM 15 5 (1972) 330-336 (republished in Writings of the Revolution, edited by Edward Nash Yourdon, Yourdon Press, 1982, pp. 5-18; Also in Software Specification Techniques, edited by N. Gehani, A.D. McGettrick, AT&T Bell Telephone Laboratories, 1985, pp. 75-88 (QA 76.7 S6437); Translated into Russian - Book Danniye v Yazikach Programmirovania Moscow, Mir (Publishing House), 1984, pp. 9-24)
28. Parnas D.L. On the criteria to be used in decomposing systems into modules. Comm. ACM 15 12 (1972) 1053-1058 (Translated into Japanese - BIT, vol. 14 (3), 1982, pp. 54-60; Republished in Classics in Software Engineering, edited by Edward Nash Yourdon, Yourdon Press, 1979, pp. 141-150; Republished in Great Papers in Computer Science, edited by Phillip Laplante, West Publishing Co, Minneapolis/St. Paul, 1996, pp. 433-441; reprinted as Chapter 7 in Ref. [20]; reprinted in Software Pioneers: Contributions to Software Engineering, Manfred Broy and Ernst Denert (Eds.), Springer Verlag, Berlin-Heidelberg, 2002, pp. 481-498, ISBN: 3-540-43081-4)
29. Parnas D.L. On the design and development of program families. IEEE Trans. Software Eng. SE-2 1 (1976) 1-9 (reprinted as Chapter 10 in Ref. [20])
30. D.L. Parnas, Use of abstract interfaces in the development of software for embedded computer systems, NRL Report No. 8047, June 1977, p. 30 (reprinted in Infotech State of the Art Report, Structured System Development, Infotech International, 1979).
31. Parnas D.L. A generalized control structure and its formal definition. Comm. ACM 26 8 (1983) 572-581
32. Parnas D.L. Author's response regarding an alternative control structure and its formal definition. Comm. ACM 27 5 (1984) 498-499 (Technical correspondence)
33. Parnas D.L., and Wadge W. A final comment regarding - an alternative control structure and its formal definition. Comm. ACM 27 5 (1984) 499-522 (Technical correspondence)
34. D.L. Parnas, Tabular representation of relations, CRL Report 260, McMaster University, Communications Research Laboratory, TRIO (Telecommunications Research Institute of Ontario), October 1992, p. 17.
35. Parnas D.L. Predicate logic for software engineering. IEEE Trans. Software Eng. 19 9 (1993) 856-862 (reprinted as Chapter 3 in Ref. [20])
36. D.L. Parnas, Inspection of safety-critical software using function tables, in: Proceedings of the IFIP World Congress 1994, vol. III, August 1994, pp. 270-277 (reprinted as Chapter 19 in Ref. [20])
37. D.L. Parnas, Software aging, in: Proceedings of the 16th International Conference on Software Engineering, IEEE Press, Sorento Italy, May 16-21, 1994, pp. 279-287 (reprinted as Chapter 29 in item 222).
38. Parnas D.L., Asmis G.J.K., and Madey J. Assessment of safety-critical software in nuclear power plants. Nucl. Safety 32 2 (1991) 189-198
39. Parnas D.L., and Clements P.C. A rational design process: how and why to fake it. IEEE Trans. Software Eng. SE-12 2 (1986) 251-257 (revised version of item 88; Republished in Great Papers in Computer Science, edited by Phillip Laplante, West Publishing Co., Minneapolis/St. Paul, 1996, pp. 442-451; reprinted as Chapter 18 in Ref. [20])
40. Parnas D.L., Clements P.C., and Weiss D.M. The modular structure of complex systems. IEEE Trans. Software Eng. SE-11 3 (1985) 259-266 (Special Issue on the Seventh International Conference on Software Engineering; Also published in Proceedings of Seventh International Conference on Software Engineering, March 1984, pp. 408-417; reprinted in IEEE Tutorial: Object-Oriented Computing, vol. 2: Implementations edited by Gerald E. Peterson, IEEE Computer Society Press, IEEE Catalog Number EH0264-2, ISBN: 0-8186-4822-8, 1987, pp. 162-169; reprinted as Chapter 16 in Ref. [20])
41. Parnas D.L., and Madey J. Functional documentation for computer systems engineering. Sci. Comput. Program. 25 1 (1995) 41-61 (reprinted in Lecture Notes in Computer Science (75), Information Systems Methodology, Proceedings ICS, Venice, Springer Verlag, 1978, pp. 211-236; reprinted in Software Specification Techniques edited by N. Gehani, A.D. McGettrick, AT&T Bell Telephone Laboratories, 1985, pp. 111-130 (QA 76.6 S6437); reprinted as Chapter 1 in Ref. [20])
42. Parnas D.L., Madey J., and Iglewski M. Precise documentation of well-structured programs. IEEE Trans. Software Eng. 20 12 (1994) 948-976
43. Peters D., and Parnas D.L. Using test oracles generated from program documentation. IEEE Trans. Software Eng. 24 3 (1998) 161-173
44. D.L. Parnas, D.M. Weiss, Active design reviews: principles and practices, in: Proceedings of the Eighth International Conference on Software Engineering, London, August 1985 (Also published in Proceedings of Seventh International Conference on Software Engineering, March 1984, pp. 408-417; reprinted in IEEE Tutorial: Object-Oriented Computing, vol. 2: Implementations edited by Gerald E. Peterson, IEEE Computer Society Press, IEEE Catalog Number EH0264-2, ISBN: 0-8186-4822-8, 1987, pp. 162-169; reprinted as Chapter 16 in Ref. [20]).
45. D.L. Parnas, Y. Wang, The trace assertion method of Module Interface Specification, Technical Report 89-261, Queen's, Kingston, TRIO, October 1989, p. 39.
46. Wagner E.C. Algebraic specifications: some old history and new thoughts. Nordic J. Comput. 9 (2002) 373-404
47. Y. Wang, Specifying and simulating the externally observable behaviour of modules, CRL Report No. 292, McMaster University, CRL, Telecommunication Research Institute of Ontario (TRIO), Hamilton, Ontario, Canada, 1994 (Queen's, Kingston Ontario, Ph.D. Thesis).