메뉴 건너뛰기




Volumn 1764, Issue , 2000, Pages 396-410

UML packages for PROgrammed graph REwriting systems

Author keywords

[No Author keywords available]

Indexed keywords

QUERY LANGUAGES; QUERY PROCESSING; SOFTWARE DESIGN; SOFTWARE PROTOTYPING; SPECIFICATIONS;

EID: 84949956307     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-46464-8_28     Document Type: Conference Paper
Times cited : (14)

References (30)
  • 2
    • 84950000076 scopus 로고
    • Concepts, Implementation, and Applications of a Typed Logic Programming Language
    • Beierle, PKimer (eds.), Elsevier Science B.V
    • C. Beierle: Concepts, Implementation, and Applications of a Typed Logic Programming Language. In Beierle, PKimer (eds.): Logic Programming: Formal Methods and Practical Applications. Elsevier Science B.V., 1995.
    • (1995) Logic Programming: Formal Methods and Practical Applications
    • Beierle, C.1
  • 3
    • 84949934500 scopus 로고    scopus 로고
    • A Framework for Adding Packages to Graph Transformation Approaches
    • In G. Engels, G. Rozenberg (eds.)
    • G. Busatto, G. Engels, K. Mehner, A. Wagner: A Framework for Adding Packages to Graph Transformation Approaches. In G. Engels, G. Rozenberg (eds.): Proc. TAGT’98. This volume.
    • Proc. TAGT’98. This Volume
    • Busatto, G.1    Engels, G.2    Mehner, K.3    Wagner, A.4
  • 5
    • 0016963069 scopus 로고
    • Programming-in-the-large versus Programming-in- the-small
    • F. DeRemer, H. Kron: Programming-in-the-large versus Programming-in- the-small. IEEE Trans. on Software Engineering, SE-2(2):80-86, 1976.
    • (1976) IEEE Trans. On Software Engineering , vol.SE-2 , Issue.2 , pp. 80-86
    • Deremer, F.1    Kron, H.2
  • 6
    • 84949935278 scopus 로고
    • ECMA Standard 149: Portable Common Tool Environment (PCTE)
    • European Computer Manufacturers Association: ECMA Standard 149: Portable Common Tool Environment (PCTE). Abstract Specification, 1990.
    • (1990) Abstract Specification
  • 8
    • 84949939970 scopus 로고    scopus 로고
    • Classification and Comparison of Modularity Concepts for Graph Tranformation Systems
    • In G. Engels, G. Rozenberg (eds.)
    • H. Ehrig, G. Engels, R. Heckel, G. Taentzer: Classification and Comparison of Modularity Concepts for Graph Tranformation Systems. In G. Engels, G. Rozenberg (eds.): Proc. TAGT’98. This volume.
    • Proc. TAGT’98. This Volume
    • Ehrig, H.1    Engels, G.2    Heckel, R.3    Taentzer, G.4
  • 9
    • 84949455089 scopus 로고    scopus 로고
    • Ehrig: A View-Oriented Approach to System Modelling Using Graph Transformations
    • M. Jazayeri, H. Schauer (eds.), Springer
    • Engels, R. Heckel, G. Taentzer, H. Ehrig: A View-Oriented Approach to System Modelling Using Graph Transformations. In M. Jazayeri, H. Schauer (eds.): Proc. ESEC’97. LNCS 1301, 327-343, Springer, 1997.
    • (1997) Proc. ESEC’97. LNCS , vol.1301 , pp. 327-343
    • Engels, R.1    Heckel, G.2    Taentzer, H.3
  • 12
    • 0001264698 scopus 로고    scopus 로고
    • Horizontal and Vertical Structuring in Typed Graph Transformation Systems
    • December
    • R. Heckel, A. Corradini, H. Ehrig, M. Lowe: Horizontal and Vertical Structuring in Typed Graph Transformation Systems. Mathematic Structures in Computer Science, 6(6):613-648, December 1996.
    • (1996) Mathematic Structures in Computer Science , vol.6 , Issue.6 , pp. 613-648
    • Heckel, R.1    Corradini, A.2    Ehrig, H.3    Lowe, M.4
  • 14
    • 84949968830 scopus 로고    scopus 로고
    • Integrity Constraints in the MultiParadigm Language PROGRES
    • In G. Engels, G. Rozenberg (eds.)
    • M. Muunch, A.J. Winter, A. Schuurr: Integrity Constraints in the MultiParadigm Language PROGRES. In G. Engels, G. Rozenberg (eds.): Proc. TAGT’98. This volume.
    • Proc. TAGT’98. This Volume
    • Muunch, M.1    Winter, A.J.2    Schuurr, A.3
  • 16
    • 33750080781 scopus 로고    scopus 로고
    • Building Tightly Integrated Software Development Environments: The IPSEN Approach
    • (ed.), Springer
    • M. Nagl (ed.): Building Tightly Integrated Software Development Environments: The IPSEN Approach. LNCS 1170, Springer, 1996.
    • (1996) LNCS 1170
    • Nagl, M.1
  • 18
    • 0015346655 scopus 로고
    • A Technique for Software Module Specifications with Examples
    • ACM Press
    • D. Parnas: A Technique for Software Module Specifications with Examples. In Comm. of the ACM, vol. 15, 330-336. ACM Press, 1972.
    • (1972) Comm. Of the ACM , vol.15 , pp. 330-336
    • Parnas, D.1
  • 19
    • 84947800485 scopus 로고    scopus 로고
    • RATIONAL SOFTWARE CORPORATION: UML Semantics. http://www.rational.com/uml.
    • UML Semantics
  • 23
    • 84957541444 scopus 로고    scopus 로고
    • Winter: Formal Definition and Refinement of UML’s Package Concept
    • J. Bosch, S. Mitchell (eds.), Springer
    • Schurr, A.J. Winter: Formal Definition and Refinement of UML’s Package Concept. In J. Bosch, S. Mitchell (eds.): Object-Oriented Technology — ECOOP’97 Workshop Reader. LNCS 1357, 211-215, Springer, 1997.
    • (1997) Object-Oriented Technology — ECOOP’97 Workshop Reader. LNCS 1357 , pp. 211-215
    • Schurr, A.J.1
  • 24
    • 84955590678 scopus 로고
    • Zundorf: Graph Grammar Engineering with PROGRES
    • W. Schafer, P. Botella (eds.), Springer
    • Schurr, A.J. Winter, A. Zundorf: Graph Grammar Engineering with PROGRES. In W. Schafer, P. Botella (eds.): Proc. ESEC’95. LNCS 989, 219-234, Springer, 1995.
    • (1995) Proc. ESEC’95. LNCS 989 , pp. 219-234
    • Schurr, A.J.1    Winter, A.2
  • 26
    • 0003368821 scopus 로고
    • DIEGO, another step towards a module concept for graph transformation systems
    • A. Corradini, U. Montanari (eds.), ENTSC. Elsevier Science B.V
    • G. Taentzer, A. Schuurr: DIEGO, another step towards a module concept for graph transformation systems. In A. Corradini, U. Montanari (eds.): Proc. SEGRAGRA‘95. Vol. 2 of ENTSC. Elsevier Science B.V., 1995.
    • (1995) Proc. SEGRAGRA‘95 , vol.2
    • Taentzer, G.1    Schuurr, A.2
  • 27
    • 0003501982 scopus 로고    scopus 로고
    • Active Database Systems: Triggers and Rules for Advanced Database Processing
    • (eds.)
    • J. Widom, S. Ceri (eds.): Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan Kaufmann, 1996.
    • (1996) Morgan Kaufmann
    • Widom, J.1    Ceri, S.2
  • 29
    • 84949943139 scopus 로고    scopus 로고
    • Modules and Updatable Graph Views for PROgrammed Graph REwriting Systems
    • A.J. Winter, A. Schurr: Modules and Updatable Graph Views for PROgrammed Graph REwriting Systems. TR 97-3, RWTH Aachen, 1997.
    • (1997) TR 97-3, RWTH Aachen
    • Winter, A.J.1    Schurr, A.2


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