DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Formal specification
Formal specification
Formal Specification Methods What Are Formal Methods? Objectives Of
Certification of a Tool Chain for Deductive Program Verification Paolo Herms
Implementing a Transformation from BPMN to CSP+T with ATL: Lessons Learnt
Behavioral Verification of Distributed Concurrent Systems with BOBJ
1 an Introduction to Formal Modeling in Requirements Engineering
Seamless Interactive Program Verification
Scrum Goes Formal: Agile Methods for Safety-Critical Systems
Certified Reasoning on Real Numbers and Objects in Co-Inductive Type
Formal Specification and Verification Stephan Merz
Formal Software Engineering the B Method for Correct-By-Construction Software
Overview of Formal Methods in Software Engineering
Mechanized Support for the Formal Specification, Verification and Deployment of Component-Based Applications Nuno Gaspar
Towards the Integration of Formal Specification in the Áncora Methodology
Software Engineering Issues
A Short Introduction to Formal Methods
Formal Versus Agile: Survival of the Fittest?
Getting Started with Dafny: a Guide
A TLA+ Formal Specification and Verification of a New Real-Time
Top View
Formal Specification
Deductive Formal Verification: How to Make Your Floating-Point
Integrating Formal Methods in XP—A Conceptual Solution
Verifying and Constructing Abstract TLA
Z Formal Specification Language - an Overview Mr
Formal Specifications
Formal Specifications
Formal Analysis of Network Protocol Security DISSERTATION Presented in Partial Fulfillment of the Requirements for the Degree Do
Formal Specification of a Web Services Protocol
VDM++ As a Basis of Scalable Agile Formal Software Development
Chapter 4 Working Within an Arbitrary Logical System
Analysis of Three Formal Methods-Z, B and VDM
In Computer Science, Specifically Software Engineering and Hardware Engineering, Formal Methods
Contribution to the Formal Specification and Verification of a Multi-Agent Robotic System
Experiences Applying Formal Approaches in the Development of Swarm-Based Space Exploration Systems
Formal Specification with JML 2014
Introducing Formal Methods Software Engineering and Formal Methods
BTRANSFORMER a Tool for BPMN to CSP+T Transformation
Chapter 27: Formal Specification
Pgo: Corresponding a High-Level Formal Specification with Its
Formal Engineering Methods for Software Development --An
A Tutorial on Using Dafny to Construct Verified Software
Bridging the Gap Between Informal Requirements and Formal