Graeme Smith, Colin Fidge  @ NUS Home/Search
Context Related
| uq.edu.au/~smith/papers/jucs2000.pdf Cached: PS.gz PS PDF Image Update Help From: uq.edu.au/~smith/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: System requirements frequently change while the system is still under development. Usually this means going back and revising the requirements specification and redoing those development steps already completed. In this article we show how formal requirements can be allowed to evolve while system development is in progress, without the need for costly redevelopment. This is done via a formalism which allows requirements engineering steps to be interleaved with formal development steps in a... (Update)
Context of citations to this paper: More
...in making these clauses strong, one is being explicit about just how extreme the relationship between the models is. By contrast, in [Smith (2000), Smith and Fidge (2000) building on the work of [Mahony (1992) the concept of realisation approaches the same challenge by...
...those of standard set theory. This notation has been successfully employed to specify the requirements of a sizeable case study [Smith and Fidge, 2000] as well as those of the Nulka Active Missile Decoy, a hovering rocket developed for the Australian and US Departments of...
Cited by: More
Reconciling Retrenchments and Refinements II - Czeslaw Jeske Richard (Correct)
Specifying Mode Requirements of Embedded Systems - Smith (2002) (Correct)
Engineering and Theoretical Underpinnings of Retrenchment - Banach, Poppleton (2001) (Correct)
Similar documents (at the sentence level):
70.7%: Incremental Development of Real-Time Requirements: The Light.. - Smith, Fidge (2000) (Correct)
Active bibliography (related documents): More All
0.4: Automated Consistency Checking of Requirements Specifications - Heitmeyer, Jeffords, Labaw (1996) (Correct)
0.3: An Introduction to Real-Time Object-Z - Smith, Hayes (2002) (Correct)
0.2: Machine-checking the Timed Interval Calculus - Jeremy Dawson And (Correct)
Similar documents based on text: More All
0.5: Safety Assurance of Commercial-Off-The-Shelf Software - Lindsay, Smith (2000) (Correct)
0.4: Introducing Parallel Composition to the Timed Refinement Calculus - Smith (2000) (Correct)
0.4: Recursive Schema Definitions in Object-Z - Smith (2000) (Correct)
Related documents from co-citation: More All
4: Notation: A Reference Manual (context) - Spivey - 1989
3: The Specification and Refinement of Timed Processes (context) - Mahony - 1992
2: Stepwise development from ideal specifications - Smith - 2000
BibTeX entry: (Update)
Smith G., Fidge C. (2000); Incremental Development of Real-Time Requirements: The Light Control Case Study. JUCS 6, 704-730. http://citeseer.comp.nus.edu.sg/693200.html More
@misc{ smith00incremental,
author = "G. Smith and C. Fidge",
title = "Incremental Development of Real-Time Requirements: The Light Control Case
Study",
text = "Smith G., Fidge C. (2000); Incremental Development of Real-Time Requirements:
The Light Control Case Study. JUCS 6, 704-730.",
year = "2000",
url = "citeseer.comp.nus.edu.sg/693200.html" }
Citations (may not include all citations):293 Programming from Specifications (context) - Morgan - 1990
195 Department of Computer Science - Mahony - 1992
47 A case-study in timed refinement: A mine pump (context) - Mahony, Hayes - 1992
40 the inevitable intertwining of specification and implementat.. (context) - Swartout, Balzer - 1982
32 Retrenchment: An engineering variation on refinement - Banach, Poppleton - 1998
24 Goal-directed elaboration of requirements for a meeting sche.. - van Lamsweerde, Darimont et al. - 1995
23 A settheoretic model for real-time specification and reasoni.. - Fidge, Hayes et al. - 1998
17 Specification by interface separation - Hayes, Sanders - 1995
14 A sequential real-time refinement calculus - Hayes, Utting - 1997
12 Documentation of requirements for computer systems (context) - van Schouwen, Parnas et al. - 1993
9 Specifying physical limitations: A case study of an oscillos.. - Hayes - 1993
5 Stepwise development from ideal specifications - Smith - 2000
5 Requirements specification and design of a simplified teleph.. - Bredereke - 1998
4 Axiomatisation of an interval calculus for theorem proving - Cerone - 2000
4 erentiation and integration in Z (context) - Fidge, Hayes et al. - 1998
3 Requirements specifications for hybrid systems - Heitmeyer - 1996
2 Special Issue on Requirements Engineering (context) - Control, Study et al. - 2000
2 Defaults in the Specification of Reactive Systems (context) - Guerra - 1999
Documents on the same site (http://www.itee.uq.edu.au/~smith/): More
A Fully Abstract Semantics of Classes for Object-Z - Smith (1995) (Correct)
Recursive Schema Definitions in Object-Z - Smith (2000) (Correct)
Temporal Logic and Z Specifications - Duke, Smith (1989) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.