Towards a unified view of modeling and programming (ISoLA 2018 Track Introduction)

Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

4 Scopus citations

Abstract

The article provides an introduction to the track: Towards a Unified View of Modeling and Programming, organized by the authors of this paper as part of ISoLA 2018: the 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. A total of 19 researchers presented their views on the two questions: what are the commonalities between modeling and programming languages?, and should we strive towards a unified view of modeling and programming? The idea behind the track, which is a continuation of a similar track at ISoLA 2016, emerged as a result of experiences gathered in the three fields: formal methods, model-based software engineering, and programming languages, and from the observation that these technologies share a large common part, to the extent where one may ask, does the following equation hold: modeling = programming.

Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings
EditorsBernhard Steffen, Tiziana Margaria
PublisherSpringer Verlag
Pages3-21
Number of pages19
ISBN (Print)9783030034177
DOIs
StatePublished - 2018
Event8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018 - Limassol, Cyprus
Duration: 5 Nov 20189 Nov 2018

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11244 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018
Country/TerritoryCyprus
CityLimassol
Period5/11/189/11/18

Keywords

  • Differences
  • Domain-specific languages
  • Modeling
  • Programming
  • Similarities
  • Unification

Fingerprint

Dive into the research topics of 'Towards a unified view of modeling and programming (ISoLA 2018 Track Introduction)'. Together they form a unique fingerprint.

Cite this