SCOPUS 정보 검색 플랫폼

Proceedings-International Conference on Software Engineering

Volumn , Issue , 2002, Pages 105-115

Detection of conflicting functional requirements in a use case-driven approach

(3) Hausmann, Jan Hendrik a Heckel, Reiko a Taentzer, Gabi a

a UNIVERSITY OF PADERBORN (Germany)

Author keywords

Graph transformation; Requirements specification; UML; Unified process; Use cases

Indexed keywords

GRAPH THEORY; ITERATIVE METHODS; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; OBJECT ORIENTED PROGRAMMING; REQUIREMENTS ENGINEERING; STATISTICAL METHODS;

FUNCTIONAL REQUIREMENTS; GRAPH TRANSFORMATION; UNIFIED PROCESS;

SOFTWARE ENGINEERING;

EID: 0036036781 PISSN: 02705257 EISSN: None Source Type: Journal
DOI: 10.1145/581339.581355 Document Type: Article

Times cited : (127)

References (32)

1
- 85013605811
- On the extension of UML with use case maps concepts
- In A. Evans, S. Kent, and B. Selic, editors
- Proc. UML 2000, York, UK, Volume 1939 of LNCS. Springer, 2000
- Amyot, D.¹ Mussbacher, G.²

2
- 0004285392
- Prentice-Hall, Englewood Cliffs, NJ
- (1981) Software Engineering Economics
- Boehm, B.W.¹

3
- 0003691163
- Prentice Hall
- (1994) Object Oriented Development, the Fusion Method
- Coleman, D.¹ Arnold, P.² Bodof, S.³ Dollin, C.⁴ Gilchrist, H.⁵ Hayes, F.⁶ Jeremes, P.⁷

4
- 0030173077
- Graph processes
- (1996) Fundamenta Informaticae , vol.26 , Issue.3-4 , pp. 241-266
- Corradini, A.¹ Montanari, U.² Rossi, F.³

5
- 0001006870
- Algebraic approaches to graph transformation, part I: Basic concepts and double pushout approach
- In G. Rozenberg, editor; World Scientific
- (1997) Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations , pp. 163-245
- Corradini, A.¹ Montanari, U.² Rossi, F.³ Ehrig, H.⁴ Heckel, R.⁵ Löwe, M.⁶

6
- 85013597603
- Breathing life into message sequence charts
- In P. Ciancarini, A. Fantechi, and R. Gorrieri, editors; Kluwer
- Proc. Formal Methods for Open Object Based Distributed Systems (FMOODS'99), Florence, Italy, 1999
- Damm, W.¹ Harel, D.²

7
- 0003854752
- Addison-Wesley
- (1998) Components and Frameworks with UML: The Catalysis Approach
- D'Souza, D.¹ Wills, A.²

8
- 85013621797
- H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors; Springer-Verlag
- (2000) Proc. 6th Int. Workshop on Theory and Application of Graph Transformation (TAGT'98), Paderborn, November 1998, Volume 1764 of LNCS

9
- 84976084925
- Presicce. Parallelism and concurrency in high-level replacement systems
- (1991) Math. Struct. in Comp. Science , vol.1 , pp. 361-404
- Ehrig, H.¹ Habel, A.² Kreowski, H.-J.³ Parisi, F.⁴

10
- 85035052547
- Graph grammars: An algebraic approach
- IEEE
- (1973) 14th Annual IEEE Symposium on Switching and Automata Theory , pp. 167-180
- Ehrig, H.¹ Pfender, M.² Schneider, H.³

11
- 1642601076
- Consistency analysis of UML class and sequence diagrams using attributed graph grammars
- In H. Ehrig and G. Taentzer, editors
- ETAPS 2000 Workshop on Graph Transformation Systems (GraTra), Berlin, Germany, March 2000
- Ehrig, H.¹ Tsioalikis, A.²

12
- 0000650278
- A combined reference model- and view-based approach to system specification
- (1997) Int. Journal of Software and Knowledge Engeneering , vol.7 , Issue.4 , pp. 457-477
- Engels, G.¹ Heckel, R.² Taentzer, G.³ Ehrig, H.⁴

13
- 0005304770
- Consistency checking for multiple view software architectures
- Proc. ESEC/FSE'99, Volume 1687 of LNCS, 1999
- Fradet, P.¹ Le Métayer, D.² Périn, M.³

14
- 84949934945
- Refinement of graph transformation systems via rule expressions
- H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors; Springer-Verlag
- (2000) Proc. 6th Int. Workshop on Theory and Application of Graph Transformation (TAGT'98), Paderborn, November 1998, Volume 1764 of LNCS
- Große-Rhode, M.¹ Parisi-Presicce, F.² Simeoni, M.³

15
- 0010536860
- Synthesizing state-based object systems from LSC specifications
- TR MCS99-20, Dept. of Comp. Sci. and Applied Math., The Weizmann Institute of Science, Rehovot, Israel, Apr
- (2000)
- Harel, D.¹ Kugler, H.²

16
- 0001264698
- Horizontal and vertical structuring of typed graph transformation systems
- (1996) Math. Struct. in Comp. Science , vol.6 , Issue.6 , pp. 613-648
- Heckel, R.¹ Corradini, A.² Ehrig, H.³ Löwe, M.⁴

17
- 85030744230
- Strengthening UML collaboration diagrams by state transformations
- In H. Hußmann, editor; Springer-Verlag
- (2001) Proc. FASE'2001, Genova, Italy, Volume 2185 of LNCS
- Heckel, R.¹ Sauer, S.²

18
- 18944376711
- Ensuring consistency of conditional graph grammars-a constructive approach
- Proc. of SEGRAGRA'95 "Graph Rewriting and Computation", Volume 2 of Electronic Notes in TCS, 1995
- Heckel, R.¹ Wagner, A.²

19
- 0003902726
- Addison Wesley
- (1999) The Unified Software Development Process
- Jacobson, I.¹ Booch, G.² Rumbaugh, J.³

20
- 85013572486
- Kennedy-Carter. eXecutable UML

21
- 0033683606
- Integrating UML diagrams for production control systems
- ACM Press
- (2000) Proc. of the 22th International Conference on Software Engineering (ICSE), Limerick, Irland
- Köhler, H.¹ Nickel, U.² Niere, J.³ Zündorf, A.⁴

22
- 85013624698
- A formal semantics of UML state machines based on structured graph transformation
- Proc. UML 2001, Toronto, Kanada, Volume 2185 of LNCS. Springer-Verlag, 2001
- Kuske, S.¹

23
- 0033716145
- Requirements engineering in the year 00: A research perspective
- ACM Press
- (2000) Proc. International Conference on Software Engineering (ICSE 2000), Limerick (Ireland)
- Lamsweerde, A.¹

24
- 0002274099
- An algebraic framework for the transformation of attributed graphs
- In M. R. Sleep, M. J. Plasmeijer, and M. van Eekelen, editors; chapter 14; John Wiley & Sons Ltd.
- (1993) Term Graph Rewriting: Theory and Practice , pp. 185-199
- Löwe, M.¹ Korff, M.² Wagner, A.³

25
- 84974695567
- Conditional graph rewriting as a domain-independent formalism for software evolution
- Springer-Verlag
- (2000) Proc. Int. Agtive '99 Workshop: Applications of Graph Transformations with Industrial Relevance, Volume 1779 of LNCS
- Mens, T.¹

26
- 0028518019
- A framework for expressing the relationships between multiple views in requirements specification
- (1994) Software Engineering , vol.20 , Issue.10 , pp. 760-773
- Nuseibeh, B.¹ Kramer, J.² Finkelstein, A.³

27
- 0004248084
- UML specification version 1.4
- Object Management Group
- (2001)

28
- 0000975250
- Hypergraph rewriting: Critical pairs and undecidability of confluence
- In M. Sleep, M. Plasmeijer, and M. C. van Eekelen, editors; Wiley
- (1993) Term Graph Rewriting , pp. 201-214
- Plump, D.¹

29
- 0028404663
- View integration: A step forward in solving structural conflicts
- (1994) IEEE Transactions on Software and Data Engineering , vol.6 , Issue.2 , pp. 258-274
- Spaccapietra, S.¹ Parent, C.²

30
- 4243491749
- Software chaos
- Standish Group

31
- 85013585003
- On use cases and their relationships in the unified modelling language
- In H. Hussmann, editor; Springer-Verlag
- (2001) Proc. FASE 2001, Genova, Italy, Volume 2029 of LNCS
- Stevens, P.¹

32
- 0003566283
- Parallel and distributed graph transformation: Formal description and application to communication-based systems
- PhD thesis, TU Berlin; Shaker Verlag
- (1996)
- Taentzer, G.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.