An Experiment in Technology Transfer: PAISLey Specification of Requirements for an Undersea Lightwave Cable System
01 January 1987
From May to October 1986 members of the Undersea Systems Laboratory and the Computer Technology Research Laboratory of AT&T Bell Labora- tories 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? How would the use of PAISLey affect the productivity of the software-development team and the quality of the resulting software.