On the Construction of Submodule Specifications and Communication Protocols
ACM Transactions on Programming Languages and Systems (TOPLAS)
The operational versus the conventional approach to software development
Communications of the ACM
On the inevitable intertwining of specification and implementation
Communications of the ACM
Using Graphs to Understand PDL
Logic of Programs, Workshop
The use of a Module Interconnection Language in the SARA system design methodology
ICSE '79 Proceedings of the 4th international conference on Software engineering
Default reasoning and inheritance mechanisms on type hierarchies
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
From specifications to machine code: Program construction through formal reasoning
ICSE '82 Proceedings of the 6th international conference on Software engineering
Verification system for formal requirements description
ICSE '82 Proceedings of the 6th international conference on Software engineering
Static and dynamic data modeling for information system design
ICSE '82 Proceedings of the 6th international conference on Software engineering
Capturing more world knowledge in the requirements specification
ICSE '82 Proceedings of the 6th international conference on Software engineering
Language features to support reusability
ACM SIGPLAN Notices
Relational data bases in the design of program construction systems
ACM SIGSOFT Software Engineering Notes
Specifying Software Requirements for Complex Systems: New Techniques and Their Application
IEEE Transactions on Software Engineering
An Operational Approach to Requirements Specification for Embedded Systems
IEEE Transactions on Software Engineering
A Specification Method for Specifying Data and Procedural Abstractions
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
The functional life cycle model and its automation: USE.IT
Journal of Systems and Software
Requirements analysis using Petri nets
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
Hi-index | 0.00 |
A requirement specification model suitable for the next generation of software development tools is presented. The model uses frames for each entity and relations between entities. The model includes levels and meta-information. The entity-relationship-level of abstraction (E-R-L) viewpoint is explained. Some current requirement methodologies are compared and evaluated in terms of classroom experience. Features of the proposed model are discussed. The relationship between the model and an information base for the whole software life cycle is discussed. An example is presented.