|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 33 occurrences of 27 keywords
|
|
|
|
|
Results
Found 42 publication records. Showing 42 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Brian Matthews, Arif Shaon, Juan Bicarregui, Catherine Jones, Esther Conway, Jim Woodcock |
Considering Software Preservation.  |
ERCIM News  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Alvaro E. Arenas, Benjamin Aziz, Juan Bicarregui, Michael D. Wilson |
An Event-B Approach to Data Sharing Agreements. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald |
Formal methods: Practice and experience. |
ACM Comput. Surv. |
2009 |
DBLP DOI BibTeX RDF |
formal methods surveys, verified software initiative, grand challenges, Experimental software engineering, verified software repository |
| 1 | Damian Flannery, Brian Matthews, Tom Griffin, Juan Bicarregui, Michael Gleaves, Laurent Lerusse, Roger Downing, Alun Ashton, Shoaib Sufi, Glen Drinkwater, Kerstin Kleese van Dam |
ICAT: Integrating Data Infrastructure for Facilities Based Science. |
eScience |
2009 |
DBLP DOI BibTeX RDF |
facilities, synchrotron source, neutron source, metadata, data management, data curation |
| 1 | Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock |
Industrial Practice in Formal Methods: A Review. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews |
Managing Conflicts of Interest in Virtual Organisations. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews, Erica Y. Yang |
Modelling Security Properties in a Grid-based Operating System with Anti-Goals. |
ARES |
2008 |
DBLP DOI BibTeX RDF |
Security, Grid, Requirement Engineering |
| 1 | Juan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard |
Towards Modelling Obligations in Event-B. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Butterfield, Juan Bicarregui, Alvaro Arenas |
Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria. |
Formal Methods in System Design |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock |
The verified software repository: a step towards the verifying compiler. |
Formal Asp. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Grand challenges in computer science, Dependable systems evolution, Software engineering, Tools, Program verification, Verified software repository, Verifying compiler, Assertional reasoning |
| 1 | Juan Bicarregui, Andrew Butterfield, Alvaro Arenas |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum |
Towards Dynamically Communicating Abstract Machines in the B Method. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum |
Implementing Dynamic Aggregations of Abstract Machines in the B Method. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Bicarregui |
Information Systems Research and Development at CCLRC: Accelerating Innovation through Technology Transfer. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Theodosis Dimitrakos, Brian Matthews, Simon C. Lambert, Juan Bicarregui |
Meta-data Management Issues Underpinning Emerging Solutions for Distributed Trust and Contract Management in Enterprise Grid and P2P Systems. Experiences from GRASP, SWAD-Europe, PELLUCID and CORAS projects. |
MMGPS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Nazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum |
Towards Dynamic Population Management of Abstract Machines in the B Method. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
modularisation, object orientation, dynamic reconfiguration, Structuring mechanisms |
| 1 | Theodosis Dimitrakos, Ivan Djordjevic, Brian Matthews, Juan Bicarregui, Chris I. Phillips |
Policy-Driven Access Control over a Distributed Firewall Architecture. (PDF / PS) |
POLICY |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Bicarregui |
Do Not Read This. |
FME |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Bicarregui, Theodosis Dimitrakos, Dov M. Gabbay, T. S. E. Maibaum |
Interpolation in Practical Formal Development. |
Logic Journal of the IGPL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | John V. Ashby, Juan Bicarregui, David R. S. Boyd, Kerstin Kleese van Dam, Simon C. Lambert, Brian Matthews, Kevin D. O'Neill |
A Multidisciplinary Scientific Data Portal. |
HPCN |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, Juan Bicarregui, Andy Evans |
Structured Axiomatic Semantics for UML Models. |
Rigorous Object-Oriented Methods |
2000 |
DBLP BibTeX RDF |
|
| 1 | Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum |
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Bicarregui, Brian Matthews |
Proof and Refutation in Formal Software Development. |
IWFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Juan Bicarregui |
Exploiting Formality in Software Engineering. |
SOFSEM |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Bicarregui, Brian Matthews, Brian Ritchie, Sten Agerholm |
Investigating the Integration of two Formal Methods. |
Formal Asp. Comput. |
1998 |
DBLP DOI BibTeX RDF |
Heterogeneous development, Formal specification, Translation, Tool support, B, VDM |
| 1 | Kevin Lano, Juan Bicarregui |
Semantics and Transformations for UML Models. |
UML |
1998 |
DBLP BibTeX RDF |
|
| 1 | Brian Matthews, Brian Ritchie, Juan Bicarregui |
Synthesising Structure from Flat Specifications. |
B |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Bicarregui, Jeremy Dick, Brian Matthews, Eoin Woods |
Making the Most of Formal Specification Through Animation, Testing and Proof. |
Sci. Comput. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Bicarregui, D. L. Clutterbuck, Gavin R. Finnie, Howard P. Haughton, Kevin Lano, H. Lesan, D. W. R. M. Marsh, B. M. Matthews, Michael R. Moulding, A. Richard Newton, Brian Ritchie, T. G. A. Rushton, P. N. Scharbach |
Formal methods into practice: case studies in the application of the B method. |
IEE Proceedings - Software |
1997 |
DBLP BibTeX RDF |
|
| 1 | Juan Bicarregui, Kevin Lano, T. S. E. Maibaum |
Formalizing Object-Oriented Models in the Object Calculus. |
ECOOP Workshops |
1997 |
DBLP BibTeX RDF |
|
| 1 | Savi Maharaj, Juan Bicarregui |
On the Verification of VDM Specification and Refinement with PVS. (PDF / PS) |
ASE |
1997 |
DBLP DOI BibTeX RDF |
VDM specification, VDM formal method, PVS theorem prover, VDM-SL specification translation, PVS specification language, transparent translation methods, specification type-checking, nontrivial validation conditions, abstract specification, shallow embedding technique, verification, formal specification, proof rules |
| 1 | Juan Bicarregui, Kevin Lano, T. S. E. Maibaum |
Towards a compositional interpretation of object diagrams. |
Algorithmic Languages and Calculi |
1997 |
DBLP BibTeX RDF |
|
| 1 | Kevin Lano, S. J. Goldsack, Juan Bicarregui, Stuart Kent |
Integrating VDM++ and Real-Time System Design. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes |
Specification of Required Non-determinism. |
FME |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Bicarregui, Kevin Lano, T. S. E. Maibaum |
Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. |
ECOOP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Bicarregui, Jeremy Dick, Eoin Woods |
Quantitative Analysis of an Application of Formal Methods. |
FME |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Bicarregui, Brian Ritchie |
Invariants, Frames, and Postconditions: A Comparison of the VDM and B Notations. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
Abstract Machine Notation, model-oriented specification, formal methods, B, VDM |
| 1 | Juan Bicarregui, Brian Matthews |
Formal Methods in Practice: A Comparison of Two Support Systems for Proof. |
SOFSEM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Ritchie, Juan Bicarregui, Howard P. Haughton |
Experiences in Using the Abstract Machine Notation in a GKS Case Study. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Bicarregui, Brian Ritchie |
Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Bicarregui |
Algorithm Refinement with Read and Write Frames. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Bicarregui, Brian Ritchie |
Reasoning about VDM Developments using the VDM Support Tool in MURAL. |
VDM Europe |
1991 |
DBLP DOI BibTeX RDF |
integrated support environments, formal specification, formal methods, refinement, proof |
Displaying result #1 - #42 of 42 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")