Browse by author
Lookup NU author(s): Emeritus Professor Alexander RomanovskyORCiD, Dr Elena Troubitsyna
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.
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
