Concepedia

Juan Bicarregui

JB

Statistics

Publications

20

Citations

463

H-Index

13

Active since

1995

Affiliations

Rutherford Appleton Laboratory(Current)

Science and Technology Facilities Council

National Institutes of Health

Academy of Athens

Cancer Research UK

Juan Bicarregui is an author at Rutherford Appleton Laboratory specializing in engineering, computer science, and software design.

Top concepts

EngineeringComputer ScienceSoftware DesignFormal MethodsSoftware AnalysisFormal VerificationSoftware EngineeringData ManagementProgram AnalysisSoftware Testing

Publications per year

1995–2021

20

Publications

20

FORMALISING DESIGN PATTERNS

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

Engineering, Formal Refinements, Architectural Pattern +21

A Framework for Software Preservation

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

Software Maintenance, Engineering, Software Preservation +18

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

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

Dmp Plans, Engineering, Data Management Issue +17

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

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

Specification Language, Formal Specification, Engineering +14

1–5 of 20