PAISley(ID:1004/pai002)


Bell Labs. Operational specification language.

Places
References:
  • Zave, P. "An Operational Approach to Requirements Specification for Embedded Systems" view details
          in IEEE Transactions on Software Engineering 8(3) May 1982 view details
  • Zave, P. "Case Study: The Paisley Approach Applied to its Own Software Tools" view details
          in Computer Languages 11(1) view details