Systemmodell-basierte Definition objektbasierter ...

Literaturverzeichnis 227
[BHH + 97]
[BKRR09]
[BM04]
[BS86]
[BS01]
[BS03]
[BSM + 03]
Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech,
Bernhard Rumpe, and Veronika Thurner. Towards a Formalization of the Unified
Modeling Language. In European Conference on Object-Oriented Programming
(ECOOP) 1997 (Proceedings), volume 1241 of LNCS, pages 344–366.
Springer, 1997.
Christian Berger, Holger Krahn, Holger Rendel, and Bernhard Rumpe. Featurebasierte
Modellierung und Verarbeitung von Produktlinien am Beispiel eingebetteter
Software. In Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte
Entwicklung eingebetteter Systeme V. Informatik-Bericht 2009-01, Technische
Universität Braunschweig, 2009.
Michel Bidoit and Peter D. Mosses. CASL User Manual. LNCS 2900 (IFIP
Series). Springer, 2004.
Rolf Bahlke and Gregor Snelting. The PSG system: from formal language definitions
to interactive programming environments. ACM Trans. Program. Lang.
Syst., 8(4):547–576, 1986.
Manfred Broy and Ketil Stølen. Specification and Development of Interactive
Systems. Focus on Streams, Interfaces and Refinement. Springer, 2001.
Egon Börger and Robert Stärk. Abstract State Machines: A Method for High-
Level System Design and Analysis. Springer, 2003.
Frank Budinsky, David Steinberg, Ed Merks, Raymond Ellersick, and Timothy
J. Grose. Eclipse Modeling Framework. Addison-Wesley, 2003.
[BW82] Manfred Broy and Martin Wirsing. Partial Abstract Types. Acta Inf., 18(1):47–
64, 1982.
[BW06]
Achim D. Brucker and Burkhart Wolff. The HOL-OCL book. Technical Report
525, ETH Zurich, 2006.
[BW09] Achim D. Brucker and Burkhart Wolff. Semantics, calculi, and analysis for
object-oriented specifications. Acta Informatica, 46(4):255–284, 2009.
[CD05]
Michelle L. Crane and Jürgen Dingel. On the semantics of UML state machines:
Categorization and comparison. Technical Report 2005-501, School of Computing,
Queen’s University, 2005.
[CD07] Michelle L. Crane and Jürgen Dingel. UML vs. classical vs. rhapsody
statecharts: not all models are created equal. Software and System Modeling,
6(4):415–435, 2007.
[CD08a]
Michelle L. Crane and Jürgen Dingel. Towards a Formal Account of a Foundational
Subset for Executable UML Models. In Model Driven Engineering
Languages and Systems (MoDELS) 2008 (Proceedings), volume 5301 of LNCS,
pages 675–689. Springer, 2008.