J. Paul Gibson  Home/Search
Context
Related
| cs.may.ie/~pgibson...cstr200102.pdf 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.may.ie/~pgibson/TRseries (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Requirements models have three distinct roles - they are the principle media of communication between clients and requirements engineers, they are the only model upon which rigorous and automated analysis can be carried out before development begins, and they are the structural foundation upon which design and implementation depend. A major part of building requirements is the modelling of the system to be developed (or updated) together with the system environment. These models are, of course, ... (Update)
Similar documents (at the sentence level):
31.9%: Formal Object Oriented Requirements: Simulation, Validation and.. - Gibson (1999) (Correct)
7.5%: An OO Requirements Capture and Analysis Environment - Gibson (1998) (Correct)
6.3%: Fair Objects - Gibson, Mery (1998) (Correct)
Active bibliography (related documents): More All
1.8: Integration Problems in Telephone Feature Requirements - Gibson, Hamilton, Méry (1999) (Correct)
0.9: Feature Interactions: A Mixed Semantic Model Approach - Gibson, Mermet, Méry (1997) (Correct)
0.8: Always and Eventually in Object Requirements - Gibson, Méry (1998) (Correct)
Similar documents based on text: More All
0.3: Analog Recurrent Neural Network Simulation, Θ(log_2 .. - Woods, Naughton, Gibson (2001) (Correct)
0.2: Formal Requirements Engineering: Learning from the students - Gibson (2000) (Correct)
0.0: Animating Formal Specifications: A Telephone Simulation.. - Gibson, Mery, Mokhtari (Correct)
BibTeX entry: (Update)
@misc{ gibson-formal,
author = "J. Paul Gibson",
title = "Formal Requirements Models: Simulation, Validation and Verification",
url = "citeseer.ist.psu.edu/gibson01formal.html" }
Citations (may not include all citations):469 Object oriented design with applications (context) - Booch - 1991
271 Object oriented analysis (context) - Coad, Yourdon - 1990
168 A temporal logic of actions - Lamport - 1990
135 Object oriented programming: an evolutionary approach (context) - Cox - 1986
90 Object oriented design (context) - Coad, Yourdon - 1990
59 Programming with abstract data types (context) - Liskov - 1974
56 Re-usability: the case for object oriented design (context) - Meyer - 1987
32 International Organisation for Standardisation - IEC, on et al. - 1989
23 Feature Interactions In Telecommunications III (context) - Cheng, Ohta - 1995
20 Formal Object Oriented Development of Software Systems Using.. - Paul - 1993
19 Feature requirements models: Understanding interactions - Gibson - 1997
14 The Formal Description Technique LOTOS (context) - Vissers - 1989
13 Formal object based design in LOTOS - Gibson - 1994
11 Beyond the madness of methods: System structure methods and .. (context) - Constantine
11 Structured system analysis and design method (context) - Cutts - 1991
11 Feature interactions: A mixed semantic model approach - Gibson, Mermet et al. - 1997
10 Feature Interactions In Telecommunications (context) - Bouma, Velthuijsen - 1994
9 Formalisation of requirements with emphasis on feature inter.. (context) - Blom - 1997
9 Department of Computer Science (context) - Engberg, release et al. - 1994
8 Fair objects - Gibson, Mry - 1998
7 Toolkit User's Manual (context) - B- - 1996
7 Using FDTS: An Introduction To ESTELLE (context) - Turner - 1993
4 Always and eventually in object models (context) - Gibson, Mry - 1998
3 Rapport Interne CRIN-96-R (context) - Gibson, Mry et al. - 1996
3 Towards a feature interaction algebra - Gibson - 1998
1 Feature interactions and formal speci cations in telecommuni.. (context) - Zave - 1993
1 Executing large LOTOS speci cations (context) - Guillemot, Haj-Hussein et al. - 1991
1 cation of services in a compositional temporal logic (context) - Gibson, Mermet et al. - 1997
1 Introduction to the ISO speci cation language LOTOS (context) - Bolognesi, Brinksma - 1987
1 Structured analysis and system speci cation (context) - DeMarco - 1979
1 cation styles for structuring of OSI formal descriptions (context) - IEC - 1989
Documents on the same site (http://www.cs.may.ie/~pgibson/TRseries.html): More
On the Computational Power of a Continuous-Space Optical.. - Naughton, Woods (2001) (Correct)
Measurement and Analysis of Runtime Profiling Data for.. - Horgan, Power, Waldron (2001) (Correct)
Analog Recurrent Neural Network Simulation, Θ(log_2 .. - Woods, Naughton, Gibson (2001) (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