Coordinated computing: tools and techniques for distributed software
Coordinated computing: tools and techniques for distributed software
Design of an Adaptive, Parallel Finite-Element System
ACM Transactions on Mathematical Software (TOMS)
ACM Transactions on Mathematical Software (TOMS)
ACM Computing Surveys (CSUR)
Comments on “Communicating Sequential Processes”
ACM Transactions on Programming Languages and Systems (TOPLAS)
The operational versus the conventional approach to software development
Communications of the ACM
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Interference between communicating parallel processes
Communications of the ACM
JSP and JSD: The Jackson Approach to Software Development
JSP and JSD: The Jackson Approach to Software Development
The architecture of concurrent programs
The architecture of concurrent programs
The modular structure of complex systems
ICSE '84 Proceedings of the 7th international conference on Software engineering
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
Operational semantics of programming languages
Proceedings of ACM conference on Proving assertions about programs
The equivalence of models of tasking
Proceedings of ACM conference on Proving assertions about programs
Operational specification languages
ACM '83 Proceedings of the 1983 annual conference on Computers : Extending the human resource
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
PLEASE:Predictable Logic based ExecutAble SpeCifications
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
| Hi-index | 0.00 |
PAISLey is an executable specification language that is especially well suited to real-time and distributed systems. It is motivated by an approach to software development based on the separation of problem-oriented from implementation-oriented concerns, and promising several substantial benefits over conventional development cycles. The language is executed by an interpreter that provides capabilities for debugging specifications, giving demonstrations to customers, early performance simulation, and (eventually) rapid prototyping. The language has been the vehicle for major example specifications in four problem domains, and for two methods for reducing whole classes, of problems to appropriate specifications. In June 1984 the emphasis of the PAISLey project will shift to practical use and evaluation, starting with PAISLey workshops and consulting services offered to potential user organizations by a technology-transfer program within AT&T Bell Laboratories. This paper is intended to summarize what has been achieved so far and to serve as a guide for further reading.