Kenneth J. Turner and Marten van Sinderen. Lotos Specication Style for OSI. In Tommaso Bolognesi, Jeroen van de Lagemaat, and Chris A. Vissers, editors, The LOTOSphere Project, pages 137159. Kluwer Academic Publishers, London, UK, 1995. 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 Self-citation (Turner) (Correct)
.... 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 this is to say that Lotos ....
Kenneth J. Turner and Marten van Sinderen. Lotos Specication Style for OSI. In Tommaso Bolognesi, Jeroen van de Lagemaat, and Chris A. Vissers, editors, The LOTOSphere Project, pages 137159. Kluwer Academic Publishers, London, UK, 1995.
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