Foundations of Sequence-Based Software Specification

Rigorous specification early in the software development process can greatly reduce the cost of later development and maintenance, as well as provide an explicit means to manage risk and identify and meet safety requirements. Sequence-based software specification is a collection of techniques for implementing rigorous, practical software specification. The primary result of this research is the sequence enumeration method of specification writing. Straightforward, systematic enumeration of all sequences to produce an arguably complete, consistent, and traceably correct specification is made practical by controlling the growth of the process.

[1]  Stacy J. Prowell,et al.  Cleanroom software engineering: technology and process , 1999 .

[2]  Harlan D. Mills,et al.  Stepwise refinement and verification in box-structured systems , 1988, Computer.

[3]  Jesse H. Poore,et al.  Application of statistical science to testing and evaluating software intensive systems , 1999, Proceedings. Science and Engineering for Software Development: A Recognition of Harlin D. Mills Legacy (Cat. No. PR00010).

[4]  Jesse H. Poore,et al.  Markov analysis of software specifications , 1993, TSEM.

[5]  Friedrich Otto,et al.  String-Rewriting Systems , 1993, Text and Monographs in Computer Science.

[6]  Ryszard Janicki,et al.  Foundations of the Trace Assertion Method of Module Interface Specification , 2001, IEEE Trans. Software Eng..

[7]  George Gratzer,et al.  Universal Algebra , 1979 .

[8]  Daniel Hoffman,et al.  Trace Specifications: Methodology and Models , 1988, IEEE Trans. Software Eng..

[9]  Alan R. Hevner,et al.  Principles of Information Systems Analysis and Design , 1986 .

[10]  Manfred Broy,et al.  Functional Specification of Time Sensitive Communicating Systems , 1989, REX Workshop.

[11]  David Lorge Parnas,et al.  Using assertions about traces to write abstract specifications for software modules , 1978, ECI.

[12]  Manfred Broy,et al.  Modelling Operating System Structures by Timed Stream Processing Functions , 1992, J. Funct. Program..

[13]  S. J. Prowell.  Developing black box specifications through sequence enumeration , 1999, Proceedings. Science and Engineering for Software Development: A Recognition of Harlin D. Mills Legacy (Cat. No. PR00010).