Communications of the ACM
The architecture of concurrent programs
The architecture of concurrent programs
A comparison of techniques for the specification of external system behavior
Communications of the ACM
Knowledge base applications with software engineering: a tool for requirements specifications
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
LCD-reification: a formal method for developing Prolog programs
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
An Insider's Evaluation of PAISLey
IEEE Transactions on Software Engineering
OBSERV—a prototyping language and environment
ACM Transactions on Software Engineering and Methodology (TOSEM)
The operational versus the conventional approach to software development
Communications of the ACM
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Operational specification languages
ACM '83 Proceedings of the 1983 annual conference on Computers : Extending the human resource
Scenario-based prototyping for requirements identification
Proceedings of the workshop on Rapid prototyping
Rapid prototyping and requirements specification using PDS
Proceedings of the workshop on Rapid prototyping
System sketching: the generation of rapid prototypes for transaction based systems
Proceedings of the workshop on Rapid prototyping
An overview of the PAISLey project-1984
ACM SIGSOFT Software Engineering Notes
Requirements engineering: In search of the dependent variables
Information and Software Technology
Requirements definition and its interface to the SARA design methodology for computer-based systems
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
| Hi-index | 0.03 |
An approach to requirements specification for embedded systems, based on constructing an executable model of the proposed system interacting with its environment, is proposed. The approach is explained, motivated, and related to data-oriented specification techniques. Portions of a specification language embodying it are introduced, and illustrated with an extended example in which the requirements for a process-control system are developed incrementally.