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