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 × Austria
1 × Finland
1 × Spain
1 × United Kingdom
2 × Denmark
2 × France
2 × The Netherlands
Collaborated with:
B.Ritchie K.Lano S.Maharaj T.S.E.Maibaum J.Dick E.Woods H.P.Haughton A.E.Arenas B.Aziz M.D.Wilson J.S.Fitzgerald P.G.Larsen J.C.P.Woodcock J.L.Fiadeiro A.Lopes
Talks about:
vdm (4) approach (2) specif (2) method (2) formal (2) refin (2) notat (2) frame (2) read (2) use (2)

Person: Juan Bicarregui

DBLP DBLP: Bicarregui:Juan

Contributed to:

IFM 20102010
FM 20092009
FME 20022002
UML 19981998
ASE 19971997
ECOOP 19971997
FME 19971997
FME 19961996
FME 19941994
FME 19931993
VDM Europe (1) 19911991

Wrote 13 papers:

IFM-2010-ArenasABW #approach
An Event-B Approach to Data Sharing Agreements (AEA, BA, JB, MDW), pp. 28–42.
FM-2009-BicarreguiFLW #formal method #industrial #overview #perspective
Industrial Practice in Formal Methods: A Review (JB, JSF, PGL, JCPW), pp. 810–813.
Do Not Read This (JB), pp. 106–125.
UML-1998-LanoB #modelling #semantics #uml
Semantics and Transformations for UML Models (KL, JB), pp. 107–119.
ASE-1997-MaharajB #on the #refinement #specification #verification
On the Verification of VDM Specification and Refinement with PVS (SM, JB), p. 280–?.
ECOOP-1997-BicarreguiLM #approach #encapsulation
Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation (JB, KL, TSEM), pp. 324–343.
FME-1997-LanoBFL #nondeterminism #specification
Specification of Required Non-determinism (KL, JB, JLF, AL), pp. 298–317.
FME-1996-BicarreguiDW #analysis #formal method
Quantitative Analysis of an Application of Formal Methods (JB, JD, EW), pp. 60–73.
FME-1994-RitchieBH #automaton #case study #experience #using
Experiences in Using the Abstract Machine Notation in a GKS Case Study (BR, JB, HPH), pp. 93–104.
FME-1993-Bicarregui #algorithm #refinement
Algorithm Refinement with Read and Write Frames (JB), pp. 148–161.
FME-1993-BicarreguiR #comparison #invariant
Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations (JB, BR), pp. 162–182.
VDME-1991-BicarreguiR #reasoning #using
Reasoning about VDM Developments using the VDM Support Tool in MURAL (JB, BR), pp. 371–388.

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.