„Formal specification“
Suchergebnisse
1.000+ Treffer
-
Validation of formal specifications through transformation and animation
-
A formal MIM specification and tools for the common exchange of MIM diagrams: an XML-Based format, an API, and a validation method
-
A Generic Approach to the Formal Specification of Requirements
-
Semi-Formal and Formal Specification Techniques for Software Systems (Dagstuhl Seminar 00411)
-
An Integrated Formal Task Specification Method for Smart Environments
-
Specification of regret-based models of choice behaviour: formal analyses and experimental design based evidence
-
An Engineering-Oriented Formal Framework for Railway Interlocking Systems Requirements Specifications
-
Toward formal development of programs from algebraic specifications – parameterisation revisited
-
Toward formal development of programs from algebraic specifications: Parameterisation revisited
-
Flaw detection in formal specifications
-
Agent Technology from a Formal Perspective
-
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
-
Concise Guide to Formal Methods – Theory, Fundamentals and Industry Applications
-
Experience of using a lightweight formal specification method for a commercial embedded system product line
-
The influence of formal representation on solution specification
-
Formal specification of an erase block management layer for flash memory
-
Transactions on Large-Scale Data- and Knowledge-Centered Systems LIV – Special Issue on Data Management - Principles, Technologies, and Applications
-
Analysis and formal verification of SDL'92 specifications using extended Petri nets
-
Formal specifications with higher order parameterization
-
The Z-formal specification notation – proceedings