Seuraa
Bicarregui
Bicarregui
Science and Technology Facilities Council
Vahvistettu sähköpostiosoite verkkotunnuksessa stfc.ac.uk - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Formal methods: Practice and experience
J Woodcock, PG Larsen, J Bicarregui, J Fitzgerald
ACM computing surveys (CSUR) 41 (4), 1-36, 2009
10352009
Mural: a formal development support system
CB Jones, KD Jones, P Lindsay, RD Moore
Springer Science & Business Media, 2012
2672012
Proof in VDM: A Practitioner's Guide
JC Bicarregui, JS Fitzgerald, PA Lindsay, RC Moore, B Ritchie
Springer, 1994
2141994
A Framework for Software Preservation.
B Matthews, A Shaon, J Bicarregui, CM Jones
Int. J. Digit. Curation 5 (1), 91-105, 2010
792010
Formalising design patterns
K Lano, JC Bicarregui, S Goldsack
Proceedings of the BCS-FACS Northern Formal Methods Workshop, 1996
731996
The verified software repository: a step towards the verifying compiler
JC Bicarregui, CAR Hoare, JCP Woodcock
Formal Aspects of Computing 18, 143-151, 2006
692006
Semantics and transformations for UML models
K Lano, J Bicarregui
International Conference on the Unified Modeling Language, 107-119, 1998
661998
Invariants, frames and postconditions: a comparison of the VDM and B notations
J Bicarregui, B Ritchie
IEEE Transactions on Software Engineering 21 (2), 79-89, 1995
591995
Making the most of formal specification through animation, testing and proof
J Bicarregui, J Dick, B Matthews, E Woods
Science of computer programming 29 (1-2), 53-78, 1997
541997
Formalising the UML in structured temporal theories
K Lano, J Bicarregui
Behavioral Specifications of Businesses and Systems, 161-174, 1999
531999
Objects, Associations and Subsystems: a hierarchical approach to encapsulation
JC Bicarregui, KC Lano, TSE Maibaum
ECOOP'97—Object-Oriented Programming: 11th European Conference Jyväskylä …, 1997
521997
Formal methods into practice: case studies in the application of the B method
JC Bicarregui, DL Clutterbuck, G Finnie, H Haughton, K Lano, H Lesan, ...
IEE Proceedings-Software 144 (2), 119-133, 1997
481997
Towards modelling obligations in Event-B
J Bicarregui, A Arenas, B Aziz, P Massonet, C Ponsard
Abstract State Machines, B and Z: First International Conference, ABZ 2008 …, 2008
422008
Policy-driven access control over a distributed firewall architecture
T Dimitrakos, I Djordjevic, B Matthews, J Bicarregui, C Phillips
Proceedings Third International Workshop on Policies for Distributed Systems …, 2002
422002
ICAT: Integrating data infrastructure for facilities based science
D Flannery, B Matthews, T Griffin, J Bicarregui, M Gleaves, L Lerusse, ...
2009 Fifth IEEE International Conference on e-Science, 201-207, 2009
392009
Significant properties, authenticity, provenance, representation information and OAIS information
D Giaretta, B Matthews, J Bicarregui, S Lambert, M Guercio, G Michetti, ...
39*2009
UML refinement and abstraction transformations
K Lano, J Bicarregui
Second Workshop on Rigorous Object Orientated Methods: ROOM 2, 1998
361998
Industrial practice in formal methods: A review
JC Bicarregui, JS Fitzgerald, PG Larsen, JCP Woodcock
International Symposium on Formal Methods, 810-813, 2009
342009
On the verification of VDM specification and refinement with PVS
S Maharaj, J Bicarregui
Proceedings 12th IEEE International Conference Automated Software …, 1997
34*1997
Quantitative analysis of an application of formal methods
J Bicarregui, J Dick, E Woods
International Symposium of Formal Methods Europe, 60-73, 1996
341996
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20