Menu

John Fitzgerald

27 published titles

FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings

(Contributor)

1 edition

  • ISBN: 3540635335
  • Springer
  • 1997
  • Details

Modelling systems : practical tools and techniques in software development

2 editions

  • ISBN: 0521623480
  • Cambridge University Press
  • 1998
  • Details
  • ISBN: 9780521899116
  • Cambridge University Press
  • 2009
  • Details

Validated designs for object-oriented systems

(Contributor)

1 edition

  • ISBN: 1852338814
  • Springer
  • 2005
  • Details

FM 2005 : formal methods : International Symposium of Formal Methods Europe Newcastle, UK, July 18-22, 2005 : proceedings

(Contributor)

1 edition

  • ISBN: 9783540278825
  • Springer
  • 2005
  • Details

Towards next generation tools for VDM : contributions to the first international overture workshop, Newcastle, July 2005

(Contributor)

1 edition

  • University of Newcastle upon Tyne
  • 2006
  • Details

Learning by doing : practical courses in lightweight formal methods using VDM++

(Contributor)

1 edition

  • University of Newcastle upon Tyne
  • 2006
  • Details

Formal engineering of XACML access control policies in VDM++

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2007
  • Details

A formal approach to dependable evolution of access control policies in dynamic collaborations

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2007
  • Details

Resilience modelling through discrete event and continuous time

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2007
  • Details

Balancing insight and effort : the industrial uptake of formal methods

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2007
  • Details

The connection between two ways of reasoning about partial functions

1 edition

  • University of Newcastle upon Tyne, Computing science
  • 2007
  • Details

Validating access control policies for virtual organisations

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2007
  • Details

VDMTools : advances in support for formal modeling in VDM

1 edition

  • University of Newcastle upon Tyne, Computing science
  • 2007
  • Details

Incremental development of a distributed real-time model of a cardiac pacing system using VDM

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing science
  • 2007
  • Details

Proceedings of Formal aspects of virtual organisations 2008

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2008
  • Details

Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems : a technical diary

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2008
  • Details

Proceedings of Formal Aspects of Virtual Organisations 2009

(Contributor)

1 edition

  • Computing Science, Newcastle University
  • 2009
  • Details

Are formal methods ready for agility? : a reality check

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2010
  • Details

Evaluation of architectural frameworks supporting contract-based specification

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2010
  • Details

Collaborative modelling and co-stimulation in the development of dependable embedded systems

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2010
  • Details

Contract-based interface specification language for functional and non-functional properties

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2011
  • Details

A formal approach to collaborative modelling and co-simulation for embedded systems

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2011
  • Details

A formal model-based approach to engineering systems-of-systems

1 edition

  • Newcastle University, Computing Science
  • 2012
  • Details

Maintaining emergence in systems of systems integration : a contractual approach using SysML

(Contributor)

1 edition

  • University of Newcastle Upon Tyne, Computing Science
  • 2014
  • Details

A rigorous approach to the design of resilient cyber-physical systems through co-simulation

1 edition

  • Newcastle University, Computing Science
  • Details

Fault modelling for systems of systems

(Contributor)

1 edition

  • Computing Science, Newcastle University
  • Details

Model-based engineering of emergence in a collaborative SoS : exploiting SysML & formalism

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • Details

obnb.uk is a Good Stuff website.