A modular verifiable exception handling mechanism
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Salient features of and executable specification language and its environment
IEEE Transactions on Software Engineering
Case study: the PAISley approach applied to its own software tools
Computer Languages
Software technology maturation
ICSE '85 Proceedings of the 8th international conference on Software engineering
Design of an Adaptive, Parallel Finite-Element System
ACM Transactions on Mathematical Software (TOMS)
ACM Transactions on Mathematical Software (TOMS)
The operational versus the conventional approach to software development
Communications of the ACM
The Smalltalk-76 programming system design and implementation
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The modular structure of complex systems
ICSE '84 Proceedings of the 7th international conference on Software engineering
A comparison of techniques for the specification of external system behavior
Communications of the ACM
An Insider's Evaluation of PAISLey
IEEE Transactions on Software Engineering
| Hi-index | 0.02 |
From May to October 1985 members of the Undersea Systems Laboratory and the Computer Technology Research Laboratory of AT&T Bell Laboratories worked together to apply the executable specification language PAISLey to requirements for the “SL” communications system. This paper describes our experiences and answers three questions based on the results of the experiment: Can SL requirements be specified formally in PAISLey? Can members of the SL project learn to read and write specifications in PAISLey? How would the use of PAISLey affect the productivity of the software-development team and the quality of the resulting software?