Disciplined methods of software specification: A case study

International Conference on Information Technology: Coding and Computing, ITCC

Volumn 2, Issue , 2005, Pages 428-437

  Baber, Robert L ^a   Parnas, David L ^a   Vilkomir, Sergiy A ^a   Harrison, Paul ^b   O'Connor, Tony ^b  

^a UNIVERSITY OF LIMERICK   (Ireland)

^b Dell Products   (Ireland)

Author keywords

Finite state machine; Software; Tabular specifications; Trace specifications; Traces

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER KEYBOARDS; FINITE AUTOMATA; MATHEMATICAL MODELS; PROBLEM SOLVING;

FINITE STATE MACHINES; SOFTWARE; TABULAR SPECIFICATIONS; TRACE SPECIFICATIONS; TRACES;

COMPUTER SOFTWARE;

EID: 24744438235     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/itcc.2005.132     Document Type: Conference Paper

References (16)

1. Baber, Robert L., Mathematically Rigorous Software Design, 2002 September, http://www.cas.mcmaster.ca/~baber/Courses/46L03/MRSDLect.pdf.
2. Bartussek, W., Parnas, D.L., "Using Assertions About Traces to Write Abstract Specifications for Software Modules", Lecture Notes in Computer Science (65), Information Systems Methodology, Proceedings ICS, Venice, 1978, Springer Verlag, pp. 211-236.
3. Reprinted as Chapter 1 in Huffman, D.M., Weiss, D.M. (eds.), Software Fundamentals: Collected Papers by David L. Parnas, Addison-Wesley, 2001, 664 pgs., ISBN 0-201-70369-6
4. Dijkstra, E. W., A Discipline of Programming, Prentice-Hall, 1976
5. Heitmeyer, C., "Software Cost Reduction", in Encyclopedia of Software Engineering, John J. Marciniak, editor, ISBN: 0-471-02895-9, January 2002
6. Heninger, K.L., Kallander, J.W., Shore, J.E., Parnas, D.L., "Software Requirements for the A-7E Aircraft", NRL Report 3876, November 1978, 523 pgs
7. Janicki, R., Parnas, D.L., Zucker, J., "Tabular Representations in Relational Documents". In Relational Methods in Computer Science, Chapter 12, Ed. C. Brink and G. Schmidt, Springer Verlag, 1997, pp. 184-196.
8. Reprinted as Chapter 4 in Huffman, D.M., Weiss, D.M. (eds.), Software Fundamentals: Collected Papers by David L. Parnas, Addison-Wesley, 2001, 664 pgs., ISBN 0-201-70369-6
9. Janicki, R.; Sekerinski, E. "Foundations of the trace assertion method of module interface specification", IEEE Transactions on Software Engineering, Volume: 27, Issue: 7, July 2001, Pages: 577 - 598
10. Mealy, G. H., "A Method for Synthesizing Sequential Circuits", Bell System Tech. J., Vol 34, September 1955, pp. 1045-1079
11. Moore, E. F. "Gedanken-experiments on Sequential Machines", Automata Studies, Annals of Mathematical Studies, no. 34, Princeton University Press, Princeton, N. 1, 1956, pp 129 - 153
12. Parnas, D.L., Tabular Representation of Relations, CRL Report 260, McMaster University, Communications Research Laboratory, TRIO (Telecommunications Research Institute of Ontario), October 1992, 17 pgs.
13. Parnas, D.L., "Predicate Logic for Software Engineering", IEEE Transactions on Software Engineering, Vol. 19, No. 9, September 1993, pp. 856 - 862
14. Reprinted as Chapter 3 in Hoffman, D.M., Weiss, D.M. (eds.), "Software Fundamentals: Collected Papers by David L. Parnas", Addison-Wesley, 2001, 664 pgs., ISBN 0-201-70369-6
15. Wang, Y., Specifying and Simulating The Externally Observable Behaviour of Modules, CRL Report 292, McMaster University, Canada, August 1994.
16. Wang, Y., Parnas D.L., "Simulating the Behaviour of Software Modules by Trace Rewriting", IEEE Transactions of Software Engineering, Vol. 20, No. 10, October 1994, pp. 750 - 759