Browse by author
Lookup NU author(s): Professor John Fitzgerald, Dr Peter Larsen
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
This paper is a contribution to the Festschrift marking the 70th birthdays of Prof. Dines Bjoerner and Prof. Zhou Chaochen. Our goal is to help the developers of computer-based systems to make informed design decisions on the basis of insights gained from the rigorous analysis of abstract system models. The early work on model-oriented specification has inspired the development of numerous formalisms and tools supporting modelling and analysis. There are also many stories of successful industrial application, often driven by a few champions possessing deep a priori understanding of formalisms. There are fewer cases of successful take-up or adoption of the technology in the long term.We argue that successful industrial adoption of this technology requires that potential users strike a balance between the effort expended in producing and analysing a model and insight gained. In order to support this balancing act, tools need to offer a range of levels of effort and insight. Further, educators need to recognise that training in formal development techniques must support this trade-off process.
Author(s): Fitzgerald JS, Larsen PG
Editor(s): Jones, CB; Liu, Z; Woodcock, JCP
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Formal Methods and Hybrid Real-Time Systems, Essays in Honour of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays
Year of Conference: 2007
Number of Volumes: 1
Pages: 237-254
ISSN: 0302-9743 (Print) 1611-3349 (Online)
Publisher: Springer
URL: http://dx.doi.org/10.1007/978-3-540-75221-9_10
DOI: 10.1007/978-3-540-75221-9_10
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science
ISBN: 9783540752202