Вы здесь

Главная

vdm

Связанные издания:

Abstract Model Checking of Infinite Specifications
Algorithm Refinement with Read and Write Frames
An Algebraic Proof in VDM
An Experiment in VDM to SQL Translation
An Extended VDM Refinement Relation
Annealing and Data Decomposition in VDM++
An Overview of the ISO/VDM-SL Standard
A Precise Examination of the Behaviour of Process Models
A Semantics for NewSpeak in VDM-SL
A Survey of Formal Software Development Methods
A Typed Logic of Partial Functions Reconstructed Classically
Automatic Translation of VDM Specifications into Standard ML Programs
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer Engineering Mathematics
A Visual Approach to VDM
Conformity Clause for VDM-SL
Evaluation of Underdetermined Explicit Definitions
Exploring Specifications with Mathematica
FME`93: Industrial-Strength Formal Methods: Proc./First Intern. Symp. of Formal Methods Europe. Odense, Denmark, April 1993
Formal and Informal Specifications of a Secure System Component: First Results in a Comparative Study
Formal Methods in Practice: A Comparison of Two Support Systems for Proof
Formal, Model-Oriented Software Development Methods. From VDM to ProCoS & from RAISE to LaCoS
Formal Specification and Prototyping of a Program Specializer
Integrating AORTA with Model-Based Data Specification Languages
Integrating VDM++ and Real-Time System Design
Introducing Data Decomposition into VDM for Tractable Development of Programs
Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations
Literature Mathematical Development of a Revision Management System
Maintaining Consistency Under Changes to Formal Specifications
Object-Oriented Formal Specification Development using VDM
On Transferring VDM Verification Techniques to Z
Proof-Based Development of Specifications with KIDS/VDM
Role of VDM(++) in the Development of a Real-Time Tracking and Tracing System
Scientific Decisions which Characterize VDM
Specification of the MAA Standard in VDM
Specification of the Two-way Handshake in VDM
Synthesising Structure from Flat Specifications
Testing Using Z Specifications
The IFAD VDM-SL Toolbox: A Practical Approach to Formal Specifications
Understanding the Differences between VDM and Z
Using ABC to Prototype VDM Specifications
Using KIDS as a Tool Support for VDM
Validation of a Railway Interlocking Model
VDM specification of the MD4 message digest algorithm
VDM Specification of the Secure Hash Algorithm
Построение и анализ алгоритма универсальной унификации в VDM
Технология программирования, основанная на подходе VDM