Searching for authors named "Juan Bicarregui" – sorted by Relevance.
-
Algorithm Refinement with Read and Write Frames
- Algorithm Refinement with Read and Write Frames Juan Bicarregui Systems Engineering Division SERC
- Cited by 3 (3 self) – Add To MetaCart
-
Integrating EXPRESS and SGML for Document Modelling in Control Systems Design
- Integrating EXPRESS and SGML for Document Modelling in Control Systems Design Juan Bicarregui
- Cited by 2 (0 self) – Add To MetaCart
-
On the Verification of VDM Specification and Refinement with PVS
- of Computing and Mathematics Stirling University Stirling FK9 4LA, UK savi@(email omitted); Juan Bicarregui
- Cited by 6 (2 self) – Add To MetaCart
-
Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations
- 1 Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations Juan Bicarregui
- Cited by 18 (5 self) – Add To MetaCart
-
Making the most of formal specification through animation, testing and proof
- Programming of formal specification through animation, testing and proof Juan Bicarreguiaab>*, Jeremy Dick
- Cited by 16 (5 self) – Add To MetaCart
-
Synthesising Structure From Flat Specifications
- Synthesising structure from flat specifications Brian Matthews, Brian Ritchie, and Juan Bicarregui
- Cited by 8 (7 self) – Add To MetaCart
-
Building Trust on the GRID (Trust Issues Underpinning Scalable Virtual Organisations
- , Juan Bicarregui, Theo Dimitrakos CLRC Rutherford Appleton Laboratory, Oxfordshire, OX11 0QX, UK b
- Cited by 2 (1 self) – Add To MetaCart
-
Integrating Heterogeneous Formalisms: Framework and Application
- Integrating Heterogeneous Formalisms: Framework and Application Theodosis Dimitrakos a , Juan
- Cited by 1 (1 self) – Add To MetaCart
-
Intra-Modular Structuring in Model-Oriented Specification: Expressing Non-interference with Read and Write Frames
- and Write Frames Juan C. Bicarregui 1 2 Computing and Information Systems Department Rutherford Appleton
- Cited by 3 (3 self) – Add To MetaCart
-
Experiences with Proof in a Formal Development
- Experiences with Proof in a Formal Development Denton Clutterbuck , Juan Bicarregui y
- Cited by 3 (3 self) – Add To MetaCart

