Bernard Stepien and Luigi Logrippo. Status-Oriented Telephone Service Specication: An Exercise in Lotos Style. In Teodor Rus and Charles Rattray, editors, Theories and Experiences for Real-Time System Development, Computing: Vol 2, pages 121. World Scientic, October 1993. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Requirement Capture, Formal Description and Verification of .. - Sighireanu, Turner (Correct)
.... of an Invoicing System 5 Lotos is a constructive specication language: any specication will exhibit some structure (usually hierarchic, though a monolithic style is also possible) The subject of specication style has been investigated in considerable depth for Lotos [Cla92, FLS97, Que90, SL93, Tur93a, Tur97a, Tur97b, TS95, Eij89, Sin89, VSS91, VSSB90] Indeed it might be fairly said that Lotos speciers are pre occupied with specication style The choice of an appropriate style for specifying requirements has a big impact on how the specication is structured. Another way of putting ....
Bernard Stepien and Luigi Logrippo. Status-Oriented Telephone Service Specication: An Exercise in Lotos Style. In Teodor Rus and Charles Rattray, editors, Theories and Experiences for Real-Time System Development, Computing: Vol 2, pages 121. World Scientic, October 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC