Ridha Khedri  Home/Search
Context
Related
| crl.mcmaster.ca/SERG/pape...crl374.ps.Z 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: crl.mcmaster.ca...rg.publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 speci cations 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 speci cation 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 speci cation 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 veri cation (context) - Owre, Rushby et al. - 1994
1 cation formelle de systmes d'information interactifs par la .. (context) - Kawashita - 1996
1 A proposal for scenario classi cation 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