Mihaela Sighireanu, Kenneth J. Turner  Home/Search
Context
Related
| cs.stir.ac.uk/pub/staff/...invrr.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.stir.ac.uk/~kjt...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The Invoicing case study is a typical business system proposed by Henri Habrias as a common example for a contest on the capacity of particular formal methods to capture requirements from the client. For this, the case study is informally described by half a page of English text. In this report, we use the formal description technique Lotos for requirement capture, formal description and verication of the Invoicing case study. First, we analyse and interpret the informal requirements of the... (Update)
Similar documents (at the sentence level):
20.9%: The Invoicing Case Study in (E-)LOTOS. - Turner (1998) (Correct)
Active bibliography (related documents): More All
0.8: Specification and Verification of the Co4 Distributed Knowledge.. - Pecheur (1997) (Correct)
0.5: System Design of a CC-NUMA Multiprocessor Architecture.. - Garavel, Viho, Zendri (2000) (Correct)
0.5: Foundations of Heterogeneous Specification - Mossakowski (Correct)
Similar documents based on text: More All
0.5: Implementing A Modal Logic Over Data And Processes Using XTL - Bryans, Shankland (Correct)
0.4: Modeling and Formal Verification of a Modular.. - Hanisch, Pannier, .. (1999) (Correct)
0.4: Efficient On-the-Fly Model-Checking for Regular.. - Mateescu, Sighireanu (2000) (Correct)
BibTeX entry: (Update)
@misc{ sighireanu-requirement,
author = "Mihaela Sighireanu and Kenneth J. Turner",
title = "Requirement Capture, Formal Description and Verification of an Invoicing
System",
url = "citeseer.ist.psu.edu/363355.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and Concurrency (context) - Milner - 1989
357 Algebraic laws for nondeterminism and concurrency (context) - Hennessy, Milner - 1985
123 LOTOS A Formal Description Technique Based on the Temporal O.. (context) - IEC - 1988
78 Branching-Time and Abstraction in Bisimulation Semantics (context) - van Glabbeek, Weijland - 1989
60 Using Formal Description Techniques An Introduction to ESTEL.. (context) - Turner - 1993
49 Fundamentals of Algebraic Specication 1 Equations and Initia.. (context) - Ehrig, Mahr - 1985
44 Abstract Data Types and the Development of Data Structures (context) - Guttag - 1977
38 Concurrency and Automata on Innite Sequences (context) - Park - 1981
38 Safety for Branching Time Semantics - Bouajjani, Fernandez et al. - 1991
30 Action versus State based Logics for Transition Systems (context) - De Nicola, Vaandrager - 1990
28 Introduction to the ISO Specication Language LOTOS (context) - Bolognesi, Brinksma - 1988
26 Compilation of LOTOS Abstract Data Types (context) - Garavel - 1989
17 Structural Models for specifying Telephone Systems - Faci, Logrippo et al. - 1997
16 An engineering approach to formal methods - Turner - 1993
11 XTL: A Meta-Language and Tool for Temporal Logic ModelChecki.. - Mateescu, Garavel - 1998
9 Computer Networks and ISDN Systems (context) - Turner, Specication - 1997
8 Symbolic Equivalence Checking (context) - Fernandez, Kerbrat et al. - 1993
8 Distributed Transaction Processing Part 3: Protocol Specicat.. (context) - IEC - 1992
8 Committee Draft on Enhancements to LOTOS (context) - Quemada - 1998
7 A Lotos-Based Development Strategy (context) - Turner - 1990
7 Compilation and Verication of LOTOS Specications (context) - Garavel, Sifakis - 1990
6 The Intertwining of Data Types and Processes in Lotos (context) - Leduc - 1987
6 Applications and Perspectives (context) - Garavel, Jorgensen et al. - 1997
4 Kluwer Academic Publishers (context) - Bolognesi, Lagemaat et al. - 1995
4 Introduction to Algebraic Specications Based on the Language.. (context) - de Meer, Roth et al. - 1992
3 The LotoSphere Integrated Tool Environment Lite (context) - van Eijk - 1991
2 The Two-Key System: Playing with Styles in Lotos (context) - Quemada - 1990
2 the Engineering of Logics (context) - Scollo - 1993
1 Verifying Bisimulations iOn the Flyj (context) - Fernandez, Mounier - 1990
1 iSometimesj and iNot Neverj revisited: On branching versus l.. (context) - Emerson, Halpern - 1986
1 Status-Oriented Telephone Service Specication: An Exercise i.. (context) - Stepien, Logrippo - 1993
1 Tools for Lotos Specication Style Transformation (context) - van Eijk - 1989
1 Lotos Specication Style for OSI (context) - Turner, van Sinderen - 1995
1 An Analysis of the ISO FTAM Basic File Protocol Specied in L.. (context) - Lai, Lo - 1995
1 International Workshop on Comparing System Specication Techn.. (context) - Allemand, Attiogb et al. - 1998
1 An Example of LOTOS Specication: The Matrix Switch Problem (context) - Garavel, Rodr - 1990
1 Architecture and Specication Style in Formal Descriptions of.. (context) - Vissers, Scollo et al. - 1991
1 Vlib: Innite Virtual Libraries for Lotos (context) - Pecheur - 1993
1 rication des propri#t#s temporelles des programmes parall#le.. (context) - Mateescu - 1998
1 Incremental Requirements Specication with Lotos (context) - Turner - 1997
1 alisation d'un compilateur E-LOTOS # l'aide du g#n#rateur de.. (context) - Vivien - 1997
1 tude et mise en #uvre (context) - Mounier, thodes et al. - 1992
1 LOTOS Specication of the MAA Standard (context) - Munster - 1991
1 cication et validation de syst#mes en XESAR (context) - Rodr, Sp - 1988
1 Specication architecture illustrated in a communications con.. (context) - Turner - 1997
1 Lotos Design-Oriented Specication in the Object-Based Style (context) - Clark - 1992
1 A Verication Exercise Relating to Specication Styles in Loto.. (context) - van Sinderen - 1989
Documents on the same site (http://www.cs.stir.ac.uk/~kjt/research/publications.html): More
Validating Architectural Feature Descriptions using LOTOS - Turner (1998) (Correct)
Formal Specification of QoS Properties - Donaldson, Turner (1994) (Correct)
Specification Architecture Illustrated in a Communications Context - Turner (1997) (Correct)
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