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: Bicarregui:Juan
Contributed to:
2010
20092002
1998
1997
19971997199619941993
1991Wrote 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.
- FME-2002-Bicarregui
- 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.