Axel van Lamsweerde  Home/Search
Context Related
| info.ucl.ac.be/pub/p...icse2000avl.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: info.ucl.ac.be/publ/publi (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Requirements engineering (RE) is concerned with the identification of the goals to be achieved by the envisioned system, the operationalization of such goals into services and constraints, and the assignment of responsibilities for the resulting requirements to agents such as humans, devices, and software. The processes involved in RE include domain analysis, elicitation, specification, assessment, negotiation, documentation, and evolution. Getting highquality requirements is difficult... (Update)
Cited by: More
Goal-Oriented Requirements Engineering: a Case Study in.. - Donzelli, al. (2003) (Correct)
The ROADMAP Meta-Model for Intelligent Adaptive Multi-Agent.. - Juan, Sterling (2003) (Correct)
Modeling early requirements in Tropos: a.. - Bresciani.. (2001) (Correct)
Similar documents (at the sentence level):
9.0%: Goal-Oriented Requirements Engineering: A Guided Tour - van Lamsweerde (2001) (Correct)
Active bibliography (related documents): More All
3.5: Formal Specification: a Roadmap - van Lamsweerde (2000) (Correct)
1.7: Handling Obstacles in Goal-Oriented Requirements Engineering - van Lamsweerde, Letier (2000) (Correct)
0.9: Inferring Declarative Requirements Specifications from.. - van Lamsweerde, Willemet (1998) (Correct)
Similar documents based on text: More All
0.5: Deriving Operational Software Specifications from System Goals - Letier, van Lamsweerde (2002) (Correct)
0.4: Agent-Based Tactics for Goal-Oriented Requirements Elaboration - Letier, van Lamsweerde (2002) (Correct)
0.1: Leaving Inconsistency - van Lamsweerde, Letier, Ponsard (1997) (Correct)
Related documents from co-citation: More All
8: Exploring Alternatives During Requirements Analysis - Mylopoulos, Chung et al. - 2001
5: NonFunctional Requirements in Software Engineering (context) - Chung, Nixon et al.
4: Modeling Strategic Relationships for Process Reengineering (context) - Yu - 1995
BibTeX entry: (Update)
A. van Lamsweerde. Requirements engineering in the year 00: A research perspective. In Proceedings 22nd International Conference on Software Engineering, Invited Paper, ACM Press, June 2000. http://citeseer.ist.psu.edu/vanlamsweerde00requirements.html More
@inproceedings{ vanlamsweerde00requirements,
author = "Axel van Lamsweerde",
title = "Requirements engineering in the year 00: a research perspective",
booktitle = "International Conference on Software Engineering",
pages = "5-19",
year = "2000",
url = "citeseer.ist.psu.edu/vanlamsweerde00requirements.html" }
Citations (may not include all citations):2157 Design Patterns --- Elements of Reusable Object-Oriented Sof.. (context) - Gamma, Helm et al. - 1995
1286 Object-Oriented Modeling and Design (context) - Rumbaugh, Blaha et al. - 1991
1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
1174 Statecharts: A Visual Formalism for Complex Systems - Harel - 1987
828 Model Checking - Clarke, Grumberg et al. - 1999
637 The Entity Relationship Model - Towards a Unified View of Da.. (context) - Chen - 1976
579 Software Architecture: Perspectives on an Emerging Disciplin.. (context) - Shaw, Garlan - 1996
441 Software Engineering Economics (context) - Boehm - 1981
372 The Unified Modeling Language Reference Manual (context) - Rumbaugh, Jacobson et al. - 1999
338 Foundations for the Study of Software Architecture - Perry, Wolf - 1992
315 Symbolic Model Checking: An Approach to the State Explosion .. (context) - McMillan - 1993
297 STATEMATE: A Working Environment for the Development of Comp.. - Harel, Lachover et al. - 1990
229 GoalDirected Requirements Acquisition - Dardenne, van Lamsweerde et al. - 1993
208 No Silver Bullet: Essence and Accidents of Software Engineer.. (context) - Brooks - 1987
204 Object-Oriented Software Engineering (context) - Jacobson, Christerson et al. - 1993
192 Specifying Distributed Software Architectures - Magee, Dulay et al. - 1995
173 Safeware - System Safety and Computers (context) - Leveson - 1995
167 Structured Analysis and System Specification (context) - DeMarco - 1978
151 Problem Solving Methods in Artificial Intelligence (context) - Nilsson - 1971
142 An Introduction to Formal Specification and Z (context) - Potter, Sinclair et al. - 1996
131 An Event-Based Architecture Definition Language - Luckham, Vera - 1995
130 Specifying Software Requirements for Complex Systems: New Te.. (context) - Heninger - 1980
130 Semantic Memory (context) - Quillian - 1968
125 Representing and Using Nonfunctional Requirements: A Process.. - Mylopoulos, Chung et al. - 1992
119 Automated Consistency Checking of Requirements Specificatons - Heitmeyer, Jeffords et al. - 1996
117 ACME: An Architecture Description Interchange Language - Garlan, Monroe et al. - 1997
113 Requirements Specification for Process-Control Systems - Leveson, Heimdahl et al. - 1994
112 Structured Development for Real-Time Systems (context) - Ward, Mellor - 1985
107 Readings in Knowledge Representation (context) - Brachman, Levesque - 1985
103 A Componentand Message-Based Architectural Style for GUI Sof.. - Taylor, Medvidovic et al. - 1996
102 A Framework for Expressing the Relationships Between Multipl.. - Nuseibeh, Kramer et al. - 1994
90 Specifying message passing and time-critical systems with te.. (context) - Koymans - 1992
85 Patterns in Property Specifications for Finite-State Verific.. - Dwyer, Avrunin et al.
83 Model Checking Large Software Specifications - Chan, Anderson et al. - 1998
83 Inquiry-Based Requirements Analysis (context) - Potts, Takahashi et al. - 1994
82 The STATEMATE Semantics of Statecharts - Harel - 1996
76 Four Dark Corners of Requirements Engineering - Zave, Jackson - 1997
76 Database Abstractions: Aggregation and Generalization (context) - Smith, Smith - 1977
66 Formal approach to scenario analysis (context) - Hsia, Samuel et al. - 1994
56 The Requirements Apprentice: Automated Assistance for Requir.. (context) - Reubenstein, Waters - 1991
55 Specifications - A Lexicon of Practice (context) - Jackson, Requirements - 1995
55 Conjunction as Composition (context) - Zave, Jackson - 1993
54 Completeness and Consistency in Hierarchical State-Based Req.. - Heimdahl, Leveson - 1996
51 Analyzing Software Requirements Errors in Safety-Critical, E.. - Lutz - 1993
49 Object Behavior Analysis (context) - Rubin, Goldberg - 1992
48 Using Abstraction and Model Checking to Detect Safety Violat.. (context) - Heitmeyer, Kirkby et al. - 1998
48 Structured Analysis for Requirements Definition (context) - Ross, Schoman - 1977
48 Language Support for the Specification and Development of Co.. (context) - Feather
48 Formal Refinement Patterns for Goal-Driven Requirements Elab.. - Darimont, van Lamsweerde - 1996
47 Exploiting Reusable Specifications Through Analogy (context) - Maiden, Sutcliffe - 1993
40 GoalDirected Concept Acquisition in Requirements Elicitation (context) - Dardenne, Fickas et al. - 1991
38 Knowledge Representation and Reasoning in the Design of Comp.. (context) - Fickas, Helm - 1992
38 On Formalism in Specifications (context) - Meyer - 1985
34 Correct Architecture Refinement - Moriconi, Qian et al. - 1995
33 Techniques for Requirements Elicitation - Goguen, Linde - 1993
31 Managing Inconsistent Specifications: Reasoning, Analysis an.. - Hunter, Nuseibeh - 1998
30 Using Schematic Scenarios to Understand User Needs (context) - Potts - 1995
29 From Object-Oriented to Goal-Oriented Requirements Analysis (context) - Mylopoulos, Chung et al. - 1999
28 Functional Documents for Computer Systems - Parnas, Madey - 1995
28 The CORE Method for Real-Time Requirements (context) - Faulk, Brackett et al. - 1992
27 Software Requirements Negotiation and Renegotiation Aids: A .. - Boehm, Bose et al. - 1995
24 Utilizing Scenarios in the Software Development Process - Benner, Feather et al. - 1993
23 Integrating Multiple Specifications Using Domain Goals (context) - Robinson - 1989
23 Scenario Usage in System Development: A Report on Current Pr.. - Weidenhaupt, Pohl et al. - 1998
21 Classification of Research Efforts in Requirements Engineeri.. - Zave
21 Managing Conflicts in Goal-Driven Requirements Engineering (context) - van Lamsweerde, Darimont et al. - 1998
20 A Formal Methods Approach to the Analysis of Mode Confusion - Butler, Miller et al. - 1998
17 Reconciling System Requirements and Runtime Behaviour - Feather, Fickas et al. - 1998
16 Structured Analysis (SA): A Language for Communicating Ideas (context) - Ross - 1977
16 What Does It Mean to Say that a Specification is Complete (context) - Yue - 1987
15 Contribution Structures - Gotel, Finkelstein - 1995
15 Information Modeling in the Context of System Development (context) - Bubenko - 1980
14 Dealing with Performance Requirements During the Development.. (context) - Nixon - 1993
12 A Requirements Modeling Language and its Logic (context) - Greenspan, Borgida et al. - 1986
12 Understanding 'why' in software process modeling, analysis, .. (context) - Yu, Mylopoulos - 1994
12 Where Do Operations Come From? A Multiparadigm Specification.. - Zave, Jackson - 1996
11 Analogical Reuse of Requirements Frameworks - Massonet, van Lamsweerde - 1997
11 Requirements and Specification Exemplars (context) - Feather, Fickas et al. - 1997
11 the Characterization of Law and Computer Systems: the Normat.. (context) - Jones, Sergot - 1993
11 Information Modeling in the Time of the Revolution (context) - Mylopoulos - 1998
11 Integrating Obstacles in Goal-Driven Requirements Engineerin.. - van Lamsweerde, Letier - 1998
10 On Conceptual Modeling: Perspectives from Artificial Intelli.. (context) - Brodie, Mylopoulos et al. - 1984
10 Capturing More World Knowledge in the Requirements Specifica.. (context) - Greenspan, Mylopoulos et al. - 1982
10 A Technique Combination Approach to Requirements Engineering (context) - Sutcliffe - 1997
9 Software Engineering with Abstractions (context) - Berzins - 1991
9 Inferring Declarative Requirements Specifications from Opera.. (context) - van Lamsweerde, Willemet - 1998
8 Specification -Based Prototyping for Embedded Systems - Thompson, Heimdahl et al. - 1999
8 A Pluralistic Knowledge-Based Approach to Software Specifica.. (context) - Niskier, Maibaum et al. - 1989
7 Object-Oriented Requirements Analysis: An Agent Perspective (context) - Dubois, Bois et al. - 1993
6 Mtor: A Successful Application of B in a Large Project (context) - Behm, Benoit et al. - 1999
6 Resolving Requirements Conflicts with Computer-Supported Neg.. - Easterbrook - 1994
6 Fundamentals of Computer Security (context) - Amoroso - 1994
6 Building Formal Specifications Using Structured Common Sense (context) - Finkelstein, Potts - 1987
5 SCR*: A Toolset for specifying and Analyzing Software Requir.. - Heitmeyer, Kirkby et al. - 1998
5 Operational Specification as the Basis for Rapid Prototyping (context) - Balzer, Goldman et al. - 1982
5 Checking the Correctness of Architectural Transformation Ste.. - Riemenschneider - 1999
4 Description of Specification Developments (context) - Souquires, Levy - 1993
3 The Model Checker SPIN (context) - Holzman - 1997
3 Formal Specification: a Roadmap - van Lamsweerde - 2000
3 The Communications Directorate (context) - the, the et al. - 1993
3 System Development Methodology (context) - Hice, Turner et al. - 1974
3 European User Survey Analysis (context) - Institute - 1996
3 Special Issue on Scenario Management (context) - Jarke, Kurki-Suonio - 1998
3 The Specification Language Z: Syntax and Semantics (context) - Abrial - 1980
2 Participative Systems Design: Structure and Method (context) - Munford - 1981
2 Software Requirements: Are They Really a Problem (context) - Bell, Thayer - 1976
2 Handling Obstacles in Goal-Oriented Requirements Engineering - van Lamsweerde, Letier - 2000
1 Software Chaos (context) - Group
1 A Specification Method for Inteactive Information Systems (context) - Wasserman - 1979
1 Information Systems: Modeling, Sequencing, and Transformatio.. (context) - Jackson - 1978
1 Advance Automated Train Control System (context) - Rapid, District
1 Towards Modeling and Reasoning Support for 15 Early-Phase Re.. (context) - Yu - 1997
1 Requirements Engineering: Social ad Technical Issues (context) - Goguen, Jirotka - 1994
1 KAOS in Action: the BART System (context) - Letier, van Lamsweerde
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.info.ucl.ac.be/publ/publi.html): More
Integrating Obstacles in Goal-Driven Requirements Engineering - van Lamsweerde, Letier (1998) (Correct)
Constraint Satisfaction over Connected Row Convex.. - Deville, Barette, Van.. (1997) (Correct)
Inferring Declarative Requirements Specifications from.. - van Lamsweerde, Willemet (1998) (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