Persistent Modelling
Download Persistent Modelling PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Persistent Modelling book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Persistent Modelling
Drawing upon both historical and contemporary perspectives, this book examines the relationship between representation and the represented through the notion of Persistent Modelling. Featuring contributions from some of the world’s most advanced thinkers on this subject, this book makes essential reading for anyone considering new ways of thinking about architecture.
Modelling Foundations and Applications
This book constitutes the proceedings of the 10th European Conference on Modelling Foundations and Applications, ECMFA 2014, held as part of STAF 2014, in York, UK, in July 2014. The 14 foundation track papers and the 3 applications track papers presented in this volume were carefully reviewed and selected from 58 submissions. They are on all aspects of MDE, including topics such as model provenance; model transformations and code generation; model synthesis; model-driven testing; formal modeling approaches; business modeling; and usability of models.
Modelling Systems
Author: John Fitzgerald
language: en
Publisher: Cambridge University Press
Release Date: 2009-06-11
How can we make sure that the software we build does what it is supposed to? This book provides an insight into established techniques which help developers to overcome the complexity of software development by constructing models of software systems in early design stages. It uses one of the leading formal methods, VDM (Vienna Development Method), and combines training in the formalism with industry-strength tool support and examples derived from real industrial applications. The principles taught here also apply to many of the current generation of formal methods. This second edition has been updated to include advanced online tool support for formal modelling as well as up-to-date reports on real commercial applications in areas as diverse as business information systems and firmware design.