메뉴 건너뛰기




Volumn 127, Issue 1, 2005, Pages 127-139

Time and space issues in the generation of graph transition systems

Author keywords

Automatic generation; Graph transition system; GROOVE; Object oriented verification

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SCIENCE; COMPUTER SIMULATION; FORMAL LOGIC; GRAPHIC METHODS; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS;

EID: 14944357343     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.12.036     Document Type: Conference Paper
Times cited : (6)

References (24)
  • 5
    • 84937217390 scopus 로고    scopus 로고
    • 3: A tool for multi-formalism and meta-modelling
    • Fundamental Approaches to Software Engineering (FASE) Kutsche Weber Springer
    • 3: A tool for multi-formalism and meta-modelling Kutsche Weber Fundamental Approaches to Software Engineering (FASE) LNCS vol. 2306 2002 Springer 174 188
    • (2002) LNCS , vol.2306 , pp. 174-188
    • De Lara, J.1    Vangheluwe, H.2
  • 6
    • 14944349707 scopus 로고    scopus 로고
    • Second International Conference on Graph Transformation
    • Springer
    • Ehrig Engels Parisi-Presicce Rozenberg Second International Conference on Graph Transformation LNCS vol. 3256 2004 Springer
    • (2004) LNCS , vol.3256
    • Ehrig1    Engels2    Parisi-Presicce3    Rozenberg4
  • 7
    • 85034646939 scopus 로고
    • Introduction to the algebraic theory of graph grammars (a survey)
    • Graph Grammars and their Application to Computer Science and Biology. Springer
    • H. Ehrig Introduction to the algebraic theory of graph grammars (a survey) Graph Grammars and their Application to Computer Science and Biology LNCS vol. 73 1979 Springer
    • (1979) LNCS , vol.73
    • Ehrig, H.1
  • 11
    • 84957107637 scopus 로고    scopus 로고
    • Compositional verification of reactive systems specified by graph transformation
    • Fundamental Approaches to Software Engineering (FASE), Astesiano Springer
    • R. Heckel Compositional verification of reactive systems specified by graph transformation Astesiano Fundamental Approaches to Software Engineering (FASE) LNCS vol. 1382 1998 Springer 138 153
    • (1998) LNCS , vol.1382 , pp. 138-153
    • Heckel, R.1
  • 13
    • 14944340146 scopus 로고    scopus 로고
    • Master's thesis, Department of Computer Science, University of Twente, July
    • H. Kastenberg. Software metrics as class graph properties. Master's thesis, Department of Computer Science, University of Twente, July 2004
    • (2004) Software Metrics As Class Graph Properties
    • Kastenberg, H.1
  • 14
    • 0029271565 scopus 로고
    • GRAS: A graph-oriended (software) engineering database system
    • N. Kiesel, A. Schürr, and B. Westfechtel GRAS: A graph-oriended (software) engineering database system Information Systems 20 1 1995 1 32
    • (1995) Information Systems , vol.20 , Issue.1 , pp. 1-32
    • Kiesel, N.1    Schürr, A.2    Westfechtel, B.3
  • 18
    • 10444247744 scopus 로고    scopus 로고
    • Towards model checking graph grammars
    • M. Leuschel, S. Gruner, and S.L. Presti, eds. Technical Report DSSE-TR-2003-2 University of Southampton
    • A. Rensink. Towards model checking graph grammars. In M. Leuschel, S. Gruner, and S.L. Presti, eds., Workshop on Automated Verification of Critical Systems (AVoCS), Technical Report DSSE-TR-2003-2, pp. 150-160. University of Southampton, 2003
    • (2003) Workshop on Automated Verification of Critical Systems (AVoCS) , pp. 150-160
    • Rensink, A.1
  • 19
    • 35048862521 scopus 로고    scopus 로고
    • The GROOVE simulator: A tool for state space generation
    • J. Pfalz M. Nagl B. Böhlen Applications of Graph Transformations with Industrial Relevance (AGTIVE). Springer-Verlag
    • A. Rensink The GROOVE simulator: A tool for state space generation J. Pfalz M. Nagl B. Böhlen Applications of Graph Transformations with Industrial Relevance (AGTIVE) LNCS vol. 3062 2004 Springer-Verlag 479 485
    • (2004) LNCS , vol.3062 , pp. 479-485
    • Rensink, A.1
  • 23
    • 14244251224 scopus 로고    scopus 로고
    • Automated formal verification of visual modeling languages by model checking
    • D. Varró Automated formal verification of visual modeling languages by model checking Journal of Software and Systems Modelling 3 2 2004 85 113
    • (2004) Journal of Software and Systems Modelling , vol.3 , Issue.2 , pp. 85-113
    • Varró, D.1


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