loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Author: Reuven Gallant

Affiliation: JCT Lev Academic Center, Israel

ISBN: 978-989-758-202-8

Keyword(s): Executable Modeling, Formal Methods, Graphical Modeling Languages, Production Quality Code, Syntax, Semantics, Semantic Mapping, Simulation, UML.

Abstract: Much ink has been spilled regarding the trials and tribulations of adapting formal methods to the needs of software engineering practitioners With the exception of computer scientists with a passion for algorithm design and optimization, a plethora of Greek letters and symbols can be an anathema to those whose first love is writing code. The advent of graphical modeling languages such as UML, and supporting tools that generate production quality code, executable modeling behavioral simulations for bridging the gap between formalism and coding. This paper proposes, with illustrative examples, an exploratory learning modality, by which the practicing engineer can investigate and empirically learn the semantic mapping of UML syntax to the semantic domains of system instantiation and reactive behavior.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.232.188.251

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Gallant, R. (2016). Modeling Semantics sans Mathematical Formalism.In Proceedings of the 7th International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2016) ISBN 978-989-758-202-8, pages 44-54. DOI: 10.5220/0006098900440054

@conference{sky16,
author={Reuven Gallant.},
title={Modeling Semantics sans Mathematical Formalism},
booktitle={Proceedings of the 7th International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2016)},
year={2016},
pages={44-54},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006098900440054},
isbn={978-989-758-202-8},
}

TY - CONF

JO - Proceedings of the 7th International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2016)
TI - Modeling Semantics sans Mathematical Formalism
SN - 978-989-758-202-8
AU - Gallant, R.
PY - 2016
SP - 44
EP - 54
DO - 10.5220/0006098900440054

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.