@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",
}