-
1
-
-
0037917924
-
An overview of SAL
-
C. M. Holloway, editor
-
S. Bensalem, V. Ganesh, Y. Lakhnech, C. Munoz, S. Owre, H. Rues, J. Rushby, V. Rusu, H. Saïdi, N. Shankar, E. Singerman, and A. Tiwari. An overview of SAL. In C. M. Holloway, editor, LFM 2000: Fifth NASA Langley Formal Methods Workshop, pages 187–196, 2000.
-
(2000)
LFM 2000: Fifth NASA Langley Formal Methods Workshop
, pp. 187-196
-
-
Bensalem, S.1
Ganesh, V.2
Lakhnech, Y.3
Munoz, C.4
Owre, S.5
Rues, H.6
Rushby, J.7
Rusu, V.8
Saïdi, H.9
Shankar, N.10
Singerman, E.11
Tiwari, A.12
-
3
-
-
84982914631
-
VIATRA: Visual automated transformations for formal verification and validation of UML models
-
Submitted paper
-
G. Csertán, G. Huszerl, I. Majzik, Z. Pap, A. Pataricza, and D. Varró. VIATRA: Visual automated transformations for formal verification and validation of UML models. In Proc. ASE 2002: International Conference on Automated Software Engineering. Submitted paper.
-
Proc. ASE 2002: International Conference on Automated Software Engineering
-
-
Csertán, G.1
Huszerl, G.2
Majzik, I.3
Pap, Z.4
Pataricza, A.5
Varró, D.6
-
4
-
-
34548150508
-
Handbook on Graph Grammars and Computing by Graph Transformation
-
H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors. Handbook on Graph Grammars and Computing by Graph Transformation, volume 2: Applications, Languages and Tools. World Scientific, 1999.
-
(1999)
Applications, Languages and Tools. World Scientific
, vol.2
-
-
Ehrig, H.1
Engels, G.2
Kreowski, H.-J.3
Rozenberg, G.4
-
5
-
-
0000145484
-
-
World Scientific
-
H. Ehrig, R. Heckel, M. Korff, M. Löwe, L. Ribeiro, A. Wagner, and A. Corradini. In [17], chapter Algebraic Approaches to Graph Transformation — Part II: Single pushout approach and comparison with double pushout approach, pages 247–312. World Scientific, 1997.
-
(1997)
In [17], Chapter Algebraic Approaches to Graph Transformation — Part II: Single Pushout Approach and Comparison with Double Pushout Approach
, pp. 247-312
-
-
Ehrig, H.1
Heckel, R.2
Korff, M.3
Löwe, M.4
Ribeiro, L.5
Wagner, A.6
Corradini, A.7
-
6
-
-
33746469481
-
Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML
-
A. Evans, S. Kent, and B. Selic, editors, LNCS, Springer
-
G. Engels, J. H. Hausmann, R. Heckel, and S. Sauer. Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In A. Evans, S. Kent, and B. Selic, editors, UML 2000 - The Unified Modeling Language. Advancing the Standard, volume 1939 of LNCS, pages 323–337. Springer, 2000.
-
(2000)
UML 2000 - the Unified Modeling Language. Advancing the Standard
, vol.1939
, pp. 323-337
-
-
Engels, G.1
Hausmann, J.H.2
Heckel, R.3
Sauer, S.4
-
7
-
-
8644267243
-
State diagrams in UML: A formal semantics using graph transformations
-
M. Broy, D. Coleman, T. S. E. Maibaum, and B. Rumpe, editors, Technische Universität München, TUM-I9803
-
M. Gogolla and F. Parisi-Presicce. State diagrams in UML: A formal semantics using graph transformations. In M. Broy, D. Coleman, T. S. E. Maibaum, and B. Rumpe, editors, Proceedings PSMT’98 Workshop on Precise Semantics for Modeling Techniques. Technische Universität München, TUM-I9803, 1998.
-
(1998)
Proceedings PSMT’98 Workshop on Precise Semantics for Modeling Techniques
-
-
Gogolla, M.1
Parisi-Presicce, F.2
-
8
-
-
0023365727
-
Statecharts: A visual formalism for complex systems
-
D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231–274, 1987.
-
(1987)
Science of Computer Programming
, vol.8
, Issue.3
, pp. 231-274
-
-
Harel, D.1
-
9
-
-
3042708719
-
Towards automatic translation of UML models into semantic domains
-
Grenoble, France
-
R. Heckel, J. Küster, and G. Taentzer. Towards automatic translation of UML models into semantic domains. In Proc. AGT 2002: Workshop on Applied Graph Transformation, pages 11–21, Grenoble, France, April 2002.
-
(2002)
Proc. AGT 2002: Workshop on Applied Graph Transformation
, pp. 11-21
-
-
Heckel, R.1
Küster, J.2
Taentzer, G.3
-
11
-
-
84948983390
-
A formal semantics of UML state machines based on structured graph transformation
-
M. Gogolla and C. Kobryn, editors, Springer
-
S. Kuske. A formal semantics of UML state machines based on structured graph transformation. In M. Gogolla and C. Kobryn, editors, UML 2001: The Unified Modeling Language. Modeling Languages, Concepts and Tools, volume 2185 of LNCS, pages 241–256. Springer, 2001.
-
(2001)
UML 2001: The Unified Modeling Language. Modeling Languages, Concepts and Tools
, vol.2185
, pp. 241-256
-
-
Kuske, S.1
-
12
-
-
84957026796
-
Rewrite rules and operational semantics for model checking UML statecharts
-
A. Evans, S. Kent, and B. Selic, editors, York, UK, October 2000, Proceedings, of LNCS, Springer
-
G. Kwon. Rewrite rules and operational semantics for model checking UML statecharts. In A. Evans, S. Kent, and B. Selic, editors, UML 2000 - The Unified Modeling Language. Advancing the Standard. Third International Conference, York, UK, October 2000, Proceedings, volume 1939 of LNCS, pages 528–540. Springer, 2000.
-
(2000)
UML 2000 - the Unified Modeling Language. Advancing the Standard. Third International Conference
, vol.1939
, pp. 528-540
-
-
Kwon, G.1
-
13
-
-
0000381112
-
Automatic verification of UML statechart diagrams using the SPIN model-checker
-
D. Latella, I. Majzik, and M. Massink. Automatic verification of UML statechart diagrams using the SPIN model-checker. Formal Aspects of Computing, 11(6):637–664, 1999.
-
(1999)
Formal Aspects of Computing
, vol.11
, Issue.6
, pp. 637-664
-
-
Latella, D.1
Majzik, I.2
Massink, M.3
-
14
-
-
84957631215
-
Hierarchical automata as model for statecharts
-
R. Shyamasundar and K. Euda, editors, of LNCS, Springer-Verlag
-
E. Mikk, Y. Lakhnech, and M. Siegel. Hierarchical automata as model for statecharts. In R. Shyamasundar and K. Euda, editors, ASIAN’97 Third Asian Computing Conference. Advances in Computer Science, volume 1345 of LNCS, pages 181–196. Springer-Verlag, 1997.
-
(1997)
ASIAN’97 Third Asian Computing Conference. Advances in Computer Science
, vol.1345
, pp. 181-196
-
-
Mikk, E.1
Lakhnech, Y.2
Siegel, M.3
-
15
-
-
0003465732
-
-
Version 2. 3. Technical report, SRI International, September
-
S. Owre, N. Shankar, J. Rushby, and D. Stringer-Calvert. The PVS language reference, Version 2. 3. Technical report, SRI International, September 1999.
-
(1999)
The PVS Language Reference
-
-
Owre, S.1
Shankar, N.2
Rushby, J.3
Stringer-Calvert, D.4
-
17
-
-
33847246736
-
Handbook of Graph Grammars and Computing by Graph Transformations: Foundations
-
G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformations: Foundations. World Scientific, 1997.
-
(1997)
World Scientific
-
-
Rozenberg, G.1
-
19
-
-
0000632247
-
-
[4], chapter The PROGRES Approach: Language and Environment, World Scientific
-
A. Schürr, A. J. Winter, and A. Zündorf. In [4], chapter The PROGRES Approach: Language and Environment, pages 487–550. World Scientific, 1999.
-
(1999)
, pp. 487-550
-
-
Schürr, A.1
Winter, A.J.2
Zündorf, A.3
-
20
-
-
17944369503
-
An outline of PVS semantics for UML Statecharts
-
I. Traoré. An outline of PVS semantics for UML Statecharts. Journal of Universal Computer Science, 6(11):1088–1108, Nov. 2000.
-
(2000)
Journal of Universal Computer Science
, vol.6
, Issue.11
, pp. 1088-1108
-
-
Traoré, I.1
-
23
-
-
0036642571
-
Designing the automatic transformation of visual languages
-
August, To appear
-
D. Varró, G. Varró, and A. Pataricza. Designing the automatic transformation of visual languages. Science of Computer Programming, 44(2), August 2002. To appear.
-
(2002)
Science of Computer Programming
, vol.44
, Issue.2
-
-
Varró, D.1
Varró, G.2
Pataricza, A.3
|