---
_id: '17181'
abstract:
- lang: eng
text: The classic mapping metaphor posits that children learn a word by mapping
it onto a concept of an object or event. However, we believe that a mapping metaphor
cannot account for word learning, because even though children focus attention
on objects, they do not necessarily remember the connection between the word and
the referent unless it is framed pragmatically, that is, within a task. Our theoretical
paper proposes an alternative mechanism for word learning. Our main premise is
that word learning occurs as children accomplish a goal in cooperation with a
partner. We follow Bruner's (1983) idea and further specify pragmatic frames as
the learning units that drive language acquisition and cognitive development.
These units consist of a sequence of actions and verbal behaviors that are co-constructed
with a partner to achieve a joint goal. We elaborate on this alternative, offer
some initial parametrizations of the concept, and embed it in current language
learning approaches.
author:
- first_name: Katharina
full_name: Rohlfing, Katharina
id: '50352'
last_name: Rohlfing
- first_name: Britta
full_name: Wrede, Britta
last_name: Wrede
- first_name: Anna-Lisa
full_name: Vollmer, Anna-Lisa
last_name: Vollmer
- first_name: Pierre-Yves
full_name: Oudeyer, Pierre-Yves
last_name: Oudeyer
citation:
ama: 'Rohlfing K, Wrede B, Vollmer A-L, Oudeyer P-Y. An Alternative to Mapping a
Word onto a Concept in Language Acquisition: Pragmatic Frames. FRONTIERS IN
PSYCHOLOGY. 2016;7. doi:10.3389/fpsyg.2016.00470'
apa: 'Rohlfing, K., Wrede, B., Vollmer, A.-L., & Oudeyer, P.-Y. (2016). An Alternative
to Mapping a Word onto a Concept in Language Acquisition: Pragmatic Frames. FRONTIERS
IN PSYCHOLOGY, 7. https://doi.org/10.3389/fpsyg.2016.00470'
bibtex: '@article{Rohlfing_Wrede_Vollmer_Oudeyer_2016, title={An Alternative to
Mapping a Word onto a Concept in Language Acquisition: Pragmatic Frames}, volume={7},
DOI={10.3389/fpsyg.2016.00470},
journal={FRONTIERS IN PSYCHOLOGY}, publisher={Frontiers Media Sa}, author={Rohlfing,
Katharina and Wrede, Britta and Vollmer, Anna-Lisa and Oudeyer, Pierre-Yves},
year={2016} }'
chicago: 'Rohlfing, Katharina, Britta Wrede, Anna-Lisa Vollmer, and Pierre-Yves
Oudeyer. “An Alternative to Mapping a Word onto a Concept in Language Acquisition:
Pragmatic Frames.” FRONTIERS IN PSYCHOLOGY 7 (2016). https://doi.org/10.3389/fpsyg.2016.00470.'
ieee: 'K. Rohlfing, B. Wrede, A.-L. Vollmer, and P.-Y. Oudeyer, “An Alternative
to Mapping a Word onto a Concept in Language Acquisition: Pragmatic Frames,” FRONTIERS
IN PSYCHOLOGY, vol. 7, 2016, doi: 10.3389/fpsyg.2016.00470.'
mla: 'Rohlfing, Katharina, et al. “An Alternative to Mapping a Word onto a Concept
in Language Acquisition: Pragmatic Frames.” FRONTIERS IN PSYCHOLOGY, vol.
7, Frontiers Media Sa, 2016, doi:10.3389/fpsyg.2016.00470.'
short: K. Rohlfing, B. Wrede, A.-L. Vollmer, P.-Y. Oudeyer, FRONTIERS IN PSYCHOLOGY
7 (2016).
date_created: 2020-06-24T13:00:57Z
date_updated: 2023-02-01T16:04:21Z
department:
- _id: '749'
doi: 10.3389/fpsyg.2016.00470
intvolume: ' 7'
keyword:
- language acquisition
- pragmatics
- infants' social learning
- frames
- learning and memory
- developmental robotics
language:
- iso: eng
publication: FRONTIERS IN PSYCHOLOGY
publication_identifier:
issn:
- 1664-1078
publisher: Frontiers Media Sa
status: public
title: 'An Alternative to Mapping a Word onto a Concept in Language Acquisition: Pragmatic
Frames'
type: journal_article
user_id: '14931'
volume: 7
year: '2016'
...
---
_id: '46148'
author:
- first_name: Sascha
full_name: Wolfer, Sascha
last_name: Wolfer
- first_name: Thomas
full_name: Bartz, Thomas
last_name: Bartz
- first_name: Tassja
full_name: Weber, Tassja
id: '89571'
last_name: Weber
- first_name: Andrea
full_name: Abel, Andrea
last_name: Abel
- first_name: Christian M
full_name: Meyer, Christian M
last_name: Meyer
- first_name: Carolin
full_name: Müller-Spitzer, Carolin
last_name: Müller-Spitzer
- first_name: Angelika
full_name: Storrer, Angelika
last_name: Storrer
citation:
ama: Wolfer S, Bartz T, Weber T, et al. The Effectiveness of Lexicographic Tools
for Optimising Written L1-Texts. International Journal of Lexicography.
2016;31(1):1-28. doi:10.1093/ijl/ecw038
apa: Wolfer, S., Bartz, T., Weber, T., Abel, A., Meyer, C. M., Müller-Spitzer, C.,
& Storrer, A. (2016). The Effectiveness of Lexicographic Tools for Optimising
Written L1-Texts. International Journal of Lexicography, 31(1),
1–28. https://doi.org/10.1093/ijl/ecw038
bibtex: '@article{Wolfer_Bartz_Weber_Abel_Meyer_Müller-Spitzer_Storrer_2016, title={The
Effectiveness of Lexicographic Tools for Optimising Written L1-Texts}, volume={31},
DOI={10.1093/ijl/ecw038}, number={1},
journal={International Journal of Lexicography}, publisher={Oxford University
Press (OUP)}, author={Wolfer, Sascha and Bartz, Thomas and Weber, Tassja and Abel,
Andrea and Meyer, Christian M and Müller-Spitzer, Carolin and Storrer, Angelika},
year={2016}, pages={1–28} }'
chicago: 'Wolfer, Sascha, Thomas Bartz, Tassja Weber, Andrea Abel, Christian M Meyer,
Carolin Müller-Spitzer, and Angelika Storrer. “The Effectiveness of Lexicographic
Tools for Optimising Written L1-Texts.” International Journal of Lexicography
31, no. 1 (2016): 1–28. https://doi.org/10.1093/ijl/ecw038.'
ieee: 'S. Wolfer et al., “The Effectiveness of Lexicographic Tools for Optimising
Written L1-Texts,” International Journal of Lexicography, vol. 31, no.
1, pp. 1–28, 2016, doi: 10.1093/ijl/ecw038.'
mla: Wolfer, Sascha, et al. “The Effectiveness of Lexicographic Tools for Optimising
Written L1-Texts.” International Journal of Lexicography, vol. 31, no.
1, Oxford University Press (OUP), 2016, pp. 1–28, doi:10.1093/ijl/ecw038.
short: S. Wolfer, T. Bartz, T. Weber, A. Abel, C.M. Meyer, C. Müller-Spitzer, A.
Storrer, International Journal of Lexicography 31 (2016) 1–28.
date_created: 2023-07-26T07:03:57Z
date_updated: 2023-07-26T07:44:09Z
doi: 10.1093/ijl/ecw038
extern: '1'
intvolume: ' 31'
issue: '1'
keyword:
- Language and Linguistics
language:
- iso: eng
page: 1-28
publication: International Journal of Lexicography
publication_identifier:
issn:
- 0950-3846
- 1477-4577
publication_status: published
publisher: Oxford University Press (OUP)
status: public
title: The Effectiveness of Lexicographic Tools for Optimising Written L1-Texts
type: journal_article
user_id: '89571'
volume: 31
year: '2016'
...
---
_id: '57965'
author:
- first_name: Julia
full_name: Pieczewski, Julia
last_name: Pieczewski
- first_name: Charlotte
full_name: Nettekoven, Charlotte
last_name: Nettekoven
- first_name: Volker
full_name: Neuschmelting, Volker
last_name: Neuschmelting
- first_name: Kristina
full_name: Thiele, Kristina
last_name: Thiele
- first_name: Roland
full_name: Goldbrunner, Roland
last_name: Goldbrunner
- first_name: Carolin
full_name: Weiss Lucas, Carolin
last_name: Weiss Lucas
citation:
ama: 'Pieczewski J, Nettekoven C, Neuschmelting V, Thiele K, Goldbrunner R, Weiss
Lucas C. Retest-reliability and tolerability of 10, 30 and 50 Hz repetitive transcranial
magnetic stimulation (rTMS) for language mapping: a preclinical study. In: ; 2016.
doi:10.3205/16dgnc323'
apa: 'Pieczewski, J., Nettekoven, C., Neuschmelting, V., Thiele, K., Goldbrunner,
R., & Weiss Lucas, C. (2016). Retest-reliability and tolerability of 10,
30 and 50 Hz repetitive transcranial magnetic stimulation (rTMS) for language
mapping: a preclinical study. https://doi.org/10.3205/16dgnc323'
bibtex: '@inproceedings{Pieczewski_Nettekoven_Neuschmelting_Thiele_Goldbrunner_Weiss
Lucas_2016, title={Retest-reliability and tolerability of 10, 30 and 50 Hz repetitive
transcranial magnetic stimulation (rTMS) for language mapping: a preclinical study},
DOI={10.3205/16dgnc323}, author={Pieczewski,
Julia and Nettekoven, Charlotte and Neuschmelting, Volker and Thiele, Kristina
and Goldbrunner, Roland and Weiss Lucas, Carolin}, year={2016} }'
chicago: 'Pieczewski, Julia, Charlotte Nettekoven, Volker Neuschmelting, Kristina
Thiele, Roland Goldbrunner, and Carolin Weiss Lucas. “Retest-Reliability and Tolerability
of 10, 30 and 50 Hz Repetitive Transcranial Magnetic Stimulation (RTMS) for Language
Mapping: A Preclinical Study,” 2016. https://doi.org/10.3205/16dgnc323.'
ieee: 'J. Pieczewski, C. Nettekoven, V. Neuschmelting, K. Thiele, R. Goldbrunner,
and C. Weiss Lucas, “Retest-reliability and tolerability of 10, 30 and 50 Hz repetitive
transcranial magnetic stimulation (rTMS) for language mapping: a preclinical study,”
2016, doi: 10.3205/16dgnc323.'
mla: 'Pieczewski, Julia, et al. Retest-Reliability and Tolerability of 10, 30
and 50 Hz Repetitive Transcranial Magnetic Stimulation (RTMS) for Language Mapping:
A Preclinical Study. 2016, doi:10.3205/16dgnc323.'
short: 'J. Pieczewski, C. Nettekoven, V. Neuschmelting, K. Thiele, R. Goldbrunner,
C. Weiss Lucas, in: 2016.'
date_created: 2025-01-06T12:11:42Z
date_updated: 2026-04-13T11:35:27Z
department:
- _id: '890'
doi: 10.3205/16dgnc323
extern: '1'
keyword:
- 610 Medical sciences
- language mapping
- Medicine
- retest-reliability
- rTMS
language:
- iso: eng
status: public
title: 'Retest-reliability and tolerability of 10, 30 and 50 Hz repetitive transcranial
magnetic stimulation (rTMS) for language mapping: a preclinical study'
type: conference_abstract
user_id: '61071'
year: '2016'
...
---
_id: '11922'
abstract:
- lang: eng
text: 'Besides the core learning algorithm itself, one major question in machine
learning is how to best encode given training data such that the learning technology
can efficiently learn based thereon and generalize to novel data. While classical
approaches often rely on a hand coded data representation, the topic of autonomous
representation or feature learning plays a major role in modern learning architectures.
The goal of this contribution is to give an overview about different principles
of autonomous feature learning, and to exemplify two principles based on two recent
examples: autonomous metric learning for sequences, and autonomous learning of
a deep representation for spoken language, respectively.'
author:
- first_name: Oliver
full_name: Walter, Oliver
last_name: Walter
- first_name: Reinhold
full_name: Haeb-Umbach, Reinhold
id: '242'
last_name: Haeb-Umbach
- first_name: Bassam
full_name: Mokbel, Bassam
last_name: Mokbel
- first_name: Benjamin
full_name: Paassen, Benjamin
last_name: Paassen
- first_name: Barbara
full_name: Hammer, Barbara
last_name: Hammer
citation:
ama: Walter O, Haeb-Umbach R, Mokbel B, Paassen B, Hammer B. Autonomous Learning
of Representations. KI - Kuenstliche Intelligenz. 2015:1-13. doi:http://dx.doi.org/10.1007/s13218-015-0372-1
apa: Walter, O., Haeb-Umbach, R., Mokbel, B., Paassen, B., & Hammer, B. (2015).
Autonomous Learning of Representations. KI - Kuenstliche Intelligenz, 1–13.
http://dx.doi.org/10.1007/s13218-015-0372-1
bibtex: '@article{Walter_Haeb-Umbach_Mokbel_Paassen_Hammer_2015, title={Autonomous
Learning of Representations}, DOI={http://dx.doi.org/10.1007/s13218-015-0372-1},
journal={KI - Kuenstliche Intelligenz}, author={Walter, Oliver and Haeb-Umbach,
Reinhold and Mokbel, Bassam and Paassen, Benjamin and Hammer, Barbara}, year={2015},
pages={1–13} }'
chicago: Walter, Oliver, Reinhold Haeb-Umbach, Bassam Mokbel, Benjamin Paassen,
and Barbara Hammer. “Autonomous Learning of Representations.” KI - Kuenstliche
Intelligenz, 2015, 1–13. http://dx.doi.org/10.1007/s13218-015-0372-1.
ieee: O. Walter, R. Haeb-Umbach, B. Mokbel, B. Paassen, and B. Hammer, “Autonomous
Learning of Representations,” KI - Kuenstliche Intelligenz, pp. 1–13, 2015.
mla: Walter, Oliver, et al. “Autonomous Learning of Representations.” KI - Kuenstliche
Intelligenz, 2015, pp. 1–13, doi:http://dx.doi.org/10.1007/s13218-015-0372-1.
short: O. Walter, R. Haeb-Umbach, B. Mokbel, B. Paassen, B. Hammer, KI - Kuenstliche
Intelligenz (2015) 1–13.
date_created: 2019-07-12T05:30:51Z
date_updated: 2022-01-06T06:51:12Z
department:
- _id: '54'
doi: http://dx.doi.org/10.1007/s13218-015-0372-1
keyword:
- Representation learning
- Metric learning
- Deep representation
- Spoken language
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://groups.uni-paderborn.de/nt/pubs/2015/WaHaMoPaHa15.pdf
oa: '1'
page: 1-13
publication: KI - Kuenstliche Intelligenz
status: public
title: Autonomous Learning of Representations
type: journal_article
user_id: '44006'
year: '2015'
...
---
_id: '37461'
author:
- first_name: Susanne
full_name: Seifert, Susanne
id: '97270'
last_name: Seifert
- first_name: Susanne
full_name: Schwab, Susanne
last_name: Schwab
- first_name: Barbara
full_name: Gasteiger-Klicpera, Barbara
last_name: Gasteiger-Klicpera
citation:
ama: Seifert S, Schwab S, Gasteiger-Klicpera B. Effects of a Whole-Class Reading
Program Designed for Different Reading Levels and the Learning Needs of L1 and
L2 Children. Reading & Writing Quarterly. 2015;32(6):499-526. doi:10.1080/10573569.2015.1029176
apa: Seifert, S., Schwab, S., & Gasteiger-Klicpera, B. (2015). Effects of a
Whole-Class Reading Program Designed for Different Reading Levels and the Learning
Needs of L1 and L2 Children. Reading & Writing Quarterly, 32(6),
499–526. https://doi.org/10.1080/10573569.2015.1029176
bibtex: '@article{Seifert_Schwab_Gasteiger-Klicpera_2015, title={Effects of a Whole-Class
Reading Program Designed for Different Reading Levels and the Learning Needs of
L1 and L2 Children}, volume={32}, DOI={10.1080/10573569.2015.1029176},
number={6}, journal={Reading & Writing Quarterly}, publisher={Informa
UK Limited}, author={Seifert, Susanne and Schwab, Susanne and Gasteiger-Klicpera,
Barbara}, year={2015}, pages={499–526} }'
chicago: 'Seifert, Susanne, Susanne Schwab, and Barbara Gasteiger-Klicpera. “Effects
of a Whole-Class Reading Program Designed for Different Reading Levels and the
Learning Needs of L1 and L2 Children.” Reading & Writing Quarterly
32, no. 6 (2015): 499–526. https://doi.org/10.1080/10573569.2015.1029176.'
ieee: 'S. Seifert, S. Schwab, and B. Gasteiger-Klicpera, “Effects of a Whole-Class
Reading Program Designed for Different Reading Levels and the Learning Needs of
L1 and L2 Children,” Reading & Writing Quarterly, vol. 32, no.
6, pp. 499–526, 2015, doi: 10.1080/10573569.2015.1029176.'
mla: Seifert, Susanne, et al. “Effects of a Whole-Class Reading Program Designed
for Different Reading Levels and the Learning Needs of L1 and L2 Children.” Reading
& Writing Quarterly, vol. 32, no. 6, Informa UK Limited, 2015, pp.
499–526, doi:10.1080/10573569.2015.1029176.
short: S. Seifert, S. Schwab, B. Gasteiger-Klicpera, Reading & Writing Quarterly
32 (2015) 499–526.
date_created: 2023-01-18T16:28:58Z
date_updated: 2023-01-18T16:50:29Z
department:
- _id: '645'
doi: 10.1080/10573569.2015.1029176
intvolume: ' 32'
issue: '6'
keyword:
- Linguistics and Language
- Education
language:
- iso: eng
page: 499-526
publication: Reading & Writing Quarterly
publication_identifier:
issn:
- 1057-3569
- 1521-0693
publication_status: published
publisher: Informa UK Limited
status: public
title: Effects of a Whole-Class Reading Program Designed for Different Reading Levels
and the Learning Needs of L1 and L2 Children
type: journal_article
user_id: '97270'
volume: 32
year: '2015'
...
---
_id: '46434'
abstract:
- lang: eng
text: "Abstract\r\n When looking
at seminal works in contemporary literary criticism (exemplary: Martinez/Scheffel
2012), it is apparent that the subject of “time”, or, “the representation of time”,
receives a great deal of significance. Regarding the ontogenesis of literary research
discourse over the past 50 years, Käte Hamburger’s “The Logic of Poetry” (original
“Die Logik der Dichtung”, 1957) is a work that has fundamentally shaped the research
discourse. But not only within the field of literary studies has the subject of
“tense and narration” has been received and discussed – also the field of linguistics
also demonstrates an intensive engagement with the subject of narration (cf. e. g.
Weinrich 1964, Ehlich 1980) and tense. For example, Rolf Thieroffs monograph “The
finite Verb in German: Tense – Mood – Distance” (original “Das finite Verb im
Deutschen: Tempus – Modus – Distanz”, 1992) elaborates a conceptualisation of
the German temporal system with reference to Weinrich’s representation of time
in fiction and non-fiction texts (cf. Thieroff 1992, 298). This contribution joins
at the interface between linguistic research on tenses and literary research on
narration. The aim is to show that there is an interaction between choice of tense
and narrative context, or, in other words: the use of different tenses activates
different states of consciousness, and thereby different ‘forms’ of narration
are created. The latter are captured from empirical data arising from language
acquisition and speech genesis as well as, in accordance with Iser (1991) and
Sartre (1940/1994), not in a dichotomic fashion but as a trias-system, and are
opened for discussion. The remodeling does not regard the two poles of “everyday
narration” and “literary narration” as contrasting, but rather as a continuum,
which can show transitions relative to the genre of the text and the speech competence
of the narrator."
author:
- first_name: Elvira
full_name: Topalović, Elvira
id: '23088'
last_name: Topalović
- first_name: Benjamin
full_name: Uhl, Benjamin
last_name: Uhl
citation:
ama: Topalović E, Uhl B. Linguistik des literarischen Erzählens. Zeitschrift
für germanistische Linguistik. 2014;42(1):26-49. doi:10.1515/zgl-2014-0002
apa: Topalović, E., & Uhl, B. (2014). Linguistik des literarischen Erzählens.
Zeitschrift für germanistische Linguistik, 42(1), 26–49. https://doi.org/10.1515/zgl-2014-0002
bibtex: '@article{Topalović_Uhl_2014, title={Linguistik des literarischen Erzählens},
volume={42}, DOI={10.1515/zgl-2014-0002},
number={1}, journal={Zeitschrift für germanistische Linguistik}, publisher={Walter
de Gruyter GmbH}, author={Topalović, Elvira and Uhl, Benjamin}, year={2014}, pages={26–49}
}'
chicago: 'Topalović, Elvira, and Benjamin Uhl. “Linguistik des literarischen Erzählens.”
Zeitschrift für germanistische Linguistik 42, no. 1 (2014): 26–49. https://doi.org/10.1515/zgl-2014-0002.'
ieee: 'E. Topalović and B. Uhl, “Linguistik des literarischen Erzählens,” Zeitschrift
für germanistische Linguistik, vol. 42, no. 1, pp. 26–49, 2014, doi: 10.1515/zgl-2014-0002.'
mla: Topalović, Elvira, and Benjamin Uhl. “Linguistik des literarischen Erzählens.”
Zeitschrift für germanistische Linguistik, vol. 42, no. 1, Walter de Gruyter
GmbH, 2014, pp. 26–49, doi:10.1515/zgl-2014-0002.
short: E. Topalović, B. Uhl, Zeitschrift für germanistische Linguistik 42 (2014)
26–49.
date_created: 2023-08-07T08:55:10Z
date_updated: 2023-12-08T16:01:42Z
ddc:
- '410'
- '430'
department:
- _id: '36'
- _id: '5'
- _id: '463'
doi: 10.1515/zgl-2014-0002
file:
- access_level: closed
content_type: application/pdf
creator: topal
date_created: 2023-12-08T16:01:00Z
date_updated: 2023-12-08T16:01:00Z
file_id: '49557'
file_name: TOPALOVIC-UHL-2014-Linguistik-literarisches-Erzhlen.pdf
file_size: 223776
relation: main_file
success: 1
file_date_updated: 2023-12-08T16:01:00Z
has_accepted_license: '1'
intvolume: ' 42'
issue: '1'
keyword:
- Linguistics and Language
- Developmental and Educational Psychology
- Language and Linguistics
language:
- iso: ger
page: 26-49
publication: Zeitschrift für germanistische Linguistik
publication_identifier:
issn:
- 1613-0626
- 0301-3294
publication_status: published
publisher: Walter de Gruyter GmbH
status: public
title: Linguistik des literarischen Erzählens
type: journal_article
user_id: '23088'
volume: 42
year: '2014'
...
---
_id: '28353'
abstract:
- lang: eng
text: "This article aims to reconceptualize pronunciation teaching and learning
according to the tenets of the 2007 MLA Report and its call for translingual/transcultural
competence. The critical discussion of current teaching and research practices
shows that the realm of pronunciation has benefitted little from debates on intercultural
language learning. In order to link the teaching of pronunciation with learner
needs in intercultural encounters, this article develops the concept of pronunciation‐as‐language.
The theoretical exploration of this concept is supported by a narrative analysis
of study-abroad learners’ accounts, contrasting learners’ perceptions of teaching
practices with the complex role pronunciation plays in second language‐mediated
interactions. The results underline the importance of pedagogical approaches that
encourage the critical reflection on and creative use of pronunciation beyond
structural elements and native‐speaker\r\nnorms."
article_type: original
author:
- first_name: Mareike
full_name: Müller, Mareike
id: '71540'
last_name: Müller
citation:
ama: 'Müller M. Conceptualizing pronunciation as part of translingual/transcultural
competence: New impulses for SLA research and the L2 classroom. Foreign Language
Annals. 2013;46(2):213-229. doi:10.1111/flan.12024'
apa: 'Müller, M. (2013). Conceptualizing pronunciation as part of translingual/transcultural
competence: New impulses for SLA research and the L2 classroom. Foreign Language
Annals, 46(2), 213–229. https://doi.org/10.1111/flan.12024'
bibtex: '@article{Müller_2013, title={Conceptualizing pronunciation as part of translingual/transcultural
competence: New impulses for SLA research and the L2 classroom}, volume={46},
DOI={10.1111/flan.12024}, number={2},
journal={Foreign Language Annals}, author={Müller, Mareike}, year={2013}, pages={213–229}
}'
chicago: 'Müller, Mareike. “Conceptualizing Pronunciation as Part of Translingual/Transcultural
Competence: New Impulses for SLA Research and the L2 Classroom.” Foreign Language
Annals 46, no. 2 (2013): 213–29. https://doi.org/10.1111/flan.12024.'
ieee: 'M. Müller, “Conceptualizing pronunciation as part of translingual/transcultural
competence: New impulses for SLA research and the L2 classroom,” Foreign Language
Annals, vol. 46, no. 2, pp. 213–229, 2013, doi: 10.1111/flan.12024.'
mla: 'Müller, Mareike. “Conceptualizing Pronunciation as Part of Translingual/Transcultural
Competence: New Impulses for SLA Research and the L2 Classroom.” Foreign Language
Annals, vol. 46, no. 2, 2013, pp. 213–29, doi:10.1111/flan.12024.'
short: M. Müller, Foreign Language Annals 46 (2013) 213–229.
date_created: 2021-12-07T12:37:11Z
date_updated: 2022-01-06T06:58:02Z
department:
- _id: '468'
doi: 10.1111/flan.12024
extern: '1'
intvolume: ' 46'
issue: '2'
keyword:
- critical language awareness
- native‐speaker ideal
- pronunciation
- study abroad
- translingual and transcultural competence
language:
- iso: eng
page: 213-229
publication: Foreign Language Annals
publication_identifier:
issn:
- 0015-718X
- 1944-9720
publication_status: published
status: public
title: 'Conceptualizing pronunciation as part of translingual/transcultural competence:
New impulses for SLA research and the L2 classroom'
type: journal_article
user_id: '71540'
volume: 46
year: '2013'
...
---
_id: '17218'
author:
- first_name: Britta
full_name: Wrede, Britta
last_name: Wrede
- first_name: Katharina
full_name: Rohlfing, Katharina
id: '50352'
last_name: Rohlfing
- first_name: Jochen J.
full_name: Steil, Jochen J.
last_name: Steil
- first_name: Sebastian
full_name: Wrede, Sebastian
last_name: Wrede
- first_name: Pierre-Yves
full_name: Oudeyer, Pierre-Yves
last_name: Oudeyer
- first_name: Jun
full_name: Tani, Jun
last_name: Tani
citation:
ama: 'Wrede B, Rohlfing K, Steil JJ, Wrede S, Oudeyer P-Y, Tani J. Towards robots
with teleological action and language understanding. In: Ugur E, Nagai Y, Oztop
E, Asada M, eds. {Humanoids 2012 Workshop on Developmental Robotics: Can Developmental
Robotics Yield Human-like Cognitive Abilities?}. ; 2012.'
apa: 'Wrede, B., Rohlfing, K., Steil, J. J., Wrede, S., Oudeyer, P.-Y., & Tani,
J. (2012). Towards robots with teleological action and language understanding.
In E. Ugur, Y. Nagai, E. Oztop, & M. Asada (Eds.), {Humanoids 2012 Workshop
on Developmental Robotics: Can developmental robotics yield human-like cognitive
abilities?}.'
bibtex: '@inproceedings{Wrede_Rohlfing_Steil_Wrede_Oudeyer_Tani_2012, title={Towards
robots with teleological action and language understanding}, booktitle={{Humanoids
2012 Workshop on Developmental Robotics: Can developmental robotics yield human-like
cognitive abilities?}}, author={Wrede, Britta and Rohlfing, Katharina and Steil,
Jochen J. and Wrede, Sebastian and Oudeyer, Pierre-Yves and Tani, Jun}, editor={Ugur,
Emre and Nagai, Yukie and Oztop, Erhan and Asada, Minoru}, year={2012} }'
chicago: 'Wrede, Britta, Katharina Rohlfing, Jochen J. Steil, Sebastian Wrede, Pierre-Yves
Oudeyer, and Jun Tani. “Towards Robots with Teleological Action and Language Understanding.”
In {Humanoids 2012 Workshop on Developmental Robotics: Can Developmental Robotics
Yield Human-like Cognitive Abilities?}, edited by Emre Ugur, Yukie Nagai,
Erhan Oztop, and Minoru Asada, 2012.'
ieee: 'B. Wrede, K. Rohlfing, J. J. Steil, S. Wrede, P.-Y. Oudeyer, and J. Tani,
“Towards robots with teleological action and language understanding,” in {Humanoids
2012 Workshop on Developmental Robotics: Can developmental robotics yield human-like
cognitive abilities?}, 2012.'
mla: 'Wrede, Britta, et al. “Towards Robots with Teleological Action and Language
Understanding.” {Humanoids 2012 Workshop on Developmental Robotics: Can Developmental
Robotics Yield Human-like Cognitive Abilities?}, edited by Emre Ugur et al.,
2012.'
short: 'B. Wrede, K. Rohlfing, J.J. Steil, S. Wrede, P.-Y. Oudeyer, J. Tani, in:
E. Ugur, Y. Nagai, E. Oztop, M. Asada (Eds.), {Humanoids 2012 Workshop on Developmental
Robotics: Can Developmental Robotics Yield Human-like Cognitive Abilities?}, 2012.'
date_created: 2020-06-24T13:01:40Z
date_updated: 2023-02-01T16:19:06Z
department:
- _id: '749'
editor:
- first_name: Emre
full_name: Ugur, Emre
last_name: Ugur
- first_name: Yukie
full_name: Nagai, Yukie
last_name: Nagai
- first_name: Erhan
full_name: Oztop, Erhan
last_name: Oztop
- first_name: Minoru
full_name: Asada, Minoru
last_name: Asada
keyword:
- language acquisition
- teleological
- compositional
- robotics
language:
- iso: eng
publication: '{Humanoids 2012 Workshop on Developmental Robotics: Can developmental
robotics yield human-like cognitive abilities?}'
status: public
title: Towards robots with teleological action and language understanding
type: conference
user_id: '14931'
year: '2012'
...
---
_id: '28449'
abstract:
- lang: eng
text: This article investigates forms of address, in particular the T/V distinction
in German, in conversational interviews with German-speaking immigrants to English-speaking
Canada and their descendants. From among 77 interviews conducted in two urban
areas in Canada, we discuss instances of both the interactional use of and metalinguistic
comments on forms of address. Our analysis is largely guided by conversation analysis
and interactional sociolinguistics (e.g. Goodwin & Heritage 1990). Using Clyne,
Norrby and Warren’s (2009) model of address as a backdrop, we investigate the
construction of group identity and group socialization through the lens of positioning
theory (e.g. van Langenhove & Harré 1993; Dailey-O’Cain & Liebscher 2009). This
combination of analytical tools can explain shifts in both usage of and attitudes
toward the T/V distinction that cannot be explained through language attrition
arguments alone.
article_type: original
author:
- first_name: Grit
full_name: Liebscher, Grit
last_name: Liebscher
- first_name: Jennifer
full_name: Dailey-O’Cain, Jennifer
last_name: Dailey-O’Cain
- first_name: Mareike
full_name: Müller, Mareike
id: '71540'
last_name: Müller
- first_name: Tetyana
full_name: Reichert, Tetyana
last_name: Reichert
citation:
ama: Liebscher G, Dailey-O’Cain J, Müller M, Reichert T. Negotiating identities
through pronouns of address in an immigrant community. Pragmatics Quarterly
Publication of the International Pragmatics Association (IPrA). 2010;20(3):375-400.
doi:10.1075/prag.20.3.04lie
apa: Liebscher, G., Dailey-O’Cain, J., Müller, M., & Reichert, T. (2010). Negotiating
identities through pronouns of address in an immigrant community. Pragmatics.
Quarterly Publication of the International Pragmatics Association (IPrA),
20(3), 375–400. https://doi.org/10.1075/prag.20.3.04lie
bibtex: '@article{Liebscher_Dailey-O’Cain_Müller_Reichert_2010, title={Negotiating
identities through pronouns of address in an immigrant community}, volume={20},
DOI={10.1075/prag.20.3.04lie},
number={3}, journal={Pragmatics. Quarterly Publication of the International Pragmatics
Association (IPrA)}, author={Liebscher, Grit and Dailey-O’Cain, Jennifer and Müller,
Mareike and Reichert, Tetyana}, year={2010}, pages={375–400} }'
chicago: 'Liebscher, Grit, Jennifer Dailey-O’Cain, Mareike Müller, and Tetyana Reichert.
“Negotiating Identities through Pronouns of Address in an Immigrant Community.”
Pragmatics. Quarterly Publication of the International Pragmatics Association
(IPrA) 20, no. 3 (2010): 375–400. https://doi.org/10.1075/prag.20.3.04lie.'
ieee: 'G. Liebscher, J. Dailey-O’Cain, M. Müller, and T. Reichert, “Negotiating
identities through pronouns of address in an immigrant community,” Pragmatics.
Quarterly Publication of the International Pragmatics Association (IPrA),
vol. 20, no. 3, pp. 375–400, 2010, doi: 10.1075/prag.20.3.04lie.'
mla: Liebscher, Grit, et al. “Negotiating Identities through Pronouns of Address
in an Immigrant Community.” Pragmatics. Quarterly Publication of the International
Pragmatics Association (IPrA), vol. 20, no. 3, 2010, pp. 375–400, doi:10.1075/prag.20.3.04lie.
short: G. Liebscher, J. Dailey-O’Cain, M. Müller, T. Reichert, Pragmatics. Quarterly
Publication of the International Pragmatics Association (IPrA) 20 (2010) 375–400.
date_created: 2021-12-08T14:38:18Z
date_updated: 2022-01-06T06:58:05Z
department:
- _id: '468'
doi: 10.1075/prag.20.3.04lie
extern: '1'
intvolume: ' 20'
issue: '3'
keyword:
- Forms of address
- T/V distinction
- Du vs. Sie
- Conversation analysis
- Language attitudes
- Interviews
- German in Canada
- Migration studies
- North American migration
language:
- iso: eng
page: 375-400
publication: Pragmatics. Quarterly Publication of the International Pragmatics Association
(IPrA)
publication_identifier:
issn:
- 1018-2101
- 2406-4238
publication_status: published
status: public
title: Negotiating identities through pronouns of address in an immigrant community
type: journal_article
user_id: '71540'
volume: 20
year: '2010'
...
---
_id: '1118'
abstract:
- lang: ger
text: "Das wesentliche Ziel der vorliegenden Publikation ist die Erstellung von
sprachspezifischen Modulen im Bereich der Biographischen InformationsExtraktion
(BiographIE). Unter Informationsextraktion verstehen wir die automatisierte Analyse
von Dokumenten im Hinblick auf das Entdecken und Normalisieren von semantisch
interessanten Entitäten und deren Eigenschaften.\r\nDas Hauptgewicht der Arbeit
liegt auf sehr detaillierten und umfangreichen linguistischen Grammatiken im Bereich
der Beschreibung von Personen und deren Beziehungen zu anderen relevanten Entitäten
(z.B. Organisationen, Orte, Datums- und Zeitangaben) in Texten. Neben den öffentlichen
und privaten Eigenschaften von Personen (Geburtsdatum, Nationalität etc.) sollen
vor allem alle biographisch relevanten Attribute aus Texten extrahiert werden
können. Dazu gehören in erster Linie berufliche Werdegänge, Anstellungsverhältnisse,
Rollen in Firmen und ähnliche Eigenschaften. Da alle diese Attribute in unzählbar
verschiedenen Formen ausgedrückt werden können, müssen sehr umfangreiche Lexika
und sehr detaillierte grammatische Beschreibungen erstellt werden. Dies geschieht
hauptsächlich bei der systematischen Evaluierung von Korpora. Je umfangreicher
diese sind, desto adäquater werden die erstellten Grammatiken sein. Im Gegensatz
zu den heute üblichen statistischen, auf maschinellem Lernen basierenden Verfahren
setzen wir auch umfangreiche semi-automatisch erstellte, linguistische Module
ein, die dann durch systematische Evaluierung auf Korpora schnell ergänzt und
verbessert werden können.\r\nBasierend auf unseren Extraktionsmethoden ist es
nun möglich, im Bereich der semantischen Suche deutliche Fortschritte zu machen.
Insbesondere Personensuchmaschinen können sich unsere detaillierten Analysemethoden
zu Nutze machen, um beispielsweise zu ermitteln, wer in welcher Funktion bei welcher
Firma von wann bis wann beschäftigt war."
author:
- first_name: Michaela
full_name: Geierhos, Michaela
id: '42496'
last_name: Geierhos
orcid: 0000-0002-8180-5606
citation:
ama: 'Geierhos M. BiographIE - Klassifikation und Extraktion karrierespezifischer
Informationen. Vol 5. 1st ed. München: Lincom; 2010.'
apa: 'Geierhos, M. (2010). BiographIE - Klassifikation und Extraktion karrierespezifischer
Informationen (1st ed., Vol. 5). München: Lincom.'
bibtex: '@book{Geierhos_2010, place={München}, edition={1}, series={Linguistic Resources
for Natural Language Processing}, title={BiographIE - Klassifikation und Extraktion
karrierespezifischer Informationen}, volume={5}, publisher={Lincom}, author={Geierhos,
Michaela}, year={2010}, collection={Linguistic Resources for Natural Language
Processing} }'
chicago: 'Geierhos, Michaela. BiographIE - Klassifikation und Extraktion karrierespezifischer
Informationen. 1st ed. Vol. 5. Linguistic Resources for Natural Language Processing.
München: Lincom, 2010.'
ieee: 'M. Geierhos, BiographIE - Klassifikation und Extraktion karrierespezifischer
Informationen, 1st ed., vol. 5. München: Lincom, 2010.'
mla: Geierhos, Michaela. BiographIE - Klassifikation und Extraktion karrierespezifischer
Informationen. 1st ed., vol. 5, Lincom, 2010.
short: M. Geierhos, BiographIE - Klassifikation und Extraktion karrierespezifischer
Informationen, 1st ed., Lincom, München, 2010.
date_created: 2018-01-29T14:52:46Z
date_updated: 2022-01-06T06:50:57Z
department:
- _id: '36'
- _id: '1'
- _id: '579'
edition: '1'
extern: '1'
intvolume: ' 5'
keyword:
- Natural Language Processing
language:
- iso: ger
page: '286'
place: München
publication_identifier:
isbn:
- '9783862880133'
publication_status: published
publisher: Lincom
series_title: Linguistic Resources for Natural Language Processing
status: public
title: BiographIE - Klassifikation und Extraktion karrierespezifischer Informationen
type: book
user_id: '42496'
volume: 5
year: '2010'
...
---
_id: '37007'
abstract:
- lang: eng
text: UML is widely applied for the specification and modeling of software and some
studies have demonstrated that it is applicable for HW/SW codesign. However, in
this area there is still a big gap from UML modeling to SystemC-based verification
and synthesis environments. This paper presents an efficient approach to bridge
this gap in the context of Systems-on-a-Chip (SoC) design. We propose a framework
for the seamless integration of a customized SysML entry with code generation
for HW/SW cosimulation and high-level FPGA synthesis. For this, we extended the
SysML UML profile by SystemC and synthesis capabilities. Two case studies demonstrate
the applicability of our approach.
author:
- first_name: Fabian
full_name: Mischkalla, Fabian
last_name: Mischkalla
- first_name: Da
full_name: He, Da
last_name: He
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Mischkalla F, He D, Müller W. Closing the Gap between UML-based Modeling and
Simulation of Combined HW/SW Systems. In: Proceedings of DATE’10. IEEE;
2010. doi:10.1109/DATE.2010.5456990'
apa: Mischkalla, F., He, D., & Müller, W. (2010). Closing the Gap between UML-based
Modeling and Simulation of Combined HW/SW Systems. Proceedings of DATE’10.
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE
2010), Dresden. https://doi.org/10.1109/DATE.2010.5456990
bibtex: '@inproceedings{Mischkalla_He_Müller_2010, place={Dresden}, title={Closing
the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems},
DOI={10.1109/DATE.2010.5456990},
booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Mischkalla, Fabian
and He, Da and Müller, Wolfgang}, year={2010} }'
chicago: 'Mischkalla, Fabian, Da He, and Wolfgang Müller. “Closing the Gap between
UML-Based Modeling and Simulation of Combined HW/SW Systems.” In Proceedings
of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5456990.'
ieee: 'F. Mischkalla, D. He, and W. Müller, “Closing the Gap between UML-based Modeling
and Simulation of Combined HW/SW Systems,” presented at the 2010 Design, Automation
& Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi:
10.1109/DATE.2010.5456990.'
mla: Mischkalla, Fabian, et al. “Closing the Gap between UML-Based Modeling and
Simulation of Combined HW/SW Systems.” Proceedings of DATE’10, IEEE, 2010,
doi:10.1109/DATE.2010.5456990.
short: 'F. Mischkalla, D. He, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden,
2010.'
conference:
location: Dresden
name: 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
date_created: 2023-01-17T09:12:35Z
date_updated: 2023-01-17T09:12:44Z
department:
- _id: '672'
doi: 10.1109/DATE.2010.5456990
keyword:
- Unified modeling language
- Field programmable gate arrays
- Bridges
- Helium
- Real time systems
- Operating systems
- Documentation
- Application software
- XML
- Space exploration
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10
publication_identifier:
eisbn:
- 978-3-9810801-6-2
publisher: IEEE
status: public
title: Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW
Systems
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37048'
abstract:
- lang: eng
text: We introduce a structured methodology for the generation of executable test
environments from textual requirement specifications via UML class diagrams and
the application of the classification tree methodology for embedded systems. The
first phase is a stepwise transformation from unstructured English text into a
textual normal form (TNF), which is automatically translated into UML class diagrams.
After annotations of the class diagrams and the definition of test cases by sequence
diagrams, both are converted into classification trees. From the classification
trees we can finally generate SystemVerilog code. The methodology is introduced
and evaluated by the example of an Adaptive Cruise Controller.
author:
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Alexander
full_name: Bol, Alexander
last_name: Bol
- first_name: Alexander
full_name: Krupp, Alexander
last_name: Krupp
- first_name: Ola
full_name: Lundkvist, Ola
last_name: Lundkvist
citation:
ama: 'Müller W, Bol A, Krupp A, Lundkvist O. Generation of Executable Testbenches
from Natural Language Requirement Specifications for Embedded Real-Time Systems.
In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:10.1007/978-3-642-15234-4_9'
apa: Müller, W., Bol, A., Krupp, A., & Lundkvist, O. (2010). Generation of
Executable Testbenches from Natural Language Requirement Specifications for Embedded
Real-Time Systems (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag.
https://doi.org/10.1007/978-3-642-15234-4_9
bibtex: '@inproceedings{Müller_Bol_Krupp_Lundkvist_2010, place={Dordrecht}, title={Generation
of Executable Testbenches from Natural Language Requirement Specifications for
Embedded Real-Time Systems}, DOI={10.1007/978-3-642-15234-4_9},
publisher={Springer Verlag}, author={Müller, Wolfgang and Bol, Alexander and Krupp,
Alexander and Lundkvist, Ola}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010}
}'
chicago: 'Müller, Wolfgang, Alexander Bol, Alexander Krupp, and Ola Lundkvist. “Generation
of Executable Testbenches from Natural Language Requirement Specifications for
Embedded Real-Time Systems.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht:
Springer Verlag, 2010. https://doi.org/10.1007/978-3-642-15234-4_9.'
ieee: 'W. Müller, A. Bol, A. Krupp, and O. Lundkvist, “Generation of Executable
Testbenches from Natural Language Requirement Specifications for Embedded Real-Time
Systems,” 2010, doi: 10.1007/978-3-642-15234-4_9.'
mla: Müller, Wolfgang, et al. Generation of Executable Testbenches from Natural
Language Requirement Specifications for Embedded Real-Time Systems. Edited
by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:10.1007/978-3-642-15234-4_9.
short: 'W. Müller, A. Bol, A. Krupp, O. Lundkvist, in: L. Kleinjohann, B. Kleinjohann
(Eds.), Springer Verlag, Dordrecht, 2010.'
conference:
name: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES
2010)
date_created: 2023-01-17T11:09:48Z
date_updated: 2023-01-17T11:09:54Z
department:
- _id: '672'
doi: 10.1007/978-3-642-15234-4_9
editor:
- first_name: L.
full_name: Kleinjohann, L.
last_name: Kleinjohann
- first_name: B.
full_name: Kleinjohann, B.
last_name: Kleinjohann
keyword:
- Natural Language UML SystemVerilog Testbenches
language:
- iso: eng
place: Dordrecht
publication_identifier:
isbn:
- 978-3-642-15233-7
publisher: Springer Verlag
status: public
title: Generation of Executable Testbenches from Natural Language Requirement Specifications
for Embedded Real-Time Systems
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37047'
abstract:
- lang: eng
text: We introduce a structured methodology for the generation of executable test
environments from textual requirement specifications via UML class diagrams and
the application of the classification tree methodology for embedded systems. The
first phase is a stepwise transformation from unstructured English text into a
textual normal form (TNF), which is automatically translated into UML class diagrams.
After annotations of the class diagrams and the definition of test cases by sequence
diagrams, both are converted into classification trees. From the classification
trees we can finally generate SystemVerilog code. The methodology is introduced
and evaluated by the example of an Adaptive Cruise Controller.
author:
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Alexander
full_name: Bol, Alexander
last_name: Bol
- first_name: Alexander
full_name: Krupp, Alexander
last_name: Krupp
- first_name: Ola
full_name: Lundkvist, Ola
last_name: Lundkvist
citation:
ama: 'Müller W, Bol A, Krupp A, Lundkvist O. Generation of Executable Testbenches
from Natural Language Requirement Specifications for Embedded Real-Time Systems.
In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:10.1007/978-3-642-15234-4_9'
apa: Müller, W., Bol, A., Krupp, A., & Lundkvist, O. (2010). Generation of
Executable Testbenches from Natural Language Requirement Specifications for Embedded
Real-Time Systems (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag.
https://doi.org/10.1007/978-3-642-15234-4_9
bibtex: '@inproceedings{Müller_Bol_Krupp_Lundkvist_2010, place={Dordrecht}, title={Generation
of Executable Testbenches from Natural Language Requirement Specifications for
Embedded Real-Time Systems}, DOI={10.1007/978-3-642-15234-4_9},
publisher={Springer Verlag}, author={Müller, Wolfgang and Bol, Alexander and Krupp,
Alexander and Lundkvist, Ola}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010}
}'
chicago: 'Müller, Wolfgang, Alexander Bol, Alexander Krupp, and Ola Lundkvist. “Generation
of Executable Testbenches from Natural Language Requirement Specifications for
Embedded Real-Time Systems.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht:
Springer Verlag, 2010. https://doi.org/10.1007/978-3-642-15234-4_9.'
ieee: 'W. Müller, A. Bol, A. Krupp, and O. Lundkvist, “Generation of Executable
Testbenches from Natural Language Requirement Specifications for Embedded Real-Time
Systems,” 2010, doi: 10.1007/978-3-642-15234-4_9.'
mla: Müller, Wolfgang, et al. Generation of Executable Testbenches from Natural
Language Requirement Specifications for Embedded Real-Time Systems. Edited
by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:10.1007/978-3-642-15234-4_9.
short: 'W. Müller, A. Bol, A. Krupp, O. Lundkvist, in: L. Kleinjohann, B. Kleinjohann
(Eds.), Springer Verlag, Dordrecht, 2010.'
conference:
name: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES
2010)
date_created: 2023-01-17T11:05:55Z
date_updated: 2025-03-12T16:39:13Z
doi: 10.1007/978-3-642-15234-4_9
editor:
- first_name: L.
full_name: Kleinjohann, L.
last_name: Kleinjohann
- first_name: B.
full_name: Kleinjohann, B.
last_name: Kleinjohann
keyword:
- Natural Language UML SystemVerilog Testbenches
language:
- iso: eng
place: Dordrecht
publication_identifier:
isbn:
- 978-3-642-15233-7
publisher: Springer Verlag
status: public
title: Generation of Executable Testbenches from Natural Language Requirement Specifications
for Embedded Real-Time Systems
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '24065'
author:
- first_name: Jens
full_name: Pottebaum, Jens
id: '405'
last_name: Pottebaum
orcid: http://orcid.org/0000-0001-8778-2989
- first_name: Anna Maria
full_name: Japs, Anna Maria
last_name: Japs
- first_name: Stephan
full_name: Prödel, Stephan
last_name: Prödel
- first_name: Rainer
full_name: Koch, Rainer
last_name: Koch
citation:
ama: 'Pottebaum J, Japs AM, Prödel S, Koch R. Design and modeling of a domain ontology
for fire protection. In: French S, Tomaszewski B, Zobel C, eds. ISCRAM 2010
-- 7th International Conference on Information Systems for Crisis Response and
Management. ; 2010.'
apa: Pottebaum, J., Japs, A. M., Prödel, S., & Koch, R. (2010). Design and modeling
of a domain ontology for fire protection. In S. French, B. Tomaszewski, &
C. Zobel (Eds.), ISCRAM 2010 -- 7th International Conference on Information
Systems for Crisis Response and Management.
bibtex: '@inproceedings{Pottebaum_Japs_Prödel_Koch_2010, place={Seattle, WA}, title={Design
and modeling of a domain ontology for fire protection}, booktitle={ISCRAM 2010
-- 7th International Conference on Information Systems for Crisis Response and
Management}, author={Pottebaum, Jens and Japs, Anna Maria and Prödel, Stephan
and Koch, Rainer}, editor={French, Simon and Tomaszewski, Brian and Zobel, Chris},
year={2010} }'
chicago: Pottebaum, Jens, Anna Maria Japs, Stephan Prödel, and Rainer Koch. “Design
and Modeling of a Domain Ontology for Fire Protection.” In ISCRAM 2010 -- 7th
International Conference on Information Systems for Crisis Response and Management,
edited by Simon French, Brian Tomaszewski, and Chris Zobel. Seattle, WA, 2010.
ieee: J. Pottebaum, A. M. Japs, S. Prödel, and R. Koch, “Design and modeling of
a domain ontology for fire protection,” in ISCRAM 2010 -- 7th International
Conference on Information Systems for Crisis Response and Management, 2010.
mla: Pottebaum, Jens, et al. “Design and Modeling of a Domain Ontology for Fire
Protection.” ISCRAM 2010 -- 7th International Conference on Information Systems
for Crisis Response and Management, edited by Simon French et al., 2010.
short: 'J. Pottebaum, A.M. Japs, S. Prödel, R. Koch, in: S. French, B. Tomaszewski,
C. Zobel (Eds.), ISCRAM 2010 -- 7th International Conference on Information Systems
for Crisis Response and Management, Seattle, WA, 2010.'
date_created: 2021-09-09T12:27:14Z
date_updated: 2026-03-31T03:52:00Z
editor:
- first_name: Simon
full_name: French, Simon
last_name: French
- first_name: Brian
full_name: Tomaszewski, Brian
last_name: Tomaszewski
- first_name: Chris
full_name: Zobel, Chris
last_name: Zobel
keyword:
- Command and control process
- Command and control systems
- Design and modeling
- Domain ontologies
- Emergency response
- Fire extinguishers
- Fire protection
- Heterogeneous domains
- Information analysis
- Information sharing
- Information systems
- Interoperability
- Ontology language
- Semantic technologies
- Semantic Web
- Semantics
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://idl.iscram.org/files/pottebaum/2010/847_Pottebaum_etal2010.pdf
oa: '1'
place: Seattle, WA
publication: ISCRAM 2010 -- 7th International Conference on Information Systems for
Crisis Response and Management
quality_controlled: '1'
status: public
title: Design and modeling of a domain ontology for fire protection
type: conference
user_id: '405'
year: '2010'
...
---
_id: '37067'
abstract:
- lang: eng
text: IP-XACT is a well accepted standard for the exchange of IP components at Electronic
System and Register Transfer Level. Still, the creation and manipulation of these
descriptions at the XML level can be time-consuming and error-prone. In this paper,
we show that the UML can be consistently applied as an efficient and comprehensible
frontend for IP-XACT-based IP description and integration. For this, we present
an IP-XACT UML profile that enables UML-based descriptions covering the same information
as a corresponding IP-XACT description. This enables the automated generation
of IP-XACT component and design descriptions from respective UML models. In particular,
it also allows the integration of existing IPs with UML. To illustrate our approach,
we present an application example based on the IBM PowerPC Evaluation Kit.
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Tao
full_name: Xie, Tao
last_name: Xie
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Schattkowsky T, Xie T, Müller W. A UML Frontend for IP-XACT-based IP Management.
In: Proceedings of DATE’09. IEEE; 2009. doi:10.1109/DATE.2009.5090664'
apa: Schattkowsky, T., Xie, T., & Müller, W. (2009). A UML Frontend for IP-XACT-based
IP Management. Proceedings of DATE’09. Design, Automation & Test in
Europe Conference & Exhibition. https://doi.org/10.1109/DATE.2009.5090664
bibtex: '@inproceedings{Schattkowsky_Xie_Müller_2009, place={Nice, France}, title={A
UML Frontend for IP-XACT-based IP Management}, DOI={10.1109/DATE.2009.5090664},
booktitle={Proceedings of DATE’09}, publisher={IEEE}, author={Schattkowsky, Tim
and Xie, Tao and Müller, Wolfgang}, year={2009} }'
chicago: 'Schattkowsky, Tim, Tao Xie, and Wolfgang Müller. “A UML Frontend for IP-XACT-Based
IP Management.” In Proceedings of DATE’09. Nice, France: IEEE, 2009. https://doi.org/10.1109/DATE.2009.5090664.'
ieee: 'T. Schattkowsky, T. Xie, and W. Müller, “A UML Frontend for IP-XACT-based
IP Management,” presented at the Design, Automation & Test in Europe Conference
& Exhibition, 2009, doi: 10.1109/DATE.2009.5090664.'
mla: Schattkowsky, Tim, et al. “A UML Frontend for IP-XACT-Based IP Management.”
Proceedings of DATE’09, IEEE, 2009, doi:10.1109/DATE.2009.5090664.
short: 'T. Schattkowsky, T. Xie, W. Müller, in: Proceedings of DATE’09, IEEE, Nice,
France, 2009.'
conference:
name: Design, Automation & Test in Europe Conference & Exhibition
date_created: 2023-01-17T11:54:02Z
date_updated: 2023-01-17T11:54:07Z
department:
- _id: '672'
doi: 10.1109/DATE.2009.5090664
keyword:
- Unified modeling language
- XML
- Power system modeling
- Application software
- Master-slave
- Power system management
- Acceleration
- Scattering
- Software engineering
- Software standards
language:
- iso: eng
place: Nice, France
publication: Proceedings of DATE'09
publication_identifier:
isbn:
- 978-1-4244-3781-8
publisher: IEEE
status: public
title: A UML Frontend for IP-XACT-based IP Management
type: conference
user_id: '5786'
year: '2009'
...
---
_id: '39029'
abstract:
- lang: eng
text: UML 2.0 provides a rich set of diagrams for systems documentation and specification.
Much effort has been undertaken to employ different aspects of UML for multiple
domains, mainly in the area of software systems. Considering the area of electronic
design automation, however, we currently see only very few approaches which investigate
UML for hardware design and hardware/software co-design. We present an approach
for executable UML closing the gap from system specification to its model-based
execution on reconfigurable hardware. For this purpose, we present our abstract
execution platform (AEP), which is based on a virtual machine running an executable
UML subset for embedded software and reconfigurable hardware. This subset combines
UML 2.0 classes, state-machines and sequence diagrams for a complete system specification.
We describe how these binary encoded UML specifications can be directly executed
and give the implementation of such a virtual machine on a Virtex II FPGA. Finally,
we present evaluation results comparing the AEP implementation with C code on
a C167 microcontroller.
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Achim
full_name: Rettberg, Achim
last_name: Rettberg
citation:
ama: 'Schattkowsky T, Müller W, Rettberg A. A Model-Based Approach for Executable
Specification on Reconfigurable Hardware. In: Proceedings of DATE’05. IEEE;
2005. doi:10.1109/DATE.2005.20'
apa: Schattkowsky, T., Müller, W., & Rettberg, A. (2005). A Model-Based Approach
for Executable Specification on Reconfigurable Hardware. Proceedings of DATE’05.
https://doi.org/10.1109/DATE.2005.20
bibtex: '@inproceedings{Schattkowsky_Müller_Rettberg_2005, place={Munich, Germany
}, title={A Model-Based Approach for Executable Specification on Reconfigurable
Hardware}, DOI={10.1109/DATE.2005.20},
booktitle={Proceedings of DATE’05}, publisher={IEEE}, author={Schattkowsky, Tim
and Müller, Wolfgang and Rettberg, Achim}, year={2005} }'
chicago: 'Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “A Model-Based
Approach for Executable Specification on Reconfigurable Hardware.” In Proceedings
of DATE’05. Munich, Germany : IEEE, 2005. https://doi.org/10.1109/DATE.2005.20.'
ieee: 'T. Schattkowsky, W. Müller, and A. Rettberg, “A Model-Based Approach for
Executable Specification on Reconfigurable Hardware,” 2005, doi: 10.1109/DATE.2005.20.'
mla: Schattkowsky, Tim, et al. “A Model-Based Approach for Executable Specification
on Reconfigurable Hardware.” Proceedings of DATE’05, IEEE, 2005, doi:10.1109/DATE.2005.20.
short: 'T. Schattkowsky, W. Müller, A. Rettberg, in: Proceedings of DATE’05, IEEE,
Munich, Germany , 2005.'
date_created: 2023-01-24T08:10:40Z
date_updated: 2023-01-24T08:10:44Z
department:
- _id: '672'
doi: 10.1109/DATE.2005.20
keyword:
- Hardware
- Unified modeling language
- Virtual machining
- Object oriented modeling
- Field programmable gate arrays
- Java
- Microcontrollers
- Embedded software
- Real time systems
- Documentation
language:
- iso: eng
place: 'Munich, Germany '
publication: Proceedings of DATE’05
publication_identifier:
isbn:
- 0-7695-2288-2
publisher: IEEE
status: public
title: A Model-Based Approach for Executable Specification on Reconfigurable Hardware
type: conference
user_id: '5786'
year: '2005'
...
---
_id: '39032'
abstract:
- lang: eng
text: Executable UML models are nowadays gaining interest in embedded systems design.
This domain is strongly devoted to the modeling of reactive behavior using StateChart
variants. In this context, the direct execution of UML state machines is an interesting
alternative to native code generation approaches since it significantly increases
portability. However, fully featured UML 2.0 State Machines may contain a broad
set of features with complex execution semantics that differ significantly from
other StateChart variants. This makes their direct execution complex and inefficient.
In this paper, we demonstrate how such state machines can be represented using
a small subset of the UML state machine features that enables efficient execution.
We describe the necessary model transformations in terms of graph transformations
and discuss the underlying semantics and implications for execution.
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Schattkowsky T, Müller W. Transformation of UML State Machines for Direct
Execution. In: Proceedings of VL/HCC 05. ; 2005. doi:10.1109/VLHCC.2005.64'
apa: Schattkowsky, T., & Müller, W. (2005). Transformation of UML State Machines
for Direct Execution. Proceedings of VL/HCC 05. https://doi.org/10.1109/VLHCC.2005.64
bibtex: '@inproceedings{Schattkowsky_Müller_2005, place={Dallas, TX, USA}, title={Transformation
of UML State Machines for Direct Execution}, DOI={10.1109/VLHCC.2005.64},
booktitle={Proceedings of VL/HCC 05}, author={Schattkowsky, Tim and Müller, Wolfgang},
year={2005} }'
chicago: Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines
for Direct Execution.” In Proceedings of VL/HCC 05. Dallas, TX, USA, 2005.
https://doi.org/10.1109/VLHCC.2005.64.
ieee: 'T. Schattkowsky and W. Müller, “Transformation of UML State Machines for
Direct Execution,” 2005, doi: 10.1109/VLHCC.2005.64.'
mla: Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines
for Direct Execution.” Proceedings of VL/HCC 05, 2005, doi:10.1109/VLHCC.2005.64.
short: 'T. Schattkowsky, W. Müller, in: Proceedings of VL/HCC 05, Dallas, TX, USA,
2005.'
date_created: 2023-01-24T08:18:10Z
date_updated: 2023-01-24T08:18:27Z
department:
- _id: '672'
doi: 10.1109/VLHCC.2005.64
keyword:
- Unified modeling language
- Software design
- Virtual machining
- Embedded system
- Programming
- Documentation
- Hardware
- Computer languages
- Operating systems
- Runtime
language:
- iso: eng
place: Dallas, TX, USA
publication: Proceedings of VL/HCC 05
publication_identifier:
isbn:
- 0-7695-2443-5
status: public
title: Transformation of UML State Machines for Direct Execution
type: conference
user_id: '5786'
year: '2005'
...
---
_id: '33825'
abstract:
- lang: eng
text: This article describes our approach for the specification and verification
of production automation systems with real-time properties. We focus on the graphical
MFERT notation and RT-OCL (Real-Time Object Constraint Language) for the specification
of state-oriented real-time properties. RT-OCL is an extension of the Object Constraint
Language (OCL) that is part of the Unified Modeling Language (UML). We introduce
the formal semantics of RT-OCL based on a formal model of UML Class and State
Diagrams and provide a mapping to temporal logics. The applicability of our approach
is demonstrated by the case study of a manufacturing system with automated guided
vehicles.
author:
- first_name: Stephan
full_name: Flake, Stephan
last_name: Flake
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Ulrich
full_name: Pape, Ulrich
last_name: Pape
- first_name: Jürgen
full_name: Ruf, Jürgen
last_name: Ruf
citation:
ama: 'Flake S, Müller W, Pape U, Ruf J. Specification and Formal Verification of
Temporal Properties of Production Automation Systems. In: Ehrig H, Damm W, Desel
J, et al., eds. Integration of Software Specification Techniques for Applications
in Engineering. Vol 3147. Lecture Notes in Computer Science. Springer-Verlag;
2004:206-226. doi:10.1007/978-3-540-27863-4_13'
apa: Flake, S., Müller, W., Pape, U., & Ruf, J. (2004). Specification and Formal
Verification of Temporal Properties of Production Automation Systems. In H. Ehrig,
W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, & E. Westkämper
(Eds.), Integration of Software Specification Techniques for Applications in
Engineering (Vol. 3147, pp. 206–226). Springer-Verlag. https://doi.org/10.1007/978-3-540-27863-4_13
bibtex: '@inbook{Flake_Müller_Pape_Ruf_2004, place={Berlin, Heidelberg}, series={Lecture
Notes in Computer Science}, title={Specification and Formal Verification of Temporal
Properties of Production Automation Systems}, volume={3147}, DOI={10.1007/978-3-540-27863-4_13},
booktitle={Integration of Software Specification Techniques for Applications in
Engineering}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller,
Wolfgang and Pape, Ulrich and Ruf, Jürgen}, editor={Ehrig, Hartmut and Damm, Werner
and Desel, Jörg and Große-Rhode, Martin and Reif, Wolfgang and Schnieder, Eckehard
and Westkämper, Engelbert}, year={2004}, pages={206–226}, collection={Lecture
Notes in Computer Science} }'
chicago: 'Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Specification
and Formal Verification of Temporal Properties of Production Automation Systems.”
In Integration of Software Specification Techniques for Applications in Engineering,
edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang
Reif, Eckehard Schnieder, and Engelbert Westkämper, 3147:206–26. Lecture Notes
in Computer Science. Berlin, Heidelberg: Springer-Verlag, 2004. https://doi.org/10.1007/978-3-540-27863-4_13.'
ieee: 'S. Flake, W. Müller, U. Pape, and J. Ruf, “Specification and Formal Verification
of Temporal Properties of Production Automation Systems,” in Integration of
Software Specification Techniques for Applications in Engineering, vol. 3147,
H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, and E. Westkämper,
Eds. Berlin, Heidelberg: Springer-Verlag, 2004, pp. 206–226.'
mla: Flake, Stephan, et al. “Specification and Formal Verification of Temporal Properties
of Production Automation Systems.” Integration of Software Specification Techniques
for Applications in Engineering, edited by Hartmut Ehrig et al., vol. 3147,
Springer-Verlag, 2004, pp. 206–26, doi:10.1007/978-3-540-27863-4_13.
short: 'S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M.
Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software
Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin,
Heidelberg, 2004, pp. 206–226.'
date_created: 2022-10-20T09:25:53Z
date_updated: 2022-10-20T09:26:15Z
department:
- _id: '672'
doi: 10.1007/978-3-540-27863-4_13
editor:
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Werner
full_name: Damm, Werner
last_name: Damm
- first_name: Jörg
full_name: Desel, Jörg
last_name: Desel
- first_name: Martin
full_name: Große-Rhode, Martin
last_name: Große-Rhode
- first_name: Wolfgang
full_name: Reif, Wolfgang
last_name: Reif
- first_name: Eckehard
full_name: Schnieder, Eckehard
last_name: Schnieder
- first_name: Engelbert
full_name: Westkämper, Engelbert
last_name: Westkämper
intvolume: ' 3147'
keyword:
- Model Check
- Temporal Logic
- Object Constraint Language
- Abstract Syntax
- Temporal Logic Formula
language:
- iso: eng
page: 206-226
place: Berlin, Heidelberg
publication: Integration of Software Specification Techniques for Applications in
Engineering
publication_identifier:
isbn:
- 978-3-540-27863-4
publisher: Springer-Verlag
series_title: Lecture Notes in Computer Science
status: public
title: Specification and Formal Verification of Temporal Properties of Production
Automation Systems
type: book_chapter
user_id: '5786'
volume: 3147
year: '2004'
...
---
_id: '39061'
abstract:
- lang: eng
text: This article presents an approach, which combines theorem proving-based refinement
with model checking for state based real-time systems. Our verification flow starts
from UML state diagrams, which are translated to the formal B language and are
model checked for real-time properties. By means of the B language and a B theorem
prover, refined state diagrams are verified against their abstract representation.
The approach is presented by means of the refinement of a digital echo cancellation
unit.
author:
- first_name: Alexander
full_name: Krupp, Alexander
last_name: Krupp
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Ian
full_name: Oliver, Ian
last_name: Oliver
citation:
ama: 'Krupp A, Müller W, Oliver I. Formal Refinement and Model Checking of An Echo
Cancellation Unit. In: Proceedings of DATE’04 Designers’ Forum. ; 2004.
doi:10.1109/DATE.2004.1269214'
apa: Krupp, A., Müller, W., & Oliver, I. (2004). Formal Refinement and Model
Checking of An Echo Cancellation Unit. Proceedings of DATE’04 Designers’ Forum.
Proceedings Design, Automation and Test in Europe Conference and Exhibition. https://doi.org/10.1109/DATE.2004.1269214
bibtex: '@inproceedings{Krupp_Müller_Oliver_2004, place={Paris}, title={Formal Refinement
and Model Checking of An Echo Cancellation Unit}, DOI={10.1109/DATE.2004.1269214},
booktitle={Proceedings of DATE’04 Designers’ Forum}, author={Krupp, Alexander
and Müller, Wolfgang and Oliver, Ian}, year={2004} }'
chicago: Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and
Model Checking of An Echo Cancellation Unit.” In Proceedings of DATE’04 Designers’
Forum. Paris, 2004. https://doi.org/10.1109/DATE.2004.1269214.
ieee: 'A. Krupp, W. Müller, and I. Oliver, “Formal Refinement and Model Checking
of An Echo Cancellation Unit,” presented at the Proceedings Design, Automation
and Test in Europe Conference and Exhibition, 2004, doi: 10.1109/DATE.2004.1269214.'
mla: Krupp, Alexander, et al. “Formal Refinement and Model Checking of An Echo Cancellation
Unit.” Proceedings of DATE’04 Designers’ Forum, 2004, doi:10.1109/DATE.2004.1269214.
short: 'A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum,
Paris, 2004.'
conference:
name: Proceedings Design, Automation and Test in Europe Conference and Exhibition
date_created: 2023-01-24T08:53:26Z
date_updated: 2023-01-24T08:53:31Z
department:
- _id: '672'
doi: 10.1109/DATE.2004.1269214
keyword:
- Echo cancellers
- Logic
- Unified modeling language
- Automata
- Data structures
- Boolean functions
- Electronic design automation and methodology
- Prototypes
- Specification languages
- Constraint theory
language:
- iso: eng
place: Paris
publication: Proceedings of DATE’04 Designers' Forum
publication_identifier:
isbn:
- 0-7695-2085-5
status: public
title: Formal Refinement and Model Checking of An Echo Cancellation Unit
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39069'
abstract:
- lang: eng
text: We present the syntax and semantics of a past- and future-oriented temporal
extension of the Object Constraint Language (OCL). Our extension supports designers
to express time-bounded properties over a state-oriented UML model of a system
under development. The semantics is formally defined over the system states of
a mathematical object model. Additionally, we present a mapping to Clocked Linear
Temporal Logic (Clocked LTL) formulae, which is the basis for further application
in verification with model checking. We demonstrate the applicability of the approach
by the example of a buffer specification in the context of a production system.
author:
- first_name: Stephan
full_name: Flake, Stephan
last_name: Flake
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Flake S, Müller W. Past- and Future-Oriented Time-Bound Temporal Properties
with OCL. In: Proceedings of SEFM´04. IEEE; 2004. doi:10.1109/SEFM.2004.1347516'
apa: Flake, S., & Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal
Properties with OCL. Proceedings of SEFM´04. Proceedings of the Second
International Conference on Software Engineering and Formal Methods. https://doi.org/10.1109/SEFM.2004.1347516
bibtex: '@inproceedings{Flake_Müller_2004, place={Beijing, China}, title={Past-
and Future-Oriented Time-Bound Temporal Properties with OCL}, DOI={10.1109/SEFM.2004.1347516},
booktitle={Proceedings of SEFM´04}, publisher={IEEE}, author={Flake, Stephan and
Müller, Wolfgang}, year={2004} }'
chicago: 'Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound
Temporal Properties with OCL.” In Proceedings of SEFM´04. Beijing, China:
IEEE, 2004. https://doi.org/10.1109/SEFM.2004.1347516.'
ieee: 'S. Flake and W. Müller, “Past- and Future-Oriented Time-Bound Temporal Properties
with OCL,” presented at the Proceedings of the Second International Conference
on Software Engineering and Formal Methods, 2004, doi: 10.1109/SEFM.2004.1347516.'
mla: Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound
Temporal Properties with OCL.” Proceedings of SEFM´04, IEEE, 2004, doi:10.1109/SEFM.2004.1347516.
short: 'S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.'
conference:
name: ' Proceedings of the Second International Conference on Software Engineering
and Formal Methods'
date_created: 2023-01-24T09:03:36Z
date_updated: 2023-01-24T09:03:41Z
department:
- _id: '672'
doi: 10.1109/SEFM.2004.1347516
keyword:
- Unified modeling language
- Logic
- Clocks
- Boolean functions
- Application software
- Time factors
- Real time systems
- Formal verification
- Buffer storage
- Software packages
language:
- iso: eng
place: Beijing, China
publication: Proceedings of SEFM´04
publication_identifier:
isbn:
- 0-7695-2222-X
publisher: IEEE
status: public
title: Past- and Future-Oriented Time-Bound Temporal Properties with OCL
type: conference
user_id: '5786'
year: '2004'
...