A declarative approach to software requirement specification languages

The authors present a declarative approach to a software requirement specification language which is able to specify requirements for software systems under the emerging methodology. The language presented is based on first-order predicate logic, but augments standard first-order logic by introducing hierarchies and exceptions to its generalizations, to allow for a more natural description of the problem domain. The proposed requirement language is valid and can be determined to be internally consistent. A theorem prover that can interpret the language is implemented.<<ETX>>

[1]  Douglas R. Smith,et al.  Research on Knowledge-Based Software Environments at Kestrel Institute , 1985, IEEE Transactions on Software Engineering.

[2]  Robert Balzer,et al.  Operational specification as the basis for rapid prototyping , 1982 .

[3]  Micha Sharir,et al.  An Automatic Technique for Selection of Data Representations in SETL Programs , 1981, TOPL.

[4]  Thomas E. Cheatham,et al.  Software Technology in the 1990's: Using a New Paradigm , 1983, Computer.

[5]  Atul Prakash,et al.  Software Engineering: Problems and Perspectives , 1984, Computer.

[6]  John Mylopoulos,et al.  Generalization/Specialization as a Basis for Software Specification , 1982, On Conceptual Modelling.

[7]  David R. Barstow.  Domain-Specific Automatic Programming , 1985, IEEE Transactions on Software Engineering.

[8]  Alan Borning,et al.  Multiple Inheritance in Smalltalk-BO , 1982, AAAI.

[9]  Barry W. Boehm,et al.  A spiral model of software development and enhancement , 1986, Computer.

[10]  Wei-Tek Tsai,et al.  Expert Systems and Software Enginnering: Ready for Marriage? , 1986, IEEE Expert.

[11]  Pamela Zave,et al.  The operational versus the conventional approach to software development , 1984, CACM.

[12]  John Mylopoulos,et al.  A language facility for designing database-intensive applications , 1980, TODS.

[13]  John Mylopoulos,et al.  Knowledge Representation as the Basis for Requirements Specifications , 1985, Computer.

[14]  José Meseguer,et al.  Rapid prototyping: in the OBJ executable specification language , 1982, Rapid Prototyping.

[15]  Thomas A. Standish,et al.  Initial thoughts on rapid prototyping techniques , 1982 .

[16]  Daniel G. Bobrow,et al.  On Overview of KRL, a Knowledge Representation Language , 1976, Cogn. Sci..

[17]  Robert Balzer,et al.  Transformational Implementation: An Example , 1981, IEEE Transactions on Software Engineering.

[18]  R. D. Tavendale.  A technique for prototyping directly from a specification , 1985, ICSE '85.

[19]  John Mylopoulos,et al.  A language facility for designing interactive database-intensive applications , 1978, SIGMOD '78.