A tool for visual and formal modelling of software designs

Nuno Amálio; Christian Glodt

doi:10.1016/j.scico.2014.05.002

A tool for visual and formal modelling of software designs

Nuno Amálio^*
, Christian Glodt

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

7 Citations (Scopus)

Original language	English
Pages (from-to)	52-79
Number of pages	28
Journal	Science of Computer Programming
Volume	98
Issue number	P1
DOIs	https://doi.org/10.1016/j.scico.2014.05.002
Publication status	Published (VoR) - 1 Feb 2015

Funding

Lohmann et al. [73] translates, using graph transformation rules, UML class diagrams and contracts to Java skeletons and JML assertions. The approach is supported by a tool, the Visual Contract Workbench [74] , an Eclipse plug-in. The definitions produced by this approach are partial as only skeletons are produced, and, unlike VCB, there is no support for writing predicates of invariants, which have to be written in the code.

Keywords

Empirical evaluation
Formal methods
MDE
Tool-support
Visual modelling languages

Access to Document

10.1016/j.scico.2014.05.002

Cite this

@article{a387e5f21c1244ed8682362f73805937,

title = "A tool for visual and formal modelling of software designs",

keywords = "Empirical evaluation, Formal methods, MDE, Tool-support, Visual modelling languages",

author = "Nuno Am{\'a}lio and Christian Glodt",

note = "Funding Information: Lohmann et al. [73] translates, using graph transformation rules, UML class diagrams and contracts to Java skeletons and JML assertions. The approach is supported by a tool, the Visual Contract Workbench [74] , an Eclipse plug-in. The definitions produced by this approach are partial as only skeletons are produced, and, unlike VCB, there is no support for writing predicates of invariants, which have to be written in the code. Publisher Copyright: {\textcopyright} 2014 Elsevier B.V.",

year = "2015",

month = feb,

day = "1",

doi = "10.1016/j.scico.2014.05.002",

language = "English",

volume = "98",

pages = "52--79",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier",

number = "P1",

}

TY - JOUR

T1 - A tool for visual and formal modelling of software designs

AU - Amálio, Nuno

AU - Glodt, Christian

N1 - Funding Information: Lohmann et al. [73] translates, using graph transformation rules, UML class diagrams and contracts to Java skeletons and JML assertions. The approach is supported by a tool, the Visual Contract Workbench [74] , an Eclipse plug-in. The definitions produced by this approach are partial as only skeletons are produced, and, unlike VCB, there is no support for writing predicates of invariants, which have to be written in the code. Publisher Copyright: © 2014 Elsevier B.V.

PY - 2015/2/1

Y1 - 2015/2/1

KW - Empirical evaluation

KW - Formal methods

KW - MDE

KW - Tool-support

KW - Visual modelling languages

UR - https://www.scopus.com/pages/publications/84916887637

UR - https://www.scopus.com/pages/publications/84916887637#tab=citedBy

U2 - 10.1016/j.scico.2014.05.002

DO - 10.1016/j.scico.2014.05.002

M3 - Article

AN - SCOPUS:84916887637

SN - 0167-6423

VL - 98

SP - 52

EP - 79

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - P1

ER -

A tool for visual and formal modelling of software designs

Funding

Keywords

Access to Document

Other files and links

Fingerprint

Cite this