The verified software repository : a step towards the verifying compiler von BICARREGUI, J. C, HOARE, C. A. R, WOODCOCK, J. C. P

Volltext

MaRDI-Gross – Data Management and Preservation Planning for Large Projects von Jones, RWL, Bicarregui, JC, Gray, N, Henderson, RCW, Lambert, SC, Matthews, BM

Volltext

Exploiting formality in software engineering von BICARREGUI, J. C

Volltext

Objects, associations and subsystems: A hierarchical approach to encapsulation von Bicarregui, J. C., Lano, K. C., Maibaum, T. S. E.

Volltext

Industrial Practice in Formal Methods: A Review von Bicarregui, J. C., Fitzgerald, J. S, Larsen, P. G., Woodcock, J. C. P.

Volltext

Formalising Object-Oriented Models in the Object Calculus von Bicarregui, J. C., Lano, K. C., Maibaum, T. S. E.

Volltext

Reasoning about VDM developments using the VDM support tool in mural von Bicarregui, J. C., Ritchie, B.

Volltext

A multidisciplinary scientific data portal von ASHBY, John V, BICARREGUI, Juan C, BOYD, David R. S, KLEESE-VAN DAM, Kerstin, LAMBERT, Simon C, MATTHEWS, Brian M, O'NEILL, Kevin D

Volltext

Policy-driven access control over a distributed firewall architecture von Dimitrakos, T., Djordjevic, I., Matthews, B., Bicarregui, J., Phillips, C.

Volltext bestellen