Jan Hendrik Hausmann, Reiko Heckel  Home/Search
Context Related
| cs.tuberlin.de/~gabi/gHHT02.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: tfs.cs.tuberlin.d...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In object-oriented software development, requirements of different stakeholders are often manifested in use case models which complement the static domain model by dynamic and functional requirements. In the course of development, these requirements are analyzed and integrated to produce a consistent overall requirements specification. Iterations of the model may be triggered by conflicts between requirements of different parties. However, due to the... (Update)
Context of citations to this paper: More
.... (separate SuDs) Even though there are many approaches to finding conflicts in dynamic and functional requirements, as pointed out in [9], they are frequently based on logic (and typically closely dependent on a particular use case technology) and require highly...
.... languages [1] and for automated translation of visual models into code or semantic domains [6, 19] or as a semantic domain itself [13, 9]. Often, it is important to know whether the graph transformation system shows a functional behavior (is terminating and confluent) or...
Cited by: More
Specifying Components with Use Cases: Analyzing Support for.. - Mencl, al. (2004) (Correct)
Confluence of Typed Attributed Graph Transformation Systems - Heckel, Küster, Taentzer (2002) (Correct)
Getting "whole picture" Behavior in a Use Case Model - Plasil, Mencl (2003) (Correct)
Active bibliography (related documents): More All
0.6: Classification And Comparison Of Module Concepts For Graph.. - Heckel, Engels (1999) (Correct)
0.6: Extended Model Relations with Graphical Consistency Conditions - Hausmann, Heckel, Sauer (2002) (Correct)
0.5: Modeling and Validating Train System Applications Using.. - Bohn, Damm, Wittke, Moik (2002) (Correct)
Similar documents based on text: More All
0.4: Deploying Agents in an Electronic Banking Environment - Depke, Heckel, Küster (Correct)
0.4: Model-based Discovery of Web Services - Hausmann, Heckel, Lohmann (2004) (Correct)
0.4: Use Cases as Views: A Formal Approach to Requirements.. - Hausmann, Heckel (2001) (Correct)
Related documents from co-citation: More All
3: Object-Oriented Methods: Principles and Practice (context) - Graham
3: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Desig.. (context) - Larman - 1998
3: Testable Use Cases in the Abstract State Machine Language (context) - Grieskamp, Lepper et al. - 2001
BibTeX entry: (Update)
Hausmann, J. H., Hecke, R., Taentzer, G.: Detection of Conflicting Functional Requirements in a Use Case-Driven Approach, ICSE 2002. http://citeseer.ist.psu.edu/hausmann02detection.html More
@inproceedings{ hausmann02detection,
author = "J. Hausmann and R. Hecke and G. Taentzer",
title = "Detection of Conflicting Functional Requirements in a Use Case-Driven Approach",
booktitle = "ICSE 2002",
year = "2002",
url = "citeseer.ist.psu.edu/hausmann02detection.html" }
Citations (may not include all citations):441 Software Engineering Economics (context) - Boehm - 1981
230 The Unified Software Development Process (context) - Jacobson, Booch et al. - 1999
102 A framework for expressing the relationships between multipl.. - Nuseibeh, Kramer et al. - 1994
82 Components and Frameworks with UML: The Catalysis Approach (context) - D'Souza, Wills - 1998
65 View integration: A step forward in solving structural confl.. - Spaccapietra, Parent - 1994
45 Graph grammars: an algebraic approach (context) - Ehrig, Pfender et al. - 1973
43 Fundamenta Informaticae (context) - Corradini, Montanari et al. - 1996
39 Parallelism and concurrency in high-level replacement system.. (context) - Ehrig, Habel et al. - 1991
32 An algebraic framework for the transformation of attributed .. (context) - Lowe, Kor et al. - 1993
30 Horizontal and vertical structuring of typed graph transform.. - Heckel, Corradini et al. - 1996
25 Parallel and Distributed Graph Transformation: Formal Descri.. (context) - Taentzer - 1996
24 Synthesizing state-based object systems from LSC specificati.. - Harel, Kugler - 2000
23 Object Oriented Development (context) - Coleman, Arnold et al. - 1994
22 Ensuring consistency of conditional graph grammars -- a cons.. - Heckel, Wagner - 1995
18 A formal semantics of UML state machines based on structured.. - Kuske - 2001
18 Algebraic approaches to graph transformation (context) - Corradini, Montanari et al. - 1997
16 A combined reference model- and view-based approach to syste.. - Engels, Heckel et al. - 1997
16 UML specification version (context) - Group - 2001
15 Hypergraph Rewriting: Critical Pairs and Undecidability of C.. (context) - Plump - 1993
10 Integrating UML diagrams for production control systems (context) - Kohler, Nickel et al. - 2000
10 the extension of UML with use case maps concepts - Amyot, Mussbacher - 2000
9 Conditional graph rewriting as a domain-independent formalis.. - Mens - 2000
9 Requirements engineering in the year 00: A research perspect.. (context) - Lamsweerde - 2000
8 Strengthening UML collaboration diagrams by state transforma.. - Heckel, Sauer - 2001
8 Consistency checking for multiple view software architecture.. - Fradet, Le Metayer et al. - 1999
7 On Use Cases and their relationships in the Unified Modellin.. - Stevens - 2001
5 Workshop on Theory and Application of Graph Transformation (context) - Ehrig, Engels et al. - 1998
2 Refinement of graph transformation systems via rule expressi.. (context) - Groe-Rhode, Parisi-Presicce et al.
2 Breathing life into message sequence charts (context) - Damm, Harel - 1999
2 Consistency analysis of UML class and sequence diagrams usin.. (context) - Ehrig, Tsioalikis - 2000
http://www.kc.com/html/xuml.html
www.standishgroup.com/chaos.html
Documents on the same site (http://tfs.cs.tu-berlin.de/~gabi/publications.html): More
Parallel High-Level Replacement Systems - Taentzer (1994) (Correct)
Towards Synchronous and Asynchronous Graph Transformations - Taentzer (1996) (Correct)
DIEGO, Another Step Towards a Module Concept for Graph.. - Taentzer, Schürr (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