See this document in CiteSeerX!

Sequential Scenarios Verification and Integration using Tabular Expressions (1999)  (Make Corrections)  
Ridha Khedri



  Home/Search   Context   Related

 
View or download:
crl.mcmaster.ca/SERG/pape...crl374.ps.Z
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  crl.mcmaster.ca...rg.publications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: : Determining requirements is acknowledged to be one of the most crucial activities in system development. Documenting the requirements of a software system requires translating observations about the real world to precise mathematical speci- cations. Related to this topic, we present a method to accomplish the following tasks: (i) Expressing system behaviour directly from the user's point of view; (ii) Detecting the incompleteness of behavioural descriptions; (iii) Uncovering inconsistency in ... (Update)

Similar documents (at the sentence level):
5.8%:   Integration of Sequential Scenarios - Desharnais, Frappier.. (1997)   (Correct)

Active bibliography (related documents):   More   All
0.5:   Formal Data and Behavior Requirements Engineering : A.. - Babin, Lustman (1999)   (Correct)
0.4:   Incremental Scenario Modeling Using Hierarchical - Object-Oriented Petri Net   (Correct)
0.3:   Integration and Analysis of Use Cases Using Modular Petri.. - Lee, Cha, Kwon (1998)   (Correct)

Similar documents based on text:   More   All
0.3:   The Demonic Product of Probabilistic Relations - Doberkat (2001)   (Correct)
0.2:   Data Network Language Design - Yan (2000)   (Correct)
0.2:   Concurrency: A Relational Approach - Khedri, Desharnais   (Correct)

BibTeX entry:   (Update)

@misc{ khedri-sequential,
  author = "Ridha Khedri",
  title = "Sequential Scenarios Verification and Integration using Tabular Expressions",
  url = "citeseer.ist.psu.edu/khedri99sequential.html" }
Citations (may not include all citations):
123   An Introduction to Formal Methods (context) - Diller - 1990
113   Computer Science Laboratory (context) - Owre, Shankar et al. - 1997
66   Formal approach to scenario analysis (context) - Hsia, Samuel et al. - 1994
54   Assessment of safety-critical software in nuclear power plan.. (context) - Parnas, Asmis et al. - 1991
49   Object behavior analysis (context) - Rubin, Goldberg - 1992
47   Relational Methods in Computer Science - Brink, Kahl et al. - 1997
35   An integrated formal model of scenarios based on statecharts - Glinz - 1995
24   Utilizing scenarios in the software development process - Benner, Feather et al. - 1993
24   Evaluating generalized tabular expressions in software docum.. - Abraham - 1997
24   Towards a formal semantics of parnas tables (context) - Janicki - 1995
20   Also appears in Tutorial Notes (context) - Shankar, Owre et al. - 1993
18   From scenarios to timed automata: Building specications fro.. (context) - Som, Dssouli et al. - 1995
14   a formal semantics of tabular expressions - Janicki - 1997
13   EATCS Monographs in Computer Science (context) - Schmidt, Strhlein et al. - 1993
12   Toward an automation of requirements engineering using scena.. (context) - Som, Dssouli et al. - 1996
12   Integration of sequential scenarios - Desharnais, Frappier et al. - 1997
9   Some theorems we should prove - Parnas - 1993
8   Program construction by parts - Frappier, Mili et al. - 1996
8   Using PVS to prove some theorems of David Parnas (context) - Rushby, Srivas - 1993
5   Demonic relational semantics of sequential programs (context) - Desharnais, Tchier et al. - 1994
5   A formal approach to scenario integration (context) - Lustman - 1997
5   Will the real scenario please stand up (context) - Campbell - 1992
4   United States Naval Research Laboratory (context) - Heninger, Kallander et al. - 1978
4   IEEE Transaction on Software Engineering (context) - Desharnais, Frappier et al. - 1998
4   cation language and its formal semantics (context) - Spivey, speci - 1988
1   Heterogeneous relation algebra (context) - Desharnais, Mili et al. - 1997
1   United States Naval Research Laboratory (context) - Clements, cations et al. - 1981
1   cations: Applications to a specication methodology (context) - Boudriga, Elloumi et al. - 1992
1   Workshop on Industrial-Strength Formal Speci- cation Techni.. (context) - Crow, Owre et al. - 1995
1   Precise description and specication of software (context) - Parnas - 1997
1   Appendices to the table tool system developer's guide (context) - Co, Hare et al. - 1997
1   Table tool system developer's guide (context) - Co, Hare et al. - 1997
1   A tutorial on using PVS for hardware verication (context) - Owre, Rushby et al. - 1994
1   cation formelle de systmes d'information interactifs par la .. (context) - Kawashita - 1996
1   A proposal for scenario classication framework (context) - Rolland, Achour et al. - 1998

Documents on the same site (http://www.crl.mcmaster.ca/SERG/serg.publications.html):   More
Estimating Software Reliability with Hypothesis Testing - Woit (1996)   (Correct)
Myths and Methods: Is There a Scientific Basis for Y2K Inspections? - Parnas (1999)   (Correct)
Generating A Test Oracle From Program Documentation - Peters (1995)   (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