Toggle Main Menu Toggle Search

Open Access padlockePrints

Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems

Lookup NU author(s): Professor Alexander Romanovsky, Dr Elena Troubitsyna

Downloads


Abstract

Model-Driven Development (MDD) and Formal Methods (FM) put the emphasis on the use of models through the process of system development. Though MDD traditionally rely on graphical model representations, while FM uses mathematical notations, they pursue the same goal of ensuring dependability and robustness of the software intensive systems.The workshop looks into how to enhance the use of MDD by the power of FM for assurance and dependability. The focus is on discussing the interplay between the use of FM approaches and the MDD techniques, and on ensuring a smooth integration of the two viewpoints.The programme of the workshop consists of two invited talks, one invited industrial presentation and six technical talks to be given by the experts from all over the world.


Publication metadata

Author(s): Ishikawa F, Romanovsky A, Troubitsyna E

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2016

Pages: 502

Print publication date: 10/11/2016

Acceptance date: 10/11/2016

Report Number: 1503

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1503


Share