Title :
An insider´s evaluation of PAISLey
Author_Institution :
AT&T Bell Lab., Murray Hill, NJ, USA
fDate :
3/1/1991 12:00:00 AM
Abstract :
An executable specification language called PAISLey is evaluated. The language is accompanied by specification methods, analysis techniques, and software tools. The actual results of the PAISLey project are summarized. Research methods, how the results were obtained, and how the project might have been improved are discussed
Keywords :
formal specification; software tools; specification languages; PAISLey; analysis techniques; executable specification; software tools; specification methods; Chaos; Heart; Investments; Software systems; Software tools; Specification languages; Testing; Writing;
Journal_Title :
Software Engineering, IEEE Transactions on
