Seguir
John S. Fitzgerald
Título
Citado por
Citado por
Ano
Formal methods: Practice and experience
J Woodcock, PG Larsen, J Bicarregui, J Fitzgerald
ACM computing surveys (CSUR) 41 (4), 1-36, 2009
9272009
Modelling systems: practical tools and techniques in software development
PG Larsen
Cambridge Univ Pr, 1998
493*1998
Validated designs for object-oriented systems
J Fitzgerald
Springer-Verlag New York Inc, 2005
4132005
Systems of systems engineering: basic concepts, model-based techniques, and research directions
CB Nielsen, PG Larsen, J Fitzgerald, J Woodcock, J Peleska
ACM Computing Surveys (CSUR) 48 (2), 1-41, 2015
3952015
Proof in VDM: A Practitioner's Guide
JC Bicarregui, JS Fitzgerald, PA Lindsay, RC Moore, B Ritchie
Springer, 1994
2041994
The overture initiative integrating tools for VDM
PG Larsen, N Battle, M Ferreira, J Fitzgerald, K Lausdahl, M Verhoef
ACM SIGSOFT Software Engineering Notes 35 (1), 1-6, 2010
1962010
Applying formal specification in industry
PG Larsen, J Fitzgerald, T Brookes
IEEE software 13 (3), 48-56, 1996
1551996
Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project
PG Larsen, J Fitzgerald, J Woodcock, P Fritzson, J Brauer, C Kleijn, ...
2016 2nd International Workshop on Modelling, Analysis, and Control of …, 2016
1272016
VDMTools: advances in support for formal modeling in VDM
JS Fitzgerald, PG Larsen, S Sahara
School of Computing Science Technical Report Series, 2007
1202007
Collaborative design for embedded systems
J Fitzgerald, PG Larsen, M Verhoef
Academic Press 10, 978-3, 2014
1092014
Features of CML: A formal modelling language for Systems of Systems
J Woodcock, A Cavalcanti, J Fitzgerald, P Larsen, A Miyazawa, S Perry
2012 7th International conference on system of systems engineering (SoSE), 1-6, 2012
992012
Vienna development method
JS Fitzgerald, PG Larsen, M Verhoef
Wiley encyclopedia of computer science and engineering, 1-11, 2007
962007
Cyber-physical systems design: formal foundations, methods and integrated tool chains
J Fitzgerald, C Gamble, PG Larsen, K Pierce, J Woodcock
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering, 40-46, 2015
772015
VDM-10 language manual
PG Larsen, K Lausdahl, N Battle, J Fitzgerald, S Wolff, S Sahara, ...
Internet: overturetool. org/documentation/manuals. html [Oct. 5, 2020], 2013
662013
Incremental development of a distributed real-time model of a cardiac pacing system using VDM
HD Macedo, PG Larsen, J Fitzgerald
FM 2008: Formal Methods: 15th International Symposium on Formal Methods …, 2008
622008
Collaborative modelling and co-simulation in the development of dependable embedded systems
J Fitzgerald, PG Larsen, K Pierce, M Verhoef, S Wolff
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy …, 2010
552010
Metaself: an architecture and a development method for dependable self-* systems
G Di Marzo Serugendo, J Fitzgerald, A Romanovsky
Proceedings of the 2010 ACM Symposium on Applied Computing, 457-461, 2010
512010
A metadata-based architectural model for dynamically resilient systems
G Di Marzo Serugendo, J Fitzgerald, A Romanovsky, N Guelfi
Proceedings of the 2007 ACM symposium on Applied computing, 566-572, 2007
512007
Modularizing the formal description of a database system
JS Fitzgerald, CB Jones
VDM'90 VDM and Z—Formal Methods in Software Development: Third …, 1990
511990
A formal approach to collaborative modelling and co-simulation for embedded systems
JS Fitzgerald, PG Larsen, KG Pierce, MHG Verhoef
Mathematical Structures in Computer Science 23 (4), 726-750, 2013
432013
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20