Juan Bicarregui

FORMALISING DESIGN PATTERNS

Kevin Lano, Juan Bicarregui, S. J. Goldsack · Electronic workshops in computing · 1996 · 50 citations · Full text

Computing, Computer Science, Design Automation +12

A Framework for Software Preservation

Brian W. Matthews, Arif Shaon, Juan Bicarregui et al. · International Journal of Digital Curation · 2010 · 48 citations · Full text

Computing, Computer Science, Preservation Technology +16

The verified software repository: a step towards the verifying compiler

Juan Bicarregui, C. A. R. Hoare, Jim Woodcock · Formal Aspects of Computing · 2006 · 47 citations · Full text

Computing, Computer Engineering, Computer Science +13

Data Management and Preservation Planning for Big Science

Juan Bicarregui, Norman Gray, Rob Henderson et al. · International Journal of Digital Curation · 2013 · 37 citations · Full text

Computing, Data Science, Data Engineering +12

Making the most of formal specification through animation, testing and proof

Juan Bicarregui, Jeremy Dick, Brian W. Matthews et al. · Science of Computer Programming · 1997 · 34 citations

Computing, Computer Science, Formal Methods +9