BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × France
1 × Korea
1 × Spain
1 × Switzerland
1 × The Netherlands
1 × United Kingdom
Collaborated with:
P.G.Larsen G.D.M.Serugendo A.Romanovsky T.M.Brookes C.B.Jones H.D.Macedo J.Bicarregui J.C.P.Woodcock N.Guelfi M.A.Green K.G.Pierce M.Verhoef S.Wolff
Talks about:
system (7) formal (4) develop (3) model (3) architectur (2) specif (2) result (2) method (2) inform (2) depend (2)

Person: John S. Fitzgerald

DBLP DBLP: Fitzgerald:John_S=

Facilitated 2 volumes:

FM 2005Ed
FME 1997Ed

Contributed to:

IFM 20102010
SAC 20102010
FM 20092009
FM 20082008
SAC 20072007
FME 19961996
FME 19941994
VDM Europe 19901990

Wrote 8 papers:

IFM-2010-FitzgeraldLPVW #collaboration #development #embedded #modelling
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems (JSF, PGL, KGP, MV, SW), pp. 12–26.
SAC-2010-SerugendoFR #architecture #development #named #self
MetaSelf: an architecture and a development method for dependable self-* systems (GDMS, JSF, AR), pp. 457–461.
FM-2009-BicarreguiFLW #formal method #industrial #overview #perspective
Industrial Practice in Formal Methods: A Review (JB, JSF, PGL, JCPW), pp. 810–813.
FM-2008-MacedoLF #development #distributed #incremental #realtime #using
Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM (HDM, PGL, JSF), pp. 181–197.
SAC-2007-SerugendoFRG #architecture
A metadata-based architectural model for dynamically resilient systems (GDMS, JSF, AR, NG), pp. 566–572.
FME-1996-BrookesFL #case study #comparative #component #specification
Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study (TMB, JSF, PGL), pp. 214–227.
FME-1994-FitzgeraldBGL #case study #comparative #component #specification
Formal and Informal Specifications of a Secure System Component: first results in a comparative study (JSF, TMB, MAG, PGL), pp. 35–44.
VDME-1990-FitzgeraldJ #database
Modularizing the Formal Description of a Database System (JSF, CBJ), pp. 189–210.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.