Searching for authors named "Juan Bicarregui" – sorted by Relevance.
23 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
