The operational versus the conventional approach to software development
Communications of the ACM
Communications of the ACM
JSP and JSD: The Jackson Approach to Software Development
JSP and JSD: The Jackson Approach to Software Development
A Relational Data Base Foundation for Process Specification
Proceedings of the 1st International Conference on the Entity-Relationship Approach to Systems Analysis and Design
Executable requirements for embedded systems
ICSE '81 Proceedings of the 5th international conference on Software engineering
Testing incomplete specifications of distributed systems
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Function level programs as mathematical objects
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
FP with data abstraction and strong typing
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Applicative style programming, program transformation, and list operators
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Operational semantics of programming languages
Proceedings of ACM conference on Proving assertions about programs
Aspects of applicative programming for file systems (Preliminary Version)
Proceedings of an ACM conference on Language design for reliable software
Operational specification as the basis for rapid prototyping
Proceedings of the workshop on Rapid prototyping
Principles of Program Design
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
An overview of the PAISLey project-1984
ACM SIGSOFT Software Engineering Notes
Microprogrammed Architectures Specified using PAISLey (A description of an ongoing project)
ACM SIGMICRO Newsletter
| Hi-index | 0.00 |
The “operational approach” to software development is based on separation of problem-oriented and implementation-oriented concerns, and features executable specifications and transformational implementation. “Operational specification languages” are executable specification languages designed to fit the goals, assumptions, and strategies of the operational approach. This paper defines the operational approach and surveys the existing operational specification languages, viz., the graphic notation of the Jackson System Development method, PAISLey, Gist, and modern applicative languages.