---
_id: '7859'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Heckel R. Modeling Agent-Based Systems with Graph Transformation and UML.
In: Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design
for Software Intensive Systems. ; 1999.'
apa: Heckel, R. (1999). Modeling Agent-Based Systems with Graph Transformation and
UML. In Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and
Design for Software Intensive Systems.
bibtex: '@inproceedings{Heckel_1999, title={Modeling Agent-Based Systems with Graph
Transformation and UML}, number={258}, booktitle={Proceedings of the Dagstuhl-Seminar
99451 on Rigorous Analysis and Design for Software Intensive Systems}, author={Heckel,
Reiko}, year={1999} }'
chicago: Heckel, Reiko. “Modeling Agent-Based Systems with Graph Transformation
and UML.” In Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis
and Design for Software Intensive Systems, 1999.
ieee: R. Heckel, “Modeling Agent-Based Systems with Graph Transformation and UML,”
in Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design
for Software Intensive Systems, 1999, no. 258.
mla: Heckel, Reiko. “Modeling Agent-Based Systems with Graph Transformation and
UML.” Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design
for Software Intensive Systems, no. 258, 1999.
short: 'R. Heckel, in: Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis
and Design for Software Intensive Systems, 1999.'
date_created: 2019-02-20T14:37:40Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
issue: '258'
language:
- iso: eng
publication: Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design
for Software Intensive Systems
status: public
title: Modeling Agent-Based Systems with Graph Transformation and UML
type: conference
user_id: '52534'
year: '1999'
...
---
_id: '7860'
abstract:
- lang: eng
text: An analysis of how visual modeling of structure and dynamic behavior of a
multimedia application differs from modeling conventional software yields that
aspects of the graphical user interface and time-dynamic behavior ought to be
integral parts of a coherent multimedia application model. In this sense, we extend
the model-view-controller paradigm towards multimedia.As a result, we present
OMMMA-L, a visual Language for the Object-Oriented Modeling of MultiMedia Applications
that is based on the Unified Modeling Language (UML). The structural and behavioral
diagram types of UML have been analyzed and are adapted and extended according
to multimedia application characteristics.A presentation diagram is introduced
and integrated to adequately describe the visual presentation. In addition to
explaining the different diagram types, we also give pragmatic guidelines on how
to deploy and combine the various diagrams.
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. Extending UML for Modeling of Multimedia Applications.
In: Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo
(Japan). Tokyo, Japan: IEEE Computer Society; 1999:80-87. doi:http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878'
apa: 'Sauer, S., & Engels, G. (1999). Extending UML for Modeling of Multimedia
Applications. In Proceedings of the IEEE Symposium on Visual Languages (VL
1999), Tokyo (Japan) (pp. 80–87). Tokyo, Japan: IEEE Computer Society. http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878'
bibtex: '@inproceedings{Sauer_Engels_1999, place={Tokyo, Japan}, title={Extending
UML for Modeling of Multimedia Applications}, DOI={http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878},
booktitle={Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo
(Japan)}, publisher={IEEE Computer Society}, author={Sauer, Stefan and Engels,
Gregor}, year={1999}, pages={80–87} }'
chicago: 'Sauer, Stefan, and Gregor Engels. “Extending UML for Modeling of Multimedia
Applications.” In Proceedings of the IEEE Symposium on Visual Languages (VL
1999), Tokyo (Japan), 80–87. Tokyo, Japan: IEEE Computer Society, 1999. http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878.'
ieee: S. Sauer and G. Engels, “Extending UML for Modeling of Multimedia Applications,”
in Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan),
1999, pp. 80–87.
mla: Sauer, Stefan, and Gregor Engels. “Extending UML for Modeling of Multimedia
Applications.” Proceedings of the IEEE Symposium on Visual Languages (VL 1999),
Tokyo (Japan), IEEE Computer Society, 1999, pp. 80–87, doi:http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878.
short: 'S. Sauer, G. Engels, in: Proceedings of the IEEE Symposium on Visual Languages
(VL 1999), Tokyo (Japan), IEEE Computer Society, Tokyo, Japan, 1999, pp. 80–87.'
date_created: 2019-02-20T14:38:09Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878
language:
- iso: eng
page: 80-87
place: Tokyo, Japan
publication: Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo
(Japan)
publisher: IEEE Computer Society
status: public
title: Extending UML for Modeling of Multimedia Applications
type: conference
user_id: '52534'
year: '1999'
...
---
_id: '8117'
author:
- first_name: M. J.
full_name: Salhi, M. J.
last_name: Salhi
- first_name: Stefan
full_name: Krauter, Stefan
id: '28836'
last_name: Krauter
orcid: 0000-0002-3594-260X
- first_name: R.
full_name: Lemoine, R.
last_name: Lemoine
- first_name: C.
full_name: Triebel, C.
last_name: Triebel
- first_name: S.
full_name: Schroer, S.
last_name: Schroer
- first_name: R. G.
full_name: Araújo, R. G.
last_name: Araújo
citation:
ama: 'Salhi MJ, Krauter S, Lemoine R, Triebel C, Schroer S, Araújo RG. Combined
Photovoltaic and Solar Thermal Systems for Facade Integration and Building Insulation.
In: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), .4.–9.
Juli 1999, II-88. ; 1999.'
apa: Salhi, M. J., Krauter, S., Lemoine, R., Triebel, C., Schroer, S., & Araújo,
R. G. (1999). Combined Photovoltaic and Solar Thermal Systems for Facade Integration
and Building Insulation. In Proceedings of the ISES Solar World Congress, Jerusalem
(Israel), .4.–9. Juli 1999, II-88.
bibtex: '@inproceedings{Salhi_Krauter_Lemoine_Triebel_Schroer_Araújo_1999, title={Combined
Photovoltaic and Solar Thermal Systems for Facade Integration and Building Insulation},
booktitle={Proceedings of the ISES Solar World Congress, Jerusalem (Israel), .4.–9.
Juli 1999, II-88.}, author={Salhi, M. J. and Krauter, Stefan and Lemoine, R. and
Triebel, C. and Schroer, S. and Araújo, R. G.}, year={1999} }'
chicago: Salhi, M. J., Stefan Krauter, R. Lemoine, C. Triebel, S. Schroer, and R.
G. Araújo. “Combined Photovoltaic and Solar Thermal Systems for Facade Integration
and Building Insulation.” In Proceedings of the ISES Solar World Congress,
Jerusalem (Israel), .4.–9. Juli 1999, II-88., 1999.
ieee: M. J. Salhi, S. Krauter, R. Lemoine, C. Triebel, S. Schroer, and R. G. Araújo,
“Combined Photovoltaic and Solar Thermal Systems for Facade Integration and Building
Insulation,” in Proceedings of the ISES Solar World Congress, Jerusalem (Israel),
.4.–9. Juli 1999, II-88., 1999.
mla: Salhi, M. J., et al. “Combined Photovoltaic and Solar Thermal Systems for Facade
Integration and Building Insulation.” Proceedings of the ISES Solar World Congress,
Jerusalem (Israel), .4.–9. Juli 1999, II-88., 1999.
short: 'M.J. Salhi, S. Krauter, R. Lemoine, C. Triebel, S. Schroer, R.G. Araújo,
in: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), .4.–9. Juli
1999, II-88., 1999.'
conference:
name: ISES Solar World Congress, Jerusalem (Israel), .4.–9. Juli 1999
date_created: 2019-02-27T07:01:04Z
date_updated: 2022-01-06T07:03:51Z
department:
- _id: '53'
extern: '1'
language:
- iso: eng
publication: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), .4.–9.
Juli 1999, II-88.
status: public
title: Combined Photovoltaic and Solar Thermal Systems for Facade Integration and
Building Insulation
type: conference
user_id: '16148'
year: '1999'
...
---
_id: '8118'
author:
- first_name: Stefan
full_name: Krauter, Stefan
id: '28836'
last_name: Krauter
orcid: 0000-0002-3594-260X
- first_name: R.
full_name: Stephan, R.
last_name: Stephan
- first_name: L.
full_name: Bastos, L.
last_name: Bastos
citation:
ama: 'Krauter S, Stephan R, Bastos L. Set-up of a Laboratory for Research and Education
in Solar Energy in Rio de Janeiro. In: Proceedings of the ISES Solar World
Congress, Jerusalem (Israel), 4.–9. Juli 1999, S. II-288. ; 1999.'
apa: Krauter, S., Stephan, R., & Bastos, L. (1999). Set-up of a Laboratory for
Research and Education in Solar Energy in Rio de Janeiro. In Proceedings of
the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, S. II-288.
bibtex: '@inproceedings{Krauter_Stephan_Bastos_1999, title={Set-up of a Laboratory
for Research and Education in Solar Energy in Rio de Janeiro}, booktitle={Proceedings
of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, S. II-288},
author={Krauter, Stefan and Stephan, R. and Bastos, L.}, year={1999} }'
chicago: Krauter, Stefan, R. Stephan, and L. Bastos. “Set-up of a Laboratory for
Research and Education in Solar Energy in Rio de Janeiro.” In Proceedings of
the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, S. II-288,
1999.
ieee: S. Krauter, R. Stephan, and L. Bastos, “Set-up of a Laboratory for Research
and Education in Solar Energy in Rio de Janeiro,” in Proceedings of the ISES
Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, S. II-288, 1999.
mla: Krauter, Stefan, et al. “Set-up of a Laboratory for Research and Education
in Solar Energy in Rio de Janeiro.” Proceedings of the ISES Solar World Congress,
Jerusalem (Israel), 4.–9. Juli 1999, S. II-288, 1999.
short: 'S. Krauter, R. Stephan, L. Bastos, in: Proceedings of the ISES Solar World
Congress, Jerusalem (Israel), 4.–9. Juli 1999, S. II-288, 1999.'
conference:
name: ISES Solar World Congress, Jerusalem (Israel), .4.–9. Juli 1999
date_created: 2019-02-27T07:16:08Z
date_updated: 2022-01-06T07:03:51Z
department:
- _id: '53'
extern: '1'
language:
- iso: eng
publication: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9.
Juli 1999, S. II-288
status: public
title: Set-up of a Laboratory for Research and Education in Solar Energy in Rio de
Janeiro
type: conference
user_id: '16148'
year: '1999'
...
---
_id: '8119'
author:
- first_name: Stefan
full_name: Krauter, Stefan
id: '28836'
last_name: Krauter
orcid: 0000-0002-3594-260X
- first_name: U.
full_name: Schmid, U.
last_name: Schmid
citation:
ama: 'Krauter S, Schmid U. Cooling and Less Reflections at Photovoltaic Modules
by a Frontside Water Film. In: Proceedings of the ISES Solar World Congress,
Jerusalem (Israel), 4.–9. Juli 1999,. ; 1999.'
apa: Krauter, S., & Schmid, U. (1999). Cooling and Less Reflections at Photovoltaic
Modules by a Frontside Water Film. In Proceedings of the ISES Solar World Congress,
Jerusalem (Israel), 4.–9. Juli 1999,.
bibtex: '@inproceedings{Krauter_Schmid_1999, title={Cooling and Less Reflections
at Photovoltaic Modules by a Frontside Water Film.}, booktitle={Proceedings of
the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999,}, author={Krauter,
Stefan and Schmid, U.}, year={1999} }'
chicago: Krauter, Stefan, and U. Schmid. “Cooling and Less Reflections at Photovoltaic
Modules by a Frontside Water Film.” In Proceedings of the ISES Solar World
Congress, Jerusalem (Israel), 4.–9. Juli 1999, 1999.
ieee: S. Krauter and U. Schmid, “Cooling and Less Reflections at Photovoltaic Modules
by a Frontside Water Film.,” in Proceedings of the ISES Solar World Congress,
Jerusalem (Israel), 4.–9. Juli 1999, 1999.
mla: Krauter, Stefan, and U. Schmid. “Cooling and Less Reflections at Photovoltaic
Modules by a Frontside Water Film.” Proceedings of the ISES Solar World Congress,
Jerusalem (Israel), 4.–9. Juli 1999, 1999.
short: 'S. Krauter, U. Schmid, in: Proceedings of the ISES Solar World Congress,
Jerusalem (Israel), 4.–9. Juli 1999, 1999.'
conference:
name: ISES Solar World Congress, Jerusalem (Israel), .4.–9. Juli 1999
date_created: 2019-02-27T07:19:32Z
date_updated: 2022-01-06T07:03:51Z
department:
- _id: '53'
extern: '1'
language:
- iso: eng
publication: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9.
Juli 1999,
status: public
title: Cooling and Less Reflections at Photovoltaic Modules by a Frontside Water Film.
type: conference
user_id: '16148'
year: '1999'
...
---
_id: '8120'
author:
- first_name: Stefan
full_name: Krauter, Stefan
id: '28836'
last_name: Krauter
orcid: 0000-0002-3594-260X
citation:
ama: 'Krauter S. The Use of Solar Energy: Considerations for Calculations of Greenhouse
Gas Reduction by Photovoltaics. In: Proceedings of the ISES Solar World Congress,
Jerusalem (Israel), 4.–9. Juli 1999, II-375. ; 1999.'
apa: 'Krauter, S. (1999). The Use of Solar Energy: Considerations for Calculations
of Greenhouse Gas Reduction by Photovoltaics. In Proceedings of the ISES Solar
World Congress, Jerusalem (Israel), 4.–9. Juli 1999, II-375.'
bibtex: '@inproceedings{Krauter_1999, title={The Use of Solar Energy: Considerations
for Calculations of Greenhouse Gas Reduction by Photovoltaics}, booktitle={Proceedings
of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, II-375.},
author={Krauter, Stefan}, year={1999} }'
chicago: 'Krauter, Stefan. “The Use of Solar Energy: Considerations for Calculations
of Greenhouse Gas Reduction by Photovoltaics.” In Proceedings of the ISES Solar
World Congress, Jerusalem (Israel), 4.–9. Juli 1999, II-375., 1999.'
ieee: 'S. Krauter, “The Use of Solar Energy: Considerations for Calculations of
Greenhouse Gas Reduction by Photovoltaics,” in Proceedings of the ISES Solar
World Congress, Jerusalem (Israel), 4.–9. Juli 1999, II-375., 1999.'
mla: 'Krauter, Stefan. “The Use of Solar Energy: Considerations for Calculations
of Greenhouse Gas Reduction by Photovoltaics.” Proceedings of the ISES Solar
World Congress, Jerusalem (Israel), 4.–9. Juli 1999, II-375., 1999.'
short: 'S. Krauter, in: Proceedings of the ISES Solar World Congress, Jerusalem
(Israel), 4.–9. Juli 1999, II-375., 1999.'
conference:
name: ISES Solar World Congress, Jerusalem (Israel), .4.–9. Juli 1999
date_created: 2019-02-27T07:23:25Z
date_updated: 2022-01-06T07:03:51Z
department:
- _id: '53'
extern: '1'
language:
- iso: eng
publication: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9.
Juli 1999, II-375.
status: public
title: 'The Use of Solar Energy: Considerations for Calculations of Greenhouse Gas
Reduction by Photovoltaics'
type: conference
user_id: '16148'
year: '1999'
...
---
_id: '8121'
author:
- first_name: Stefan
full_name: Krauter, Stefan
id: '28836'
last_name: Krauter
orcid: 0000-0002-3594-260X
- first_name: U.
full_name: Schmid, U.
last_name: Schmid
citation:
ama: 'Krauter S, Schmid U. Optical and Thermal Improvements of PV Performance by
a Flowing Film of Water at the Frontside of PV Generators. . In: Proceedings
of the 9th Sede Boquer Symposium on Solar Electricity Production, Sede Boquer
(Israel), 12.–13. Juli 1999, S. 123–126. ; 1999.'
apa: Krauter, S., & Schmid, U. (1999). Optical and Thermal Improvements of PV
Performance by a Flowing Film of Water at the Frontside of PV Generators. . In
Proceedings of the 9th Sede Boquer Symposium on Solar Electricity Production,
Sede Boquer (Israel), 12.–13. Juli 1999, S. 123–126.
bibtex: '@inproceedings{Krauter_Schmid_1999, title={Optical and Thermal Improvements
of PV Performance by a Flowing Film of Water at the Frontside of PV Generators.
}, booktitle={Proceedings of the 9th Sede Boquer Symposium on Solar Electricity
Production, Sede Boquer (Israel), 12.–13. Juli 1999, S. 123–126}, author={Krauter,
Stefan and Schmid, U.}, year={1999} }'
chicago: Krauter, Stefan, and U. Schmid. “Optical and Thermal Improvements of PV
Performance by a Flowing Film of Water at the Frontside of PV Generators. .” In
Proceedings of the 9th Sede Boquer Symposium on Solar Electricity Production,
Sede Boquer (Israel), 12.–13. Juli 1999, S. 123–126, 1999.
ieee: S. Krauter and U. Schmid, “Optical and Thermal Improvements of PV Performance
by a Flowing Film of Water at the Frontside of PV Generators. ,” in Proceedings
of the 9th Sede Boquer Symposium on Solar Electricity Production, Sede Boquer
(Israel), 12.–13. Juli 1999, S. 123–126, 1999.
mla: Krauter, Stefan, and U. Schmid. “Optical and Thermal Improvements of PV Performance
by a Flowing Film of Water at the Frontside of PV Generators. .” Proceedings
of the 9th Sede Boquer Symposium on Solar Electricity Production, Sede Boquer
(Israel), 12.–13. Juli 1999, S. 123–126, 1999.
short: 'S. Krauter, U. Schmid, in: Proceedings of the 9th Sede Boquer Symposium
on Solar Electricity Production, Sede Boquer (Israel), 12.–13. Juli 1999, S. 123–126,
1999.'
conference:
name: 9th Sede Boquer Symposium on Solar Electricity Production, Sede Boquer (Israel),
12.–13. Juli 1999
date_created: 2019-02-27T07:24:55Z
date_updated: 2022-01-06T07:03:51Z
department:
- _id: '53'
extern: '1'
language:
- iso: eng
publication: Proceedings of the 9th Sede Boquer Symposium on Solar Electricity Production,
Sede Boquer (Israel), 12.–13. Juli 1999, S. 123–126
status: public
title: 'Optical and Thermal Improvements of PV Performance by a Flowing Film of Water
at the Frontside of PV Generators. '
type: conference
user_id: '16148'
year: '1999'
...
---
_id: '8122'
author:
- first_name: Stefan
full_name: Krauter, Stefan
id: '28836'
last_name: Krauter
orcid: 0000-0002-3594-260X
citation:
ama: 'Krauter S. Híbridos Termo/Solares Fotovoltaicos (Combined Solar–Thermal/Photovoltaic
Systems). In: Proceedings of Workshop Energias Alternativas Para Produção de
Calor, Frio e Geração e Conservação de Energia Elétrica, UFSC, Florianópolis,
Santa Catarina (Brasilien), 6.–9. Dezember 1999. ; 1999.'
apa: Krauter, S. (1999). Híbridos Termo/Solares Fotovoltaicos (Combined Solar–Thermal/Photovoltaic
Systems). In Proceedings of Workshop Energias Alternativas para Produção de
Calor, Frio e Geração e Conservação de Energia Elétrica, UFSC, Florianópolis,
Santa Catarina (Brasilien), 6.–9. Dezember 1999.
bibtex: '@inproceedings{Krauter_1999, title={Híbridos Termo/Solares Fotovoltaicos
(Combined Solar–Thermal/Photovoltaic Systems)}, booktitle={Proceedings of Workshop
Energias Alternativas para Produção de Calor, Frio e Geração e Conservação de
Energia Elétrica, UFSC, Florianópolis, Santa Catarina (Brasilien), 6.–9. Dezember
1999}, author={Krauter, Stefan}, year={1999} }'
chicago: Krauter, Stefan. “Híbridos Termo/Solares Fotovoltaicos (Combined Solar–Thermal/Photovoltaic
Systems).” In Proceedings of Workshop Energias Alternativas Para Produção de
Calor, Frio e Geração e Conservação de Energia Elétrica, UFSC, Florianópolis,
Santa Catarina (Brasilien), 6.–9. Dezember 1999, 1999.
ieee: S. Krauter, “Híbridos Termo/Solares Fotovoltaicos (Combined Solar–Thermal/Photovoltaic
Systems),” in Proceedings of Workshop Energias Alternativas para Produção de
Calor, Frio e Geração e Conservação de Energia Elétrica, UFSC, Florianópolis,
Santa Catarina (Brasilien), 6.–9. Dezember 1999, 1999.
mla: Krauter, Stefan. “Híbridos Termo/Solares Fotovoltaicos (Combined Solar–Thermal/Photovoltaic
Systems).” Proceedings of Workshop Energias Alternativas Para Produção de Calor,
Frio e Geração e Conservação de Energia Elétrica, UFSC, Florianópolis, Santa Catarina
(Brasilien), 6.–9. Dezember 1999, 1999.
short: 'S. Krauter, in: Proceedings of Workshop Energias Alternativas Para Produção
de Calor, Frio e Geração e Conservação de Energia Elétrica, UFSC, Florianópolis,
Santa Catarina (Brasilien), 6.–9. Dezember 1999, 1999.'
conference:
name: ' Workshop Energias Alternativas para Produção de Calor, Frio e Geração e
Conservação de Energia Elétrica, UFSC, Florianópolis, Santa Catarina (Brasilien),
6.–9. Dezember 1999'
date_created: 2019-02-27T07:26:41Z
date_updated: 2022-01-06T07:03:51Z
department:
- _id: '53'
extern: '1'
language:
- iso: eng
publication: Proceedings of Workshop Energias Alternativas para Produção de Calor,
Frio e Geração e Conservação de Energia Elétrica, UFSC, Florianópolis, Santa Catarina
(Brasilien), 6.–9. Dezember 1999
status: public
title: Híbridos Termo/Solares Fotovoltaicos (Combined Solar–Thermal/Photovoltaic Systems)
type: conference
user_id: '16148'
year: '1999'
...
---
_id: '8123'
alternative_title:
- Krauter, S.; Araújo, G.; Schroer, S.; Salhi, M.; Lemoine, R; Triebel, C. und R.
Hanitsch
author:
- first_name: Stefan
full_name: Krauter, Stefan
id: '28836'
last_name: Krauter
orcid: 0000-0002-3594-260X
- first_name: G.
full_name: Araujo, G.
last_name: Araujo
- first_name: S.
full_name: Schroer, S.
last_name: Schroer
- first_name: M.
full_name: Salhi, M.
last_name: Salhi
- first_name: C.
full_name: Triebel, C.
last_name: Triebel
- first_name: Rolf
full_name: Hanitsch, Rolf
last_name: Hanitsch
citation:
ama: Krauter S, Araujo G, Schroer S, Salhi M, Triebel C, Hanitsch R. Combined PV
and Solar Thermal Systems for Facade Integration and Building Insulation. Solar
Energy. 1999;67(4-6):239-248.
apa: Krauter, S., Araujo, G., Schroer, S., Salhi, M., Triebel, C., & Hanitsch,
R. (1999). Combined PV and Solar Thermal Systems for Facade Integration and Building
Insulation. Solar Energy, 67(4–6), 239–248.
bibtex: '@article{Krauter_Araujo_Schroer_Salhi_Triebel_Hanitsch_1999, title={Combined
PV and Solar Thermal Systems for Facade Integration and Building Insulation},
volume={67}, number={4–6}, journal={Solar Energy}, author={Krauter, Stefan and
Araujo, G. and Schroer, S. and Salhi, M. and Triebel, C. and Hanitsch, Rolf},
year={1999}, pages={239–248} }'
chicago: 'Krauter, Stefan, G. Araujo, S. Schroer, M. Salhi, C. Triebel, and Rolf
Hanitsch. “Combined PV and Solar Thermal Systems for Facade Integration and Building
Insulation.” Solar Energy 67, no. 4–6 (1999): 239–48.'
ieee: S. Krauter, G. Araujo, S. Schroer, M. Salhi, C. Triebel, and R. Hanitsch,
“Combined PV and Solar Thermal Systems for Facade Integration and Building Insulation,”
Solar Energy, vol. 67, no. 4–6, pp. 239–248, 1999.
mla: Krauter, Stefan, et al. “Combined PV and Solar Thermal Systems for Facade Integration
and Building Insulation.” Solar Energy, vol. 67, no. 4–6, 1999, pp. 239–48.
short: S. Krauter, G. Araujo, S. Schroer, M. Salhi, C. Triebel, R. Hanitsch, Solar
Energy 67 (1999) 239–248.
date_created: 2019-02-27T07:30:23Z
date_updated: 2022-01-06T07:03:51Z
department:
- _id: '53'
extern: '1'
intvolume: ' 67'
issue: 4-6
language:
- iso: eng
page: 239-248
publication: Solar Energy
status: public
title: Combined PV and Solar Thermal Systems for Facade Integration and Building Insulation
type: journal_article
user_id: '16148'
volume: 67
year: '1999'
...
---
_id: '8203'
author:
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Mercé
full_name: Llabrés, Mercé
last_name: Llabrés
- first_name: Fernando
full_name: Orejas, Fernando
last_name: Orejas
citation:
ama: Ehrig H, Heckel R, Llabrés M, Orejas F. Basic Properties of Double Pullback
Graph Transitions. Technical University of Berlin; 1999.
apa: Ehrig, H., Heckel, R., Llabrés, M., & Orejas, F. (1999). Basic Properties
of Double Pullback Graph Transitions. Technical University of Berlin.
bibtex: '@book{Ehrig_Heckel_Llabrés_Orejas_1999, title={Basic Properties of Double
Pullback Graph Transitions}, publisher={Technical University of Berlin}, author={Ehrig,
Hartmut and Heckel, Reiko and Llabrés, Mercé and Orejas, Fernando}, year={1999}
}'
chicago: Ehrig, Hartmut, Reiko Heckel, Mercé Llabrés, and Fernando Orejas. Basic
Properties of Double Pullback Graph Transitions. Technical University of Berlin,
1999.
ieee: H. Ehrig, R. Heckel, M. Llabrés, and F. Orejas, Basic Properties of Double
Pullback Graph Transitions. Technical University of Berlin, 1999.
mla: Ehrig, Hartmut, et al. Basic Properties of Double Pullback Graph Transitions.
Technical University of Berlin, 1999.
short: H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, Basic Properties of Double Pullback
Graph Transitions, Technical University of Berlin, 1999.
date_created: 2019-03-03T16:13:00Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
publisher: Technical University of Berlin
report_number: 99-02
status: public
title: Basic Properties of Double Pullback Graph Transitions
type: report
user_id: '52534'
year: '1999'
...
---
_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'
...