This is not a Model: On development of a common terminology for modeling and programming

Research output: Contribution to conferencePaperResearchpeer-review

Standard

This is not a Model : On development of a common terminology for modeling and programming. / Madsen, Ole Lehrmann; Møller-Pedersen, Birger.

2018. Paper presented at International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, LIMASSO, Cyprus.

Research output: Contribution to conferencePaperResearchpeer-review

Harvard

Madsen, OL & Møller-Pedersen, B 2018, 'This is not a Model: On development of a common terminology for modeling and programming' Paper presented at, LIMASSO, Cyprus, 30/10/2018 - 13/11/2018, .

APA

Madsen, O. L., & Møller-Pedersen, B. (2018). This is not a Model: On development of a common terminology for modeling and programming. Paper presented at International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, LIMASSO, Cyprus.

CBE

Madsen OL, Møller-Pedersen B. 2018. This is not a Model: On development of a common terminology for modeling and programming. Paper presented at International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, LIMASSO, Cyprus.

MLA

Vancouver

Madsen OL, Møller-Pedersen B. This is not a Model: On development of a common terminology for modeling and programming. 2018. Paper presented at International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, LIMASSO, Cyprus.

Author

Madsen, Ole Lehrmann ; Møller-Pedersen, Birger. / This is not a Model : On development of a common terminology for modeling and programming. Paper presented at International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, LIMASSO, Cyprus.

Bibtex

@conference{c17a18cbc0e344389cb76442fd730b48,
title = "This is not a Model: On development of a common terminology for modeling and programming",
abstract = "SIMULA and Beta are object-oriented languages intended for modeling and programming. This is in contrast to mainstream where different languages are used for modeling and programming. In previous papers, it has been argued that there are a number of advantages in developing a unified language. In order to do this, a consistent terminology for modeling and programming is needed. The notion of model is essential in this respect. In UML, the diagrams are considered models. For SIMULA and Beta the program executions are considered models. We argue for the latter and discuss the implications for the design of a unified language.",
keywords = "Modellimg, Programming, Lamnguages",
author = "Madsen, {Ole Lehrmann} and Birger M{\o}ller-Pedersen",
year = "2018",
language = "English",
note = "null ; Conference date: 30-10-2018 Through 13-11-2018",
url = "http://www.isola-conference.org/isola2018/",

}

RIS

TY - CONF

T1 - This is not a Model

T2 - On development of a common terminology for modeling and programming

AU - Madsen, Ole Lehrmann

AU - Møller-Pedersen, Birger

PY - 2018

Y1 - 2018

N2 - SIMULA and Beta are object-oriented languages intended for modeling and programming. This is in contrast to mainstream where different languages are used for modeling and programming. In previous papers, it has been argued that there are a number of advantages in developing a unified language. In order to do this, a consistent terminology for modeling and programming is needed. The notion of model is essential in this respect. In UML, the diagrams are considered models. For SIMULA and Beta the program executions are considered models. We argue for the latter and discuss the implications for the design of a unified language.

AB - SIMULA and Beta are object-oriented languages intended for modeling and programming. This is in contrast to mainstream where different languages are used for modeling and programming. In previous papers, it has been argued that there are a number of advantages in developing a unified language. In order to do this, a consistent terminology for modeling and programming is needed. The notion of model is essential in this respect. In UML, the diagrams are considered models. For SIMULA and Beta the program executions are considered models. We argue for the latter and discuss the implications for the design of a unified language.

KW - Modellimg

KW - Programming

KW - Lamnguages

M3 - Paper

ER -