lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Foundations
SRI International, USA.
FZI Research Center for Information Technology, Germany.
POSTECH, Republic of Korea.
University of Rennes, France.
Show others and affiliations
2021 (English)In: Composing Model-Based Analysis Tools / [ed] Heinrich, R., Durán, F., Talcott, C., Zschaler, S., Springer, 2021, p. 9-37Chapter in book (Refereed)
Abstract [en]

This chapter gives an introduction to the key concepts and terminology relevant for model-based analysis tools and their composition. In the first half of the chapter, we introduce concepts relevant for modelling and composition of models and modelling languages. The second half of the chapter then focuses on concepts relevant to analysis and analysis composition. This chapter, thus, lays the foundations for the remainder of the book, ensuring that readers can go through the book as a coherent piece.

Place, publisher, year, edition, pages
Springer, 2021. p. 9-37
National Category
Computer Sciences
Research subject
Computer and Information Sciences Computer Science
Identifiers
URN: urn:nbn:se:lnu:diva-127089DOI: 10.1007/978-3-030-81915-6_2ISBN: 9783030819149 (print)ISBN: 9783030819156 (electronic)OAI: oai:DiVA.org:lnu-127089DiVA, id: diva2:1831078
Available from: 2024-01-24 Created: 2024-01-24 Last updated: 2024-02-06Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records

Khakpour, Narges

Search in DiVA

By author/editor
Khakpour, Narges
By organisation
Department of computer science and media technology (CM)
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 19 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf