Database Reference
In-Depth Information
Drossopoulou, S., Damiani, F., Dezani-Ciancaglini, M., & Giannini, P. (2002). More dy-
namic object reclassifi cation: FickleII.
ACM Transactions Programming Languages
and Systems,
24(2), 153-191.
Ehrig, H., Geisler, R., Klar, M., & Padberg, J. (1997). Horizontal and vertical structuring
techniques for statecharts. In A. W. Mazurkiewicz & J. Winkowski (Eds.),
CONCUR'97
concurrency theory
(Vol. 1243 of LNCS, pp. 181-195). Springer.
Engels, C., Haussmann, J. H., Heckel, R., & Sauer, S. (2000). Dynamic meta-modeling: a
graphical approach to the operational semantics of behavioral diagrams in UML. In
A. Evans, S. Kent & B. Selic (Eds.),
UML 2000 the Unifi ed Modeling Language
(Vol.
1939 of LNCS, pp. 323-337). Springer.
Gnesi, S., Latella, D., & Massink, M. (1999). Model checking UML statechart diagrams
using JACK. In
Proceedings of the IEEE International symposium on high assurance
systems engineering.
Harel, D. (1987). Statecharts: A visual formalism for complex systems.
Science of Computer
Programming
, 8, 231-274.
Harel, D., & Naamad, A. (1996). The STATEMATE semantics of statecharts.
ACM Transac-
tions on Software Engineering and Methodology,
5(4), 293-333.
Harel, D., & Politi, M. (1998).
Modeling reactive systems with statecharts: The STATEMATE
approach
. McGraw Hill.
Harel, D., Pnueli, A., Schmidt, J. P., & Sherman, R. (1987). On the formal semantics of
statecharts. In
Proceedings of the 2nd IEEE Symposium on logic in computer science
(pp. 54-64). IEEE Press.
Hofstede, A. H. M. ter, & Verhoef, T. F. (1997). On the feasibility of situational method
engineering.
Information Systems
, 22(6/7), 401-422.
Hong, H. S., Kim, J. H., Cha, S. D., & Kwon, Y. R. (1995). Static semantics and priority
schemes for statecharts. In
9th Annual International Computer Software and Applica-
tions Conference COMPSAC'95
(pp. 114-120). IEEE Press.
Hooman, J., Ramesh, S., & Roever, W. de. (1992). A compositional axiomatization of stat-
echarts.
Theoretical Computer Science
, 101, 289-335.
Jin, Y., Esser, R., & Janneck, J.W. (2002). Describing the syntax and semantics of UML stat-
echarts in a heterogeneous modelling environment. In M. Hegarty, B. Meyer & N. H.
Narayanan (Eds.),
Diagrammatic Representation and Inference, Second International
Conference, Diagrams 2002
(Vol. 2317 of LNAI, pp. 320-334). Springer.
Jürjens, J. (2002). A UML statecharts semantics with message-passing.
Proceedings of the
2002 ACM Symposium on Applied Computing
(pp. 1009-1013). ACM.
2002 ACM Symposium on Applied Computing
Kelly, S., Lyytinen, K., & Rossi, M. (1996). MetaEdit+: a fully confi gurable multi-user and
multi-tool CASE and CAME environment. In P. Constantopoulos, J. Mylopoulos & Y.
Vassiliou (Eds.),
Advanced Information Systems Engineering, CAISE'96
(Vol. 1080
2002 ACM Symposium on Applied Computing
(pp. 1009-1013). ACM.
of LNCS, pp. 1-21). Springer.
Kwon, G. (2000). Rewrite rules and operational semantics for model checking UML stat-
echarts. In A. Evans, S. Kent & B. Selic (Eds.),
UML 2000 the Unifi ed Modeling
Language
(Vol. 1939 of LNCS, pp. 528-540). Springer.
Latella, D., Majzik, L, & Massink, M. (1999). Towards a formal operational semantics of
UML statechart diagrams. In
3rd International Conference on Formal Methods for Open
Object Oriented Distributed Systems
(pp. 331-344). Kluwer Academic Publishers.
