Skip to search formSkip to main contentSkip to account menu
Formal methods: Practice and experience
TLDR
The state of the art in the industrial use of formal methods is described, concentrating on their increasing use at the earlier stages of specification and design, by comparing the situation in 2009 with the most significant surveys carried out over the last 20 years.
View on ACM
Data Management and Preservation Planning for Big Science
TLDR
The MaRDI-Gross project is discussed, which has been developing a toolkit to provide guidelines on the application of best practice in DMP planning within big science projects, targeted primarily at projects’ engineering managers, but intending also to help funders collaborate on DMP plans which satisfy the requirements imposed on them.
View PDF
Proof in VDM: A Practitioner's Guide
TLDR
A logical framework for proofs in VDM and an example of a well-formedness proof obligation are presented.
View via Publisher
Industrial Practice in Formal Methods: A Review
TLDR
The review suggests that formal methods are being applied in a wide range of application domains, with increasingly strong tool support, using data gathered in a review of 62 projects taking place over the last 25 years.
View via Publisher
A Framework for Software Preservation
TLDR
This paper presents a conceptual framework to capture and organise the main notions of software preservation, which are required for a coherent and comprehensive approach and describes the SPEQS toolkit, a tool to capture software preservation properties within a software development.
View via Publisher
Significant Properties, Authenticity, Provenance, Representation Information and OAIS Information
TLDR
A definition of Significant Properties is proposed which provides a way to clarify this relationship and indicates how the concept can be used in a coherent way and links together Authenticity and Provenance which are also key concepts in digital preservation.
View Paper
Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation
TLDR
A compositional approach to the formal interpretation of type view diagrams and statecharts is described, which combines theories for object instances and classes and theories for associations between them to yield a formalisation of the entire system.
View via Publisher
Quantitative Analysis of an Application of Formal Methods
TLDR
The MaFMeth project, which undertook a formal development with tool support for several parts of the life cycle from requirements capture through to C code generation, explores the hypotheses that formal methods enable the early detection of faults in design.
View via Publisher
On the verification of VDM specification and refinement with PVS
TLDR
This paper describes a translation of a VDM-SL specification into the PVS specification language using, essentially, the very transparent translation methods described by Agerholm (1996).
View on IEEE
Formalising design patterns
TLDR
This paper views design patterns as a transformation from a "before" system consisting of a set of classes (often a single unstructured class) into an "after" system, which includes the introduction of concurrent execution into an initially sequential system.
View PDF
...
...
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License