A5001780877- Formal Methods in Verification
- Model-Driven Software Engineering Techniques
- Logic, programming, and type systems
- Scientific Computing and Data Management
- Research Data Management Practices
- Distributed and Parallel Computing Systems
- Advanced Software Engineering Methodologies
- Advanced Data Storage Technologies
- Distributed systems and fault tolerance
- Service-Oriented Architecture and Web Services
- Business Process Modeling and Analysis
- Semantic Web and Ontologies
- Simulation Techniques and Applications
- Software Testing and Debugging Techniques
- Access Control and Trust
- Real-Time Systems Scheduling
- Software Reliability and Analysis Research
- Petri Nets in System Modeling
- Software Engineering Research
- Digital and Traditional Archives Management
- Logic, Reasoning, and Knowledge
- Manufacturing Process and Optimization
- Computability, Logic, AI Algorithms
- Data Quality and Management
- Security and Verification in Computing
Science and Technology Facilities Council
2009-2023
Rutherford Appleton Laboratory
2004-2021
Research Complex at Harwell
2021
IFC Research (United Kingdom)
2020
Imperial College London
1997-2002
University of Brighton
1997
Imperial Valley College
1997
Software preservation has not had detailed consideration as a research topic or in practical application. In this paper, we present conceptual framework to capture and organise the main notions of software preservation, which are required for coherent comprehensive approach. This three aspects. Firstly discussion what it means preserve via performance model considers how artefact can be rebuilt from preserved components then seen representative original product. Secondly development...
‘Big Science’ - that is, science which involves large collaborations with dedicated facilities, and involving data volumes multinational investments – is often seen as different when it comes to management preservation planning. Big Science handles its differently from other disciplines has problems are qualitatively disciplines. In part, these differences arise the quantities of involved, but possibly more importantly cultural, organisational technical distinctiveness academic...
This paper views design patterns [5] as a transformation from “before” system consisting of set classes (often single unstructured class) into an “after” collection organised by the pattern. To prove that these transformations are formal refinements, we adopt version Object Calculus [4] semantic framework. We make explicit conditions under which formally correct. give some additional pattern have been termed “annealing” in VDM++ world, include introduction concurrent execution initially...
Scientific facilities, in particular large-scale photon and neutron sources, have demanding requirements to manage the increasing quantities of experimental data they generate a systematic secure way. In this paper, we describe ICAT infrastructure for cataloguing facility-generated which has been development within STFC DLS several years. We consider factors influenced its design architecture metadata model, key tool management data. go on give an outline current implementation use, with...
<ns4:p>The systemic challenges of the COVID-19 pandemic require cross-disciplinary collaboration in a global and timely fashion. Such needs open research practices sharing outputs, such as data code, thereby facilitating reproducibility beyond borders. The Research Data Alliance Working Group recently published set recommendations guidelines on related best for research. These include clinicians, researchers, policy- decision-makers, funders, publishers, public health experts, disaster...
Journal Article Interpolation in practical formal development Get access J Bicarregui, Bicarregui Search for other works by this author on: Oxford Academic Google Scholar T Dimitrakos, Dimitrakos D Gabbay, Gabbay Maibaum Logic of the IGPL, Volume 9, Issue 2, March 2001, Pages 231–244, https://doi.org/10.1093/jigpal/9.2.231 Published: 01 2001
The systemic challenges of the COVID-19 pandemic require cross-disciplinary collaboration in a global and timely fashion. Such needs open research practices sharing outputs, such as data code, thereby facilitating reproducibility beyond borders. Research Data Alliance Working Group recently published set recommendations guidelines on related best for research. These include researchers, policymakers, funders, publishers infrastructure providers from perspective different domains (Clinical...
The paper reports on an investigation into the application of B method formal software development. Six case studies are described, each exploring a different aspect use methodology and toolkit. drawn from diverse range applications address aspects development lifecycle. notation, tool support assessed conclusions concerning methods generally.
In this paper, we present a formal model of virtual organisations that incorporates the concept conflicts interest. The model, which follows an incremental development approach using Event-B, focuses on goals and at abstract level introduces resources concrete level. is motivated by type used in domain scientific experiments. Individual organisations, level, are allowed to pursue conflicting within organisation. However, these isolated applying separation mechanism. This ensures no resource...
The MaRDI-Gross project aims to provide high-level guidance for the strategic and engineering development of Data Management Preservation plans Big Science data. main outcome will be a document, nominal audience which is therefore rather narrow. However, intention that document use other planners data architects who wish implement good practice in this area.
Today's scientific research is conducted not just by single experiments, but rather sequences of related experiments or projects linked a common theme that lead to greater understanding the physical world. This particularly true at large-scale facilities such as synchrotrons, neutron sources, and free-electron lasers. These provide wide variety techniques, instruments, applications services user communities. The denominator different kinds undertaken need manage, visualize, analyze vast...