---
_id: '8204'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Roland
full_name: Hücking, Roland
last_name: Hücking
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
- first_name: Annika
full_name: Wagner, Annika
last_name: Wagner
citation:
ama: Engels G, Hücking R, Sauer S, Wagner A. UML Collaboration Diagrams and Their
Transformation to Java. University of Paderborn, Department of Computer Science;
1999.
apa: Engels, G., Hücking, R., Sauer, S., & Wagner, A. (1999). UML Collaboration
Diagrams and Their Transformation to Java. University of Paderborn, Department
of Computer Science.
bibtex: '@book{Engels_Hücking_Sauer_Wagner_1999, title={UML Collaboration Diagrams
and Their Transformation to Java}, publisher={University of Paderborn, Department
of Computer Science}, author={Engels, Gregor and Hücking, Roland and Sauer, Stefan
and Wagner, Annika}, year={1999} }'
chicago: Engels, Gregor, Roland Hücking, Stefan Sauer, and Annika Wagner. UML
Collaboration Diagrams and Their Transformation to Java. University of Paderborn,
Department of Computer Science, 1999.
ieee: G. Engels, R. Hücking, S. Sauer, and A. Wagner, UML Collaboration Diagrams
and Their Transformation to Java. University of Paderborn, Department of Computer
Science, 1999.
mla: Engels, Gregor, et al. UML Collaboration Diagrams and Their Transformation
to Java. University of Paderborn, Department of Computer Science, 1999.
short: G. Engels, R. Hücking, S. Sauer, A. Wagner, UML Collaboration Diagrams and
Their Transformation to Java, University of Paderborn, Department of Computer
Science, 1999.
date_created: 2019-03-03T16:13:01Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
publisher: University of Paderborn, Department of Computer Science
report_number: 99-208
status: public
title: UML Collaboration Diagrams and Their Transformation to Java
type: report
user_id: '52534'
year: '1999'
...
---
_id: '8205'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Pieter
full_name: Jan t'Hoen, Pieter
last_name: Jan t'Hoen
- first_name: Ray
full_name: Dassen, Ray
last_name: Dassen
- first_name: Luuk
full_name: Groenewegen, Luuk
last_name: Groenewegen
- first_name: Ida
full_name: G. Sprinkhuizen-Kuyper, Ida
last_name: G. Sprinkhuizen-Kuyper
- first_name: Pieter
full_name: Koopman, Pieter
last_name: Koopman
citation:
ama: Engels G, Jan t’Hoen P, Dassen R, Groenewegen L, G. Sprinkhuizen-Kuyper I,
Koopman P. SOCCA Extended with UML like Packages. Leiden Institute of Advanced
Computer Science; 1999:99-06.
apa: Engels, G., Jan t’Hoen, P., Dassen, R., Groenewegen, L., G. Sprinkhuizen-Kuyper,
I., & Koopman, P. (1999). SOCCA Extended with UML like Packages (pp.
99–06). Leiden Institute of Advanced Computer Science.
bibtex: '@book{Engels_Jan t’Hoen_Dassen_Groenewegen_G. Sprinkhuizen-Kuyper_Koopman_1999,
title={SOCCA Extended with UML like Packages}, publisher={Leiden Institute of
Advanced Computer Science}, author={Engels, Gregor and Jan t’Hoen, Pieter and
Dassen, Ray and Groenewegen, Luuk and G. Sprinkhuizen-Kuyper, Ida and Koopman,
Pieter}, year={1999}, pages={99–06} }'
chicago: Engels, Gregor, Pieter Jan t’Hoen, Ray Dassen, Luuk Groenewegen, Ida G.
Sprinkhuizen-Kuyper, and Pieter Koopman. SOCCA Extended with UML like Packages.
Leiden Institute of Advanced Computer Science, 1999.
ieee: G. Engels, P. Jan t’Hoen, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper,
and P. Koopman, SOCCA Extended with UML like Packages. Leiden Institute
of Advanced Computer Science, 1999, pp. 99–06.
mla: Engels, Gregor, et al. SOCCA Extended with UML like Packages. Leiden
Institute of Advanced Computer Science, 1999, pp. 99–06.
short: G. Engels, P. Jan t’Hoen, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper,
P. Koopman, SOCCA Extended with UML like Packages, Leiden Institute of Advanced
Computer Science, 1999.
date_created: 2019-03-03T16:13:02Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
page: 99-06
publisher: Leiden Institute of Advanced Computer Science
status: public
title: SOCCA Extended with UML like Packages
type: report
user_id: '52534'
year: '1999'
...
---
_id: '8206'
abstract:
- lang: eng
text: This document starts the formalisation of the modelling language of the SOCCA
OO method in the formal specification language Z. It captures the `static' aspects
of SOCCA, i.e. the meaning of SOCCA language elements at the type level, rather
than `dynamic' aspects (dealing with the instance level (objects in execution)).
It is restricted to core SOCCA; proposed extensions are not formalised.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Ray
full_name: Dassen, Ray
last_name: Dassen
- first_name: Luuk
full_name: Groenewegen, Luuk
last_name: Groenewegen
- first_name: Ida
full_name: G. Sprinkhuizen-Kuyper, Ida
last_name: G. Sprinkhuizen-Kuyper
- first_name: Pieter
full_name: Koopman, Pieter
last_name: Koopman
- first_name: Pieter
full_name: Jan t'Hoen, Pieter
last_name: Jan t'Hoen
citation:
ama: 'Engels G, Dassen R, Groenewegen L, G. Sprinkhuizen-Kuyper I, Koopman P, Jan
t’Hoen P. A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts.
Leiden Institute of Advanced Computer Science; 1999.'
apa: 'Engels, G., Dassen, R., Groenewegen, L., G. Sprinkhuizen-Kuyper, I., Koopman,
P., & Jan t’Hoen, P. (1999). A Formalisation of SOCCA using Z, part 1:
The Type Level Concepts. Leiden Institute of Advanced Computer Science.'
bibtex: '@book{Engels_Dassen_Groenewegen_G. Sprinkhuizen-Kuyper_Koopman_Jan t’Hoen_1999,
title={A Formalisation of SOCCA using Z, part 1: The Type Level Concepts}, publisher={Leiden
Institute of Advanced Computer Science}, author={Engels, Gregor and Dassen, Ray
and Groenewegen, Luuk and G. Sprinkhuizen-Kuyper, Ida and Koopman, Pieter and
Jan t’Hoen, Pieter}, year={1999} }'
chicago: 'Engels, Gregor, Ray Dassen, Luuk Groenewegen, Ida G. Sprinkhuizen-Kuyper,
Pieter Koopman, and Pieter Jan t’Hoen. A Formalisation of SOCCA Using Z, Part
1: The Type Level Concepts. Leiden Institute of Advanced Computer Science,
1999.'
ieee: 'G. Engels, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman,
and P. Jan t’Hoen, A Formalisation of SOCCA using Z, part 1: The Type Level
Concepts. Leiden Institute of Advanced Computer Science, 1999.'
mla: 'Engels, Gregor, et al. A Formalisation of SOCCA Using Z, Part 1: The Type
Level Concepts. Leiden Institute of Advanced Computer Science, 1999.'
short: 'G. Engels, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman,
P. Jan t’Hoen, A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts,
Leiden Institute of Advanced Computer Science, 1999.'
date_created: 2019-03-03T16:13:03Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
publisher: Leiden Institute of Advanced Computer Science
report_number: 1999-03
status: public
title: 'A Formalisation of SOCCA using Z, part 1: The Type Level Concepts'
type: report
user_id: '52534'
year: '1999'
...
---
_id: '8321'
abstract:
- lang: eng
text: Der Entwicklungsprozeß von Multimediaanwendungen sollte ebenso wie der herkömmlicher
Softwaresysteme eine Analyse und einen Entwurf beinhalten. In dieser Arbeit diskutieren
wir, inwiefern die Modellierung der Struktur und des dynamischen Verhaltens einer
Multimediaanwendung über die Modellierung herkömmlicher Software hinausgeht. Wir
zeigen, daß Aspekte der Benutzungsschnittstelle und das Zeitverhalten integraler
Bestandteil der Modellierung sein sollten. Als Ergebnis stellen wir die objektorientierte
Modellierungssprache OMMMA-L vor, die auf der Unified Modeling Language (UML)
aufbaut. Die Struktur- und Verhaltensdiagramme von UML wurden analysiert und gemäß
der Charakteristika von Multimedia adaptiert bzw. erweitert. Im Klassendiagramm
werden die Medientypen und die logische Struktur der Anwendung modelliert. Als
Verhaltensdiagramme werden spezialisierte Sequenz- und Zustandsdiagramme eingesetzt.
Mit dem Layoutdiagramm wird ein neuer Diagrammtyp hinzugefügt, der die integrierte
und anschauliche Beschreibung der visuellen Darstellung und interaktiver Benutzereingaben
einer Multimediaanwendung erlaubt. Neben der Vorstellung der einzelnen Diagrammtypen
geben wir ein aus dem Metamodell zu UML abgeleitetes OMMMA-L-Metamodell an, in
dem das Zusammenspiel der Modellelemente aus den verschiedenen Diagrammen spezifiziert
wird.
author:
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Sauer S, Engels G. UML-basierte Modellierung von Multimediaanwendungen. In:
Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März
1999 in Karlsruhe. Karlsruhe, Germany: Teubner, Stuttgart; 1999:155-170.'
apa: 'Sauer, S., & Engels, G. (1999). UML-basierte Modellierung von Multimediaanwendungen.
In Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI),
März 1999 in Karlsruhe (pp. 155–170). Karlsruhe, Germany: Teubner, Stuttgart.'
bibtex: '@inproceedings{Sauer_Engels_1999, place={Karlsruhe, Germany}, title={UML-basierte
Modellierung von Multimediaanwendungen}, booktitle={Modellierung 1999, Workshop
der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe}, publisher={Teubner,
Stuttgart}, author={Sauer, Stefan and Engels, Gregor}, year={1999}, pages={155–170}
}'
chicago: 'Sauer, Stefan, and Gregor Engels. “UML-Basierte Modellierung von Multimediaanwendungen.”
In Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI),
März 1999 in Karlsruhe, 155–70. Karlsruhe, Germany: Teubner, Stuttgart, 1999.'
ieee: S. Sauer and G. Engels, “UML-basierte Modellierung von Multimediaanwendungen,”
in Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI),
März 1999 in Karlsruhe, 1999, pp. 155–170.
mla: Sauer, Stefan, and Gregor Engels. “UML-Basierte Modellierung von Multimediaanwendungen.”
Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März
1999 in Karlsruhe, Teubner, Stuttgart, 1999, pp. 155–70.
short: 'S. Sauer, G. Engels, in: Modellierung 1999, Workshop Der Gesellschaft Für
Informatik e. V. (GI), März 1999 in Karlsruhe, Teubner, Stuttgart, Karlsruhe,
Germany, 1999, pp. 155–170.'
date_created: 2019-03-05T13:29:08Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
page: 155-170
place: Karlsruhe, Germany
publication: Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI),
März 1999 in Karlsruhe
publisher: Teubner, Stuttgart
status: public
title: UML-basierte Modellierung von Multimediaanwendungen
type: conference
user_id: '52534'
year: '1999'
...
---
_id: '8322'
abstract:
- lang: eng
text: We present an object-oriented approach based on the Unified Modeling Language
(UML) for modeling structure and dynamic behavior of a multimedia information
system. We extend the Model-View-Controller paradigm for interactive systems towards
multimedia and show that aspects of the graphical user interface and time-dynamic
behavior ought to be integral parts of a model. This is done in the intention
of achieving a coherent model of a multimedia information system. As a result,
we present OMMMA-L a UML-based language for the Object-Oriented Modeling of MultiMedia
Applications. OMMMA-L deploys class and state diagrams of UML as well as an extended
sequence diagram and a newly introduced presentation diagram to adequately specify
the visual presentation within a multimedia information system. In addition to
explaining the different diagram types, we also define pragmatic rules on how
to deploy and combine the various diagrams. Additionally, we relate OMMMA-L to
basic ideas of multimedia information systems.
author:
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Sauer S, Engels G. OMMMA: An Object-Oriented Approach for Modeling Multimedia
Information Systems. In: Proceedings of the Workshop on Multimedia Information
Systems (MIS 1999), Indian Wells, CA (USA). Indian Wells, California, USA;
1999:64-71.'
apa: 'Sauer, S., & Engels, G. (1999). OMMMA: An Object-Oriented Approach for
Modeling Multimedia Information Systems. In Proceedings of the workshop on
Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA) (pp. 64–71).
Indian Wells, California, USA.'
bibtex: '@inproceedings{Sauer_Engels_1999, place={Indian Wells, California, USA},
title={OMMMA: An Object-Oriented Approach for Modeling Multimedia Information
Systems}, booktitle={Proceedings of the workshop on Multimedia Information Systems
(MIS 1999), Indian Wells, CA (USA)}, author={Sauer, Stefan and Engels, Gregor},
year={1999}, pages={64–71} }'
chicago: 'Sauer, Stefan, and Gregor Engels. “OMMMA: An Object-Oriented Approach
for Modeling Multimedia Information Systems.” In Proceedings of the Workshop
on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA), 64–71.
Indian Wells, California, USA, 1999.'
ieee: 'S. Sauer and G. Engels, “OMMMA: An Object-Oriented Approach for Modeling
Multimedia Information Systems,” in Proceedings of the workshop on Multimedia
Information Systems (MIS 1999), Indian Wells, CA (USA), 1999, pp. 64–71.'
mla: 'Sauer, Stefan, and Gregor Engels. “OMMMA: An Object-Oriented Approach for
Modeling Multimedia Information Systems.” Proceedings of the Workshop on Multimedia
Information Systems (MIS 1999), Indian Wells, CA (USA), 1999, pp. 64–71.'
short: 'S. Sauer, G. Engels, in: Proceedings of the Workshop on Multimedia Information
Systems (MIS 1999), Indian Wells, CA (USA), Indian Wells, California, USA, 1999,
pp. 64–71.'
date_created: 2019-03-05T13:29:09Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
page: 64-71
place: Indian Wells, California, USA
publication: Proceedings of the workshop on Multimedia Information Systems (MIS 1999),
Indian Wells, CA (USA)
status: public
title: 'OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems'
type: conference
user_id: '52534'
year: '1999'
...
---
_id: '8323'
author:
- first_name: Andrea
full_name: Corradini, Andrea
last_name: Corradini
- first_name: Martin
full_name: Große-Rhode, Martin
last_name: Große-Rhode
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Corradini A, Große-Rhode M, Heckel R. An Algebra of Graph Derivations using
Finite (co-) limit Double Theories. In: Selected Papers of the 13th International
Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon
(Portugal). Vol 1589. LNCS. Berlin/Heidelberg: Springer; 1999:92-106. doi:http://dx.doi.org/10.1007/3-540-48483-3_7'
apa: 'Corradini, A., Große-Rhode, M., & Heckel, R. (1999). An Algebra of Graph
Derivations using Finite (co-) limit Double Theories. In Selected papers of
the 13th International Workshop on Recent Trends in Algebraic Development Techniques
(WADT 1998), Lisbon (Portugal) (Vol. 1589, pp. 92–106). Berlin/Heidelberg:
Springer. http://dx.doi.org/10.1007/3-540-48483-3_7'
bibtex: '@inproceedings{Corradini_Große-Rhode_Heckel_1999, place={Berlin/Heidelberg},
series={LNCS}, title={An Algebra of Graph Derivations using Finite (co-) limit
Double Theories}, volume={1589}, DOI={http://dx.doi.org/10.1007/3-540-48483-3_7},
booktitle={Selected papers of the 13th International Workshop on Recent Trends
in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal)}, publisher={Springer},
author={Corradini, Andrea and Große-Rhode, Martin and Heckel, Reiko}, year={1999},
pages={92–106}, collection={LNCS} }'
chicago: 'Corradini, Andrea, Martin Große-Rhode, and Reiko Heckel. “An Algebra of
Graph Derivations Using Finite (Co-) Limit Double Theories.” In Selected Papers
of the 13th International Workshop on Recent Trends in Algebraic Development Techniques
(WADT 1998), Lisbon (Portugal), 1589:92–106. LNCS. Berlin/Heidelberg: Springer,
1999. http://dx.doi.org/10.1007/3-540-48483-3_7.'
ieee: A. Corradini, M. Große-Rhode, and R. Heckel, “An Algebra of Graph Derivations
using Finite (co-) limit Double Theories,” in Selected papers of the 13th International
Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon
(Portugal), 1999, vol. 1589, pp. 92–106.
mla: Corradini, Andrea, et al. “An Algebra of Graph Derivations Using Finite (Co-)
Limit Double Theories.” Selected Papers of the 13th International Workshop
on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal),
vol. 1589, Springer, 1999, pp. 92–106, doi:http://dx.doi.org/10.1007/3-540-48483-3_7.
short: 'A. Corradini, M. Große-Rhode, R. Heckel, in: Selected Papers of the 13th
International Workshop on Recent Trends in Algebraic Development Techniques (WADT
1998), Lisbon (Portugal), Springer, Berlin/Heidelberg, 1999, pp. 92–106.'
date_created: 2019-03-05T13:29:10Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/3-540-48483-3_7
intvolume: ' 1589'
language:
- iso: eng
page: 92-106
place: Berlin/Heidelberg
publication: Selected papers of the 13th International Workshop on Recent Trends in
Algebraic Development Techniques (WADT 1998), Lisbon (Portugal)
publisher: Springer
series_title: LNCS
status: public
title: An Algebra of Graph Derivations using Finite (co-) limit Double Theories
type: conference
user_id: '52534'
volume: 1589
year: '1999'
...
---
_id: '8324'
author:
- first_name: Andrea
full_name: Corradini, Andrea
last_name: Corradini
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Ugo
full_name: Montanari, Ugo
last_name: Montanari
citation:
ama: 'Corradini A, Heckel R, Montanari U. From SOS Specifications to Structured
Coalgebras: How to Make Bisimulation a Congruence. In: Proceedings of the 2nd
Workshop on Coalgebraic Methods in Computer Science (CMCS 99). Vol 19. Electronic
Notes in TCS. Amsterdam, The Netherlands: Elsevier; 1999:118-141. doi:http://dx.doi.org/10.1016/S1571-0661(05)80273-7'
apa: 'Corradini, A., Heckel, R., & Montanari, U. (1999). From SOS Specifications
to Structured Coalgebras: How to Make Bisimulation a Congruence. In Proceedings
of the 2nd workshop on Coalgebraic Methods in Computer Science (CMCS 99) (Vol.
19, pp. 118–141). Amsterdam, The Netherlands: Elsevier. http://dx.doi.org/10.1016/S1571-0661(05)80273-7'
bibtex: '@inproceedings{Corradini_Heckel_Montanari_1999, place={Amsterdam, The Netherlands},
series={Electronic Notes in TCS}, title={From SOS Specifications to Structured
Coalgebras: How to Make Bisimulation a Congruence}, volume={19}, DOI={http://dx.doi.org/10.1016/S1571-0661(05)80273-7},
booktitle={Proceedings of the 2nd workshop on Coalgebraic Methods in Computer
Science (CMCS 99)}, publisher={Elsevier}, author={Corradini, Andrea and Heckel,
Reiko and Montanari, Ugo}, year={1999}, pages={118–141}, collection={Electronic
Notes in TCS} }'
chicago: 'Corradini, Andrea, Reiko Heckel, and Ugo Montanari. “From SOS Specifications
to Structured Coalgebras: How to Make Bisimulation a Congruence.” In Proceedings
of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99),
19:118–41. Electronic Notes in TCS. Amsterdam, The Netherlands: Elsevier, 1999.
http://dx.doi.org/10.1016/S1571-0661(05)80273-7.'
ieee: 'A. Corradini, R. Heckel, and U. Montanari, “From SOS Specifications to Structured
Coalgebras: How to Make Bisimulation a Congruence,” in Proceedings of the 2nd
workshop on Coalgebraic Methods in Computer Science (CMCS 99), 1999, vol.
19, pp. 118–141.'
mla: 'Corradini, Andrea, et al. “From SOS Specifications to Structured Coalgebras:
How to Make Bisimulation a Congruence.” Proceedings of the 2nd Workshop on
Coalgebraic Methods in Computer Science (CMCS 99), vol. 19, Elsevier, 1999,
pp. 118–41, doi:http://dx.doi.org/10.1016/S1571-0661(05)80273-7.'
short: 'A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the 2nd Workshop
on Coalgebraic Methods in Computer Science (CMCS 99), Elsevier, Amsterdam, The
Netherlands, 1999, pp. 118–141.'
date_created: 2019-03-05T13:29:11Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1016/S1571-0661(05)80273-7
intvolume: ' 19'
language:
- iso: eng
page: 118-141
place: Amsterdam, The Netherlands
publication: Proceedings of the 2nd workshop on Coalgebraic Methods in Computer Science
(CMCS 99)
publisher: Elsevier
series_title: Electronic Notes in TCS
status: public
title: 'From SOS Specifications to Structured Coalgebras: How to Make Bisimulation
a Congruence'
type: conference
user_id: '52534'
volume: 19
year: '1999'
...
---
_id: '8325'
abstract:
- lang: eng
text: 'In this paper, dynamic meta modeling is proposed as a new approach to the
operational semantics of behavioral UML diagrams. The dynamic meta model extends
the well-known static meta model by a specification of the system’s dynamics by
means of collaboration diagrams. In this way, it is possible to define the behavior
of UML diagrams within UML. The conceptual idea is inherited from Plotkin’s structured
operational semantics (SOS) paradigm, a style of semantics specification for concurrent
programming languages and process calculi: Collaboration diagrams are used as
deduction rules to specify a goal-oriented interpreter for the language. The approach
is exemplified using a fragment of UML statechart and object diagrams. Formally,
collaboration diagrams are interpreted as graph transformation rules. In this
way, dynamic UML semantics can be both mathematically rigorous so as to enable
formal specifications and proofs and, due to the use of UML notation, understandable
without prior knowledge of heavy mathematic machinery. Thus, it can be used as
a reference by tool developers, teachers, and advanced users.'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Engels G, Heckel R, Sauer S. Dynamic Meta Modelling: A Graphical Approach
to Operational Semantics. In: Proceedings of the Workshop on Rigorous Modeling
and Analysis with the UML: Challenges and Limitations (Satellite Event of the
Conference on Onject-Oriented Programming, Systems, Languages, and Applications
(OOPSLA 1999)), Denver, CO (USA). ; 1999.'
apa: 'Engels, G., Heckel, R., & Sauer, S. (1999). Dynamic Meta Modelling: A
Graphical Approach to Operational Semantics. In Proceedings of the workshop
on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (satellite
event of the Conference on Onject-Oriented Programming, Systems, Languages, and
Applications (OOPSLA 1999)), Denver, CO (USA).'
bibtex: '@inproceedings{Engels_Heckel_Sauer_1999, title={Dynamic Meta Modelling:
A Graphical Approach to Operational Semantics}, booktitle={Proceedings of the
workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations
(satellite event of the Conference on Onject-Oriented Programming, Systems, Languages,
and Applications (OOPSLA 1999)), Denver, CO (USA)}, author={Engels, Gregor and
Heckel, Reiko and Sauer, Stefan}, year={1999} }'
chicago: 'Engels, Gregor, Reiko Heckel, and Stefan Sauer. “Dynamic Meta Modelling:
A Graphical Approach to Operational Semantics.” In Proceedings of the Workshop
on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (Satellite
Event of the Conference on Onject-Oriented Programming, Systems, Languages, and
Applications (OOPSLA 1999)), Denver, CO (USA), 1999.'
ieee: 'G. Engels, R. Heckel, and S. Sauer, “Dynamic Meta Modelling: A Graphical
Approach to Operational Semantics,” in Proceedings of the workshop on Rigorous
Modeling and Analysis with the UML: Challenges and Limitations (satellite event
of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications
(OOPSLA 1999)), Denver, CO (USA), 1999.'
mla: 'Engels, Gregor, et al. “Dynamic Meta Modelling: A Graphical Approach to Operational
Semantics.” Proceedings of the Workshop on Rigorous Modeling and Analysis with
the UML: Challenges and Limitations (Satellite Event of the Conference on Onject-Oriented
Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA),
1999.'
short: 'G. Engels, R. Heckel, S. Sauer, in: Proceedings of the Workshop on Rigorous
Modeling and Analysis with the UML: Challenges and Limitations (Satellite Event
of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications
(OOPSLA 1999)), Denver, CO (USA), 1999.'
date_created: 2019-03-05T13:29:13Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
publication: 'Proceedings of the workshop on Rigorous Modeling and Analysis with the
UML: Challenges and Limitations (satellite event of the Conference on Onject-Oriented
Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA)'
status: public
title: 'Dynamic Meta Modelling: A Graphical Approach to Operational Semantics'
type: conference
user_id: '52534'
year: '1999'
...
---
_id: '8326'
abstract:
- lang: eng
text: Several software architecture paradigms have been proposed for the development
of interactive software systems and applications. Their common idea is the separation
of user interface components from application logic. Normally, they are deployed
as design patterns or basic frameworks of interactive systems. Deploying these
architecture paradigms for multimedia systems or embedded real-time systems, first
requires an appropriate adaption to the specific aspects of these application
areas. We will compare within this position paper two well-known architecture
paradigms and motivate an advanced architecture paradigm applicable to real-time,
embedded multimedia systems. In addition, we will discuss that the architecture
paradigm should be reflected within the structure of a modeling language.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Engels G, Sauer S. MVC-Based Modeling Support for Embedded Real-Time Systems.
In: Proceedings of OMER Workshop, Herrsching, Germany. Herrsching, Universität
der Bundeswehr München, Fakultät für Informatik; 1999:11-14.'
apa: Engels, G., & Sauer, S. (1999). MVC-Based Modeling Support for Embedded
Real-Time Systems. In Proceedings of OMER Workshop, Herrsching, Germany
(pp. 11–14). Herrsching, Universität der Bundeswehr München, Fakultät für Informatik.
bibtex: '@inproceedings{Engels_Sauer_1999, place={Herrsching, Universität der Bundeswehr
München, Fakultät für Informatik}, title={MVC-Based Modeling Support for Embedded
Real-Time Systems}, number={01}, booktitle={Proceedings of OMER Workshop, Herrsching,
Germany}, author={Engels, Gregor and Sauer, Stefan}, year={1999}, pages={11–14}
}'
chicago: Engels, Gregor, and Stefan Sauer. “MVC-Based Modeling Support for Embedded
Real-Time Systems.” In Proceedings of OMER Workshop, Herrsching, Germany,
11–14. Herrsching, Universität der Bundeswehr München, Fakultät für Informatik,
1999.
ieee: G. Engels and S. Sauer, “MVC-Based Modeling Support for Embedded Real-Time
Systems,” in Proceedings of OMER Workshop, Herrsching, Germany, 1999, no.
01, pp. 11–14.
mla: Engels, Gregor, and Stefan Sauer. “MVC-Based Modeling Support for Embedded
Real-Time Systems.” Proceedings of OMER Workshop, Herrsching, Germany,
no. 01, 1999, pp. 11–14.
short: 'G. Engels, S. Sauer, in: Proceedings of OMER Workshop, Herrsching, Germany,
Herrsching, Universität der Bundeswehr München, Fakultät für Informatik, 1999,
pp. 11–14.'
date_created: 2019-03-05T13:29:14Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
issue: '01'
language:
- iso: eng
page: 11-14
place: Herrsching, Universität der Bundeswehr München, Fakultät für Informatik
publication: Proceedings of OMER Workshop, Herrsching, Germany
status: public
title: MVC-Based Modeling Support for Embedded Real-Time Systems
type: conference
user_id: '52534'
year: '1999'
...
---
_id: '8327'
author:
- first_name: Katharina
full_name: Mehner, Katharina
last_name: Mehner
- first_name: Annika
full_name: Wagner, Annika
last_name: Wagner
citation:
ama: 'Mehner K, Wagner A. An Assessment of Aspect Language Design. In: Proceedings
of the Young Researchers Workshop (Satellite Event of the Generative and Component-Based
Software Engineering (GCSE 1999)), Erfurt (Germany). ; 1999.'
apa: Mehner, K., & Wagner, A. (1999). An Assessment of Aspect Language Design.
In Proceedings of the Young Researchers Workshop (satellite event of the Generative
and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany).
bibtex: '@inproceedings{Mehner_Wagner_1999, title={An Assessment of Aspect Language
Design}, booktitle={Proceedings of the Young Researchers Workshop (satellite event
of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt
(Germany)}, author={Mehner, Katharina and Wagner, Annika}, year={1999} }'
chicago: Mehner, Katharina, and Annika Wagner. “An Assessment of Aspect Language
Design.” In Proceedings of the Young Researchers Workshop (Satellite Event
of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt
(Germany), 1999.
ieee: K. Mehner and A. Wagner, “An Assessment of Aspect Language Design,” in Proceedings
of the Young Researchers Workshop (satellite event of the Generative and Component-Based
Software Engineering (GCSE 1999)), Erfurt (Germany), 1999.
mla: Mehner, Katharina, and Annika Wagner. “An Assessment of Aspect Language Design.”
Proceedings of the Young Researchers Workshop (Satellite Event of the Generative
and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany), 1999.
short: 'K. Mehner, A. Wagner, in: Proceedings of the Young Researchers Workshop
(Satellite Event of the Generative and Component-Based Software Engineering (GCSE
1999)), Erfurt (Germany), 1999.'
date_created: 2019-03-05T13:29:15Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the Young Researchers Workshop (satellite event of the
Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany)
status: public
title: An Assessment of Aspect Language Design
type: conference
user_id: '52534'
year: '1999'
...
---
_id: '8328'
author:
- first_name: Katharina
full_name: Mehner, Katharina
last_name: Mehner
- first_name: Annika
full_name: Wagner, Annika
last_name: Wagner
citation:
ama: 'Mehner K, Wagner A. On the Role of Method Families in Aspect Oriented Programming.
In: Proceedings of the ECOOP Workshop on Aspect Oriented Programming, Lisboa
(Spain). Vol 1743. LNCS. Berlin/Heidelberg: Springer; 1999:305-306.'
apa: 'Mehner, K., & Wagner, A. (1999). On the Role of Method Families in Aspect
Oriented Programming. In Proceedings of the ECOOP Workshop on Aspect Oriented
Programming, Lisboa (Spain) (Vol. 1743, pp. 305–306). Berlin/Heidelberg: Springer.'
bibtex: '@inproceedings{Mehner_Wagner_1999, place={Berlin/Heidelberg}, series={LNCS},
title={On the Role of Method Families in Aspect Oriented Programming}, volume={1743},
booktitle={Proceedings of the ECOOP Workshop on Aspect Oriented Programming, Lisboa
(Spain)}, publisher={Springer}, author={Mehner, Katharina and Wagner, Annika},
year={1999}, pages={305–306}, collection={LNCS} }'
chicago: 'Mehner, Katharina, and Annika Wagner. “On the Role of Method Families
in Aspect Oriented Programming.” In Proceedings of the ECOOP Workshop on Aspect
Oriented Programming, Lisboa (Spain), 1743:305–6. LNCS. Berlin/Heidelberg:
Springer, 1999.'
ieee: K. Mehner and A. Wagner, “On the Role of Method Families in Aspect Oriented
Programming,” in Proceedings of the ECOOP Workshop on Aspect Oriented Programming,
Lisboa (Spain), 1999, vol. 1743, pp. 305–306.
mla: Mehner, Katharina, and Annika Wagner. “On the Role of Method Families in Aspect
Oriented Programming.” Proceedings of the ECOOP Workshop on Aspect Oriented
Programming, Lisboa (Spain), vol. 1743, Springer, 1999, pp. 305–06.
short: 'K. Mehner, A. Wagner, in: Proceedings of the ECOOP Workshop on Aspect Oriented
Programming, Lisboa (Spain), Springer, Berlin/Heidelberg, 1999, pp. 305–306.'
date_created: 2019-03-05T13:29:16Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
intvolume: ' 1743'
language:
- iso: eng
page: 305-306
place: Berlin/Heidelberg
publication: Proceedings of the ECOOP Workshop on Aspect Oriented Programming, Lisboa
(Spain)
publisher: Springer
series_title: LNCS
status: public
title: On the Role of Method Families in Aspect Oriented Programming
type: conference
user_id: '52534'
volume: 1743
year: '1999'
...
---
_id: '6135'
author:
- first_name: U
full_name: Hanel, U
last_name: Hanel
- first_name: Rüdiger
full_name: Kabst, Rüdiger
id: '42362'
last_name: Kabst
- first_name: W
full_name: Mayrhofer, W
last_name: Mayrhofer
- first_name: W
full_name: Weber, W
last_name: Weber
citation:
ama: Hanel U, Kabst R, Mayrhofer W, Weber W. Personalmanagement in Europa - Ein
Vergleich Auf Der Basis Empirischer Daten. Vol 51(1).; 1999:32-36.
apa: Hanel, U., Kabst, R., Mayrhofer, W., & Weber, W. (1999). Personalmanagement
in Europa - Ein Vergleich auf der Basis empirischer Daten (Vol. 51(1), pp.
32–36).
bibtex: '@book{Hanel_Kabst_Mayrhofer_Weber_1999, series={Personal}, title={Personalmanagement
in Europa - Ein Vergleich auf der Basis empirischer Daten}, volume={51(1)}, author={Hanel,
U and Kabst, Rüdiger and Mayrhofer, W and Weber, W}, year={1999}, pages={32–36},
collection={Personal} }'
chicago: Hanel, U, Rüdiger Kabst, W Mayrhofer, and W Weber. Personalmanagement
in Europa - Ein Vergleich Auf Der Basis Empirischer Daten. Vol. 51(1). Personal,
1999.
ieee: U. Hanel, R. Kabst, W. Mayrhofer, and W. Weber, Personalmanagement in Europa
- Ein Vergleich auf der Basis empirischer Daten, vol. 51(1). 1999, pp. 32–36.
mla: Hanel, U., et al. Personalmanagement in Europa - Ein Vergleich Auf Der Basis
Empirischer Daten. Vol. 51(1), 1999, pp. 32–36.
short: U. Hanel, R. Kabst, W. Mayrhofer, W. Weber, Personalmanagement in Europa
- Ein Vergleich Auf Der Basis Empirischer Daten, 1999.
date_created: 2018-12-11T09:57:55Z
date_updated: 2022-01-06T07:02:53Z
department:
- _id: '274'
language:
- iso: eng
page: 32-36
series_title: Personal
status: public
title: Personalmanagement in Europa - Ein Vergleich auf der Basis empirischer Daten
type: misc
user_id: '46632'
volume: 51(1)
year: '1999'
...
---
_id: '6227'
author:
- first_name: Rüdiger
full_name: Kabst, Rüdiger
id: '42362'
last_name: Kabst
- first_name: W
full_name: Weber, W
last_name: Weber
citation:
ama: 'Kabst R, Weber W. Die Bedeutung betrieblicher Informationskanäle: Eine Analyse
vor dem Hintergrund aktueller personalwirtschaftlicher Entwicklungen. In: Breisig
T, ed. Mitbestimmung: Gesellschaftlicher Auftrag Und Ökonomische Ressource.
München/Mering; 1999:407-425.'
apa: 'Kabst, R., & Weber, W. (1999). Die Bedeutung betrieblicher Informationskanäle:
Eine Analyse vor dem Hintergrund aktueller personalwirtschaftlicher Entwicklungen.
In T. Breisig (Ed.), Mitbestimmung: Gesellschaftlicher Auftrag und ökonomische
Ressource (pp. 407–425). München/Mering.'
bibtex: '@inbook{Kabst_Weber_1999, place={München/Mering}, title={Die Bedeutung
betrieblicher Informationskanäle: Eine Analyse vor dem Hintergrund aktueller personalwirtschaftlicher
Entwicklungen}, booktitle={Mitbestimmung: Gesellschaftlicher Auftrag und ökonomische
Ressource}, author={Kabst, Rüdiger and Weber, W}, editor={Breisig, TEditor}, year={1999},
pages={407–425} }'
chicago: 'Kabst, Rüdiger, and W Weber. “Die Bedeutung Betrieblicher Informationskanäle:
Eine Analyse Vor Dem Hintergrund Aktueller Personalwirtschaftlicher Entwicklungen.”
In Mitbestimmung: Gesellschaftlicher Auftrag Und Ökonomische Ressource,
edited by T Breisig, 407–25. München/Mering, 1999.'
ieee: 'R. Kabst and W. Weber, “Die Bedeutung betrieblicher Informationskanäle: Eine
Analyse vor dem Hintergrund aktueller personalwirtschaftlicher Entwicklungen,”
in Mitbestimmung: Gesellschaftlicher Auftrag und ökonomische Ressource,
T. Breisig, Ed. München/Mering, 1999, pp. 407–425.'
mla: 'Kabst, Rüdiger, and W. Weber. “Die Bedeutung Betrieblicher Informationskanäle:
Eine Analyse Vor Dem Hintergrund Aktueller Personalwirtschaftlicher Entwicklungen.”
Mitbestimmung: Gesellschaftlicher Auftrag Und Ökonomische Ressource, edited
by T Breisig, 1999, pp. 407–25.'
short: 'R. Kabst, W. Weber, in: T. Breisig (Ed.), Mitbestimmung: Gesellschaftlicher
Auftrag Und Ökonomische Ressource, München/Mering, 1999, pp. 407–425.'
date_created: 2018-12-17T09:59:40Z
date_updated: 2022-01-06T07:02:57Z
department:
- _id: '274'
editor:
- first_name: T
full_name: Breisig, T
last_name: Breisig
language:
- iso: eng
page: 407-425
place: München/Mering
publication: 'Mitbestimmung: Gesellschaftlicher Auftrag und ökonomische Ressource'
status: public
title: 'Die Bedeutung betrieblicher Informationskanäle: Eine Analyse vor dem Hintergrund
aktueller personalwirtschaftlicher Entwicklungen'
type: book_chapter
user_id: '46632'
year: '1999'
...
---
_id: '4629'
author:
- first_name: Yuanhua
full_name: Feng, Yuanhua
id: '20760'
last_name: Feng
citation:
ama: Feng Y. Kernel- and Locally Weighted Regression -- with Application to Time
Series Decomposition.; 1999.
apa: Feng, Y. (1999). Kernel- and Locally Weighted Regression -- with Application
to Time Series Decomposition.
bibtex: '@book{Feng_1999, title={Kernel- and Locally Weighted Regression -- with
Application to Time Series Decomposition}, author={Feng, Yuanhua}, year={1999}
}'
chicago: Feng, Yuanhua. Kernel- and Locally Weighted Regression -- with Application
to Time Series Decomposition, 1999.
ieee: Y. Feng, Kernel- and Locally Weighted Regression -- with Application to
Time Series Decomposition. 1999.
mla: Feng, Yuanhua. Kernel- and Locally Weighted Regression -- with Application
to Time Series Decomposition. 1999.
short: Y. Feng, Kernel- and Locally Weighted Regression -- with Application to Time
Series Decomposition, 1999.
date_created: 2018-10-10T11:42:04Z
date_updated: 2022-01-06T07:01:15Z
department:
- _id: '206'
extern: '1'
language:
- iso: eng
status: public
title: Kernel- and Locally Weighted Regression -- with Application to Time Series
Decomposition
type: book
user_id: '10075'
year: '1999'
...
---
_id: '4910'
author:
- first_name: Bernd
full_name: Frick, Bernd
last_name: Frick
- first_name: Martin
full_name: Schneider, Martin
id: '471'
last_name: Schneider
orcid: https://orcid.org/0000-0002-6961-3716
citation:
ama: Frick B, Schneider M. Zunehmende Konfliktregulierung durch Arbeitsgerichte?
Eine ökonomische Analyse der Häufigkeit von Kündigungsschutzprozessen.; 1999.
apa: Frick, B., & Schneider, M. (1999). Zunehmende Konfliktregulierung durch
Arbeitsgerichte? Eine ökonomische Analyse der Häufigkeit von Kündigungsschutzprozessen.
bibtex: '@book{Frick_Schneider_1999, title={Zunehmende Konfliktregulierung durch
Arbeitsgerichte? Eine ökonomische Analyse der Häufigkeit von Kündigungsschutzprozessen},
author={Frick, Bernd and Schneider, Martin}, year={1999} }'
chicago: Frick, Bernd, and Martin Schneider. Zunehmende Konfliktregulierung durch
Arbeitsgerichte? Eine ökonomische Analyse der Häufigkeit von Kündigungsschutzprozessen,
1999.
ieee: B. Frick and M. Schneider, Zunehmende Konfliktregulierung durch Arbeitsgerichte?
Eine ökonomische Analyse der Häufigkeit von Kündigungsschutzprozessen. 1999.
mla: Frick, Bernd, and Martin Schneider. Zunehmende Konfliktregulierung durch
Arbeitsgerichte? Eine ökonomische Analyse der Häufigkeit von Kündigungsschutzprozessen.
1999.
short: B. Frick, M. Schneider, Zunehmende Konfliktregulierung durch Arbeitsgerichte?
Eine ökonomische Analyse der Häufigkeit von Kündigungsschutzprozessen, 1999.
date_created: 2018-10-26T08:46:06Z
date_updated: 2022-01-06T07:01:29Z
department:
- _id: '178'
- _id: '185'
language:
- iso: ger
publication_status: published
status: public
title: Zunehmende Konfliktregulierung durch Arbeitsgerichte? Eine ökonomische Analyse
der Häufigkeit von Kündigungsschutzprozessen
type: report
user_id: '54657'
year: '1999'
...
---
_id: '4937'
author:
- first_name: Andreas
full_name: Eggert, Andreas
last_name: Eggert
citation:
ama: 'Eggert A. Kundenbindung Aus Kundensicht: Konzeptualisierung, Optionalisierung,
Verhaltenswirksamkeit. Wiesbaden: Deutscher Universitätsverlag; 1999. doi:10.1007/978-3-663-08677-2'
apa: 'Eggert, A. (1999). Kundenbindung aus Kundensicht: Konzeptualisierung, Optionalisierung,
Verhaltenswirksamkeit. Wiesbaden: Deutscher Universitätsverlag. https://doi.org/10.1007/978-3-663-08677-2'
bibtex: '@book{Eggert_1999, place={Wiesbaden}, title={Kundenbindung aus Kundensicht:
Konzeptualisierung, Optionalisierung, Verhaltenswirksamkeit}, DOI={10.1007/978-3-663-08677-2},
publisher={Deutscher Universitätsverlag}, author={Eggert, Andreas}, year={1999}
}'
chicago: 'Eggert, Andreas. Kundenbindung Aus Kundensicht: Konzeptualisierung,
Optionalisierung, Verhaltenswirksamkeit. Wiesbaden: Deutscher Universitätsverlag,
1999. https://doi.org/10.1007/978-3-663-08677-2.'
ieee: 'A. Eggert, Kundenbindung aus Kundensicht: Konzeptualisierung, Optionalisierung,
Verhaltenswirksamkeit. Wiesbaden: Deutscher Universitätsverlag, 1999.'
mla: 'Eggert, Andreas. Kundenbindung Aus Kundensicht: Konzeptualisierung, Optionalisierung,
Verhaltenswirksamkeit. Deutscher Universitätsverlag, 1999, doi:10.1007/978-3-663-08677-2.'
short: 'A. Eggert, Kundenbindung Aus Kundensicht: Konzeptualisierung, Optionalisierung,
Verhaltenswirksamkeit, Deutscher Universitätsverlag, Wiesbaden, 1999.'
date_created: 2018-10-26T09:51:46Z
date_updated: 2022-01-06T07:01:29Z
doi: 10.1007/978-3-663-08677-2
place: Wiesbaden
publication_identifier:
isbn:
- '9783824470563'
- '9783663086772'
publication_status: published
publisher: Deutscher Universitätsverlag
status: public
title: 'Kundenbindung aus Kundensicht: Konzeptualisierung, Optionalisierung, Verhaltenswirksamkeit'
type: book
user_id: '57352'
year: '1999'
...
---
_id: '7346'
author:
- first_name: H.-Hugo
full_name: Kremer, H.-Hugo
id: '15280'
last_name: Kremer
citation:
ama: 'Kremer H-H. Implementation fächer- und lernortübergreifender Ausbildungskonzepte
im Alltag dualer Ausbildung. Konzepte und Erfahrungen. In: Kremer H-H, Ostendorf
A, Sloane PFE, eds. Lehren und Lernen in Schule und Betrieb . Vol 1. Markt
Schwaben; 1999.'
apa: Kremer, H.-H. (1999). Implementation fächer- und lernortübergreifender Ausbildungskonzepte
im Alltag dualer Ausbildung. Konzepte und Erfahrungen. In H.-H. Kremer, A. Ostendorf,
& P. F. E. Sloane (Eds.), Lehren und Lernen in Schule und Betrieb
(Vol. 1). Markt Schwaben.
bibtex: '@inbook{Kremer_1999, place={Markt Schwaben}, title={Implementation fächer-
und lernortübergreifender Ausbildungskonzepte im Alltag dualer Ausbildung. Konzepte
und Erfahrungen}, volume={1}, booktitle={Lehren und Lernen in Schule und Betrieb
}, author={Kremer, H.-Hugo}, editor={Kremer, H.-Hugo and Ostendorf, Annette and
Sloane, Peter F. E.Editors}, year={1999} }'
chicago: Kremer, H.-Hugo. “Implementation fächer- und lernortübergreifender Ausbildungskonzepte
im Alltag dualer Ausbildung. Konzepte und Erfahrungen.” In Lehren und Lernen
in Schule und Betrieb , edited by H.-Hugo Kremer, Annette Ostendorf, and Peter
F. E. Sloane, Vol. 1. Markt Schwaben, 1999.
ieee: H.-H. Kremer, “Implementation fächer- und lernortübergreifender Ausbildungskonzepte
im Alltag dualer Ausbildung. Konzepte und Erfahrungen,” in Lehren und Lernen
in Schule und Betrieb , vol. 1, H.-H. Kremer, A. Ostendorf, and P. F. E. Sloane,
Eds. Markt Schwaben, 1999.
mla: Kremer, H. Hugo. “Implementation fächer- und lernortübergreifender Ausbildungskonzepte
im Alltag dualer Ausbildung. Konzepte und Erfahrungen.” Lehren und Lernen in
Schule und Betrieb , edited by H.-Hugo Kremer et al., vol. 1, 1999.
short: 'H.-H. Kremer, in: H.-H. Kremer, A. Ostendorf, P.F.E. Sloane (Eds.), Lehren
und Lernen in Schule und Betrieb , Markt Schwaben, 1999.'
date_created: 2019-01-31T12:35:25Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '211'
editor:
- first_name: H.-Hugo
full_name: Kremer, H.-Hugo
last_name: Kremer
- first_name: Annette
full_name: Ostendorf, Annette
last_name: Ostendorf
- first_name: Peter F. E.
full_name: Sloane, Peter F. E.
last_name: Sloane
intvolume: ' 1'
language:
- iso: ger
place: Markt Schwaben
publication: 'Lehren und Lernen in Schule und Betrieb '
status: public
title: Implementation fächer- und lernortübergreifender Ausbildungskonzepte im Alltag
dualer Ausbildung. Konzepte und Erfahrungen
type: book_chapter
user_id: '74378'
volume: 1
year: '1999'
...
---
_id: '7399'
abstract:
- lang: ger
text: Multimedia-Anwendungen sind interaktive Softwaresysteme und verlangen als
solche, mit softwaretechnischen Methoden erstellt zu werden. Sie werden heutzutage
in der Regel mit Hilfe von Autorensystemen entwickelt, die eine Ad-hoc-Entwicklung
auf Implementierungsniveau unterstützen. Hierdurch und wegen des Fehlens etablierter
Vorgehensmodelle für die Multimedia-Softwareentwicklung reduziert sich der Multimedia-Entwicklungsprozeß
auf die Implementierungsphase. Dies führt zu den in der Softwaretechnik bekannten
Problemen wie mangelnder Konzeption und fehlender Dokumentation. Wir stellen in
diesem Beitrag ein Vorgehensmodell für die Entwicklung von Multimedia-Anwendungen
vor, in dessen Mittelpunkt eine Analyse- und Entwurfsphase im Hinblick auf eine
Implementierung der Multimedia-Anwendung mit einem Autorensystem stehen. Ausgehend
von einem frameworkbasierten Analysemodell der Anwendung und einem Modell der
Realisierungsmöglichkeiten mit einem konkreten Autorensystem wird systematisch
ein Implementierungsmodell auf Instanzebene abgeleitet, das als Eingabe für das
Autorensystem verwendet wird. Das postulierte Vorgehensmodell wird exemplarisch
für das Autorensystem Director am Beispiel der Domäne multimedialer Lehr-/Lernanwendungen
erläutert.
author:
- first_name: Ralph
full_name: Depke, Ralph
last_name: Depke
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Katharina
full_name: Mehner, Katharina
last_name: Mehner
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
- first_name: Annika
full_name: Wagner, Annika
last_name: Wagner
citation:
ama: Depke R, Engels G, Mehner K, Sauer S, Wagner A. Ein Vorgehensmodell für die
Multimedia-Entwicklung mit Autorensystemen. Informatik Forschung und Entwicklung.
1999;14(2):83-94. doi:http://dx.doi.org/10.1007/s004500050128
apa: Depke, R., Engels, G., Mehner, K., Sauer, S., & Wagner, A. (1999). Ein
Vorgehensmodell für die Multimedia-Entwicklung mit Autorensystemen. Informatik
Forschung Und Entwicklung, 14(2), 83–94. http://dx.doi.org/10.1007/s004500050128
bibtex: '@article{Depke_Engels_Mehner_Sauer_Wagner_1999, title={Ein Vorgehensmodell
für die Multimedia-Entwicklung mit Autorensystemen}, volume={14}, DOI={http://dx.doi.org/10.1007/s004500050128},
number={2}, journal={Informatik Forschung und Entwicklung}, author={Depke, Ralph
and Engels, Gregor and Mehner, Katharina and Sauer, Stefan and Wagner, Annika},
year={1999}, pages={83–94} }'
chicago: 'Depke, Ralph, Gregor Engels, Katharina Mehner, Stefan Sauer, and Annika
Wagner. “Ein Vorgehensmodell Für Die Multimedia-Entwicklung Mit Autorensystemen.”
Informatik Forschung Und Entwicklung 14, no. 2 (1999): 83–94. http://dx.doi.org/10.1007/s004500050128.'
ieee: R. Depke, G. Engels, K. Mehner, S. Sauer, and A. Wagner, “Ein Vorgehensmodell
für die Multimedia-Entwicklung mit Autorensystemen,” Informatik Forschung und
Entwicklung, vol. 14, no. 2, pp. 83–94, 1999.
mla: Depke, Ralph, et al. “Ein Vorgehensmodell Für Die Multimedia-Entwicklung Mit
Autorensystemen.” Informatik Forschung Und Entwicklung, vol. 14, no. 2,
1999, pp. 83–94, doi:http://dx.doi.org/10.1007/s004500050128.
short: R. Depke, G. Engels, K. Mehner, S. Sauer, A. Wagner, Informatik Forschung
Und Entwicklung 14 (1999) 83–94.
date_created: 2019-01-31T15:46:49Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/s004500050128
intvolume: ' 14'
issue: '2'
language:
- iso: eng
page: 83-94
publication: Informatik Forschung und Entwicklung
status: public
title: Ein Vorgehensmodell für die Multimedia-Entwicklung mit Autorensystemen
type: journal_article
user_id: '52534'
volume: 14
year: '1999'
...
---
_id: '7400'
author:
- first_name: Alexey
full_name: Cherchago, Alexey
last_name: Cherchago
- first_name: V.
full_name: Finaev, V.
last_name: Finaev
citation:
ama: Cherchago A, Finaev V. Formalization of the development process for a software-hardware
reflexodiagnostic tool. Scientific bulletin of Academy of Information Technologies
in Education, Science and Balneology. 1999;3.
apa: Cherchago, A., & Finaev, V. (1999). Formalization of the development process
for a software-hardware reflexodiagnostic tool. Scientific Bulletin of Academy
of Information Technologies in Education, Science and Balneology, 3.
bibtex: '@article{Cherchago_Finaev_1999, title={Formalization of the development
process for a software-hardware reflexodiagnostic tool}, volume={3}, journal={Scientific
bulletin of Academy of Information Technologies in Education, Science and Balneology},
author={Cherchago, Alexey and Finaev, V.}, year={1999} }'
chicago: Cherchago, Alexey, and V. Finaev. “Formalization of the Development Process
for a Software-Hardware Reflexodiagnostic Tool.” Scientific Bulletin of Academy
of Information Technologies in Education, Science and Balneology 3 (1999).
ieee: A. Cherchago and V. Finaev, “Formalization of the development process for
a software-hardware reflexodiagnostic tool,” Scientific bulletin of Academy
of Information Technologies in Education, Science and Balneology, vol. 3,
1999.
mla: Cherchago, Alexey, and V. Finaev. “Formalization of the Development Process
for a Software-Hardware Reflexodiagnostic Tool.” Scientific Bulletin of Academy
of Information Technologies in Education, Science and Balneology, vol. 3,
1999.
short: A. Cherchago, V. Finaev, Scientific Bulletin of Academy of Information Technologies
in Education, Science and Balneology 3 (1999).
date_created: 2019-01-31T15:47:39Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: ' 3'
language:
- iso: eng
publication: Scientific bulletin of Academy of Information Technologies in Education,
Science and Balneology
status: public
title: Formalization of the development process for a software-hardware reflexodiagnostic
tool
type: journal_article
user_id: '52534'
volume: 3
year: '1999'
...
---
_id: '7401'
abstract:
- lang: eng
text: The framework of graph transformation combines the potentials and advantages
of both, graphs and rules, to a single computational paradigm. In this paper we
present some recent developments in applying graph transformations as a rule-based
framework for the specification and development of systems, languages, and tools.
After reviewing the basic features of graph transformation, we discuss a selection
of applications, including the evaluation of functional expressions, the specification
of an interactive graphical tool, an example specification of abstract data types,
and the definition of a visual database query language. The case studies indicate
the need for suitable structuring principles which are independent of a particular
graph transformation approach. To this end, we present the concept of a transformation
unit, which allows systematic and structured specifications and programming based
on graph transformation.
author:
- first_name: Marc
full_name: Andries, Marc
last_name: Andries
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Annegret
full_name: Habel, Annegret
last_name: Habel
- first_name: Berthold
full_name: Hoffmann, Berthold
last_name: Hoffmann
- first_name: Hans-Jörg
full_name: Kreowski, Hans-Jörg
last_name: Kreowski
- first_name: Sabine
full_name: Kuske, Sabine
last_name: Kuske
- first_name: Detlef
full_name: Plump, Detlef
last_name: Plump
- first_name: Andy
full_name: Schürr, Andy
last_name: Schürr
- first_name: Gabriele
full_name: Taentzer, Gabriele
last_name: Taentzer
citation:
ama: Andries M, Engels G, Habel A, et al. Graph Transformation for Specification
and Programming. Science of Computer Programming. 1999;34(1):1-54. doi:http://dx.doi.org/10.1016/S0167-6423(98)00023-9
apa: Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.-J., Kuske, S.,
… Taentzer, G. (1999). Graph Transformation for Specification and Programming.
Science of Computer Programming, 34(1), 1–54. http://dx.doi.org/10.1016/S0167-6423(98)00023-9
bibtex: '@article{Andries_Engels_Habel_Hoffmann_Kreowski_Kuske_Plump_Schürr_Taentzer_1999,
title={Graph Transformation for Specification and Programming}, volume={34}, DOI={http://dx.doi.org/10.1016/S0167-6423(98)00023-9},
number={1}, journal={Science of Computer Programming}, author={Andries, Marc and
Engels, Gregor and Habel, Annegret and Hoffmann, Berthold and Kreowski, Hans-Jörg
and Kuske, Sabine and Plump, Detlef and Schürr, Andy and Taentzer, Gabriele},
year={1999}, pages={1–54} }'
chicago: 'Andries, Marc, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg
Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, and Gabriele Taentzer. “Graph
Transformation for Specification and Programming.” Science of Computer Programming
34, no. 1 (1999): 1–54. http://dx.doi.org/10.1016/S0167-6423(98)00023-9.'
ieee: M. Andries et al., “Graph Transformation for Specification and Programming,”
Science of Computer Programming, vol. 34, no. 1, pp. 1–54, 1999.
mla: Andries, Marc, et al. “Graph Transformation for Specification and Programming.”
Science of Computer Programming, vol. 34, no. 1, 1999, pp. 1–54, doi:http://dx.doi.org/10.1016/S0167-6423(98)00023-9.
short: M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D.
Plump, A. Schürr, G. Taentzer, Science of Computer Programming 34 (1999) 1–54.
date_created: 2019-01-31T15:48:04Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1016/S0167-6423(98)00023-9
intvolume: ' 34'
issue: '1'
language:
- iso: eng
page: 1-54
publication: Science of Computer Programming
status: public
title: Graph Transformation for Specification and Programming
type: journal_article
user_id: '52534'
volume: 34
year: '1999'
...