The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - March (1991 vol.17)
pp: 212-225
ABSTRACT
<p>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.</p>
INDEX TERMS
PAISLey; executable specification; specification methods; analysis techniques; software tools; formal specification; software tools; specification languages
CITATION
P. Zave, "An Insider's Evaluation of PAISLey", IEEE Transactions on Software Engineering, vol.17, no. 3, pp. 212-225, March 1991, doi:10.1109/32.75412
33 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool