Menu

P. G. Larsen

8 published titles

Modelling systems : practical tools and techniques in software development

(Contributor)

2 editions

  • ISBN: 0521623480
  • Cambridge University Press
  • 1998
  • Details
  • ISBN: 9780521899116
  • Cambridge University Press
  • 2009
  • 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++

1 edition

  • University of Newcastle upon Tyne
  • 2006
  • Details

Balancing insight and effort : the industrial uptake of formal methods

(Contributor)

1 edition

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

VDMTools : advances in support for formal modeling in VDM

(Contributor)

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 the 7th OVERTURE workshop

(Contributor)

1 edition

  • Computing Science, Newcastle University
  • 2009
  • Details

Are formal methods ready for agility? : a reality check

1 edition

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

obnb.uk is a Good Stuff website.