Вы здесь

Главная

язык спецификаций

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

Ablaufspezifikation durch Datenflussmodellierung und stromverarbeitende Funktionen
A Brief Summary of VSPEC
A Compositional Petri Net Semantics for SDL
A Compositional Semantics for Statecharts
Activation-Oriented Specification of Real-Time Systems
A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs
A Formal Framework for ASTRAL Inter-level Proof Obligations
A Formal OO Method Inspired by Fusion and Object-Z
A Framework for the Specification of Reactive and Concurrent Systems in Z
A Framework to Analyse and Evaluate Information Systems Specification Languages
A High-Level Object-Oriented Specification Language for Configuration Management and Tool Integration
ALBERT: A Formal Language and Its Supporting Tools for Requirements Engineering
Algebraic-Coalgebraic Specification in CoCASL
Algebraic Foundations of Systems Specification
Algebraic Specification Language Ruslan 99
Algebraic Specification Languages: An Overview
Algebra, Meaning, and Computation: Essays Dedicated to Jeseph A. Goguen on the Occasion of His 65th Birthday
Algorithms, Concurrency and Knowledge: Proc./1995 Asian Computing Science Conf., ACSC 95. Pathumthani, Thailand, December 1995
All About Maunde - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic
A Logic-Based Transformation System
An Algebraic Development Technique for Information Systems
An Algebraic Semantics for the Object Specification Language TROLL light
An Automatic Code Generation Process for Dynamic Specialization based on Design Patterns and Formal Techniques
An Efficient Implementation of L Language Data Processing Algorithms
A New Language Basic-Real for Specification and Verification of Distributed System Models
An Executable Specification Language Based on Message Sequence Charts
An Imperative Extension of the Object Constraint Language OCL
An Integrated of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems
An Introduction to ASL
Annealing and Data Decomposition in VDM++
An Object-Oriented Airport: Specification and Refinement in Maude
An Object-Oriented Methodological Approach for Making Automated Prototyping Feasible
An Operational Semantics for Timed RAISE
A Petry Net Entity as a Formal Model for Lotos, a Specification Language for Distributed and Concurrent Systems
A Polymorphic Sort System for Axiomatic Specification Languages
Applying PVS to Za
Applying RT-Z to Develop Safety-Critical Systems
A Process Algebra for Real-Time Programs
A process specification formalism based on static COLD
Architecture Software Using: A Methodology for Language Development
A Reflexive Formal Software Process Model
A Requirement Specification Language for Configuration Dynamics of Multi-Agent Systems
A Temporal Logic for Real-Time Partial-Ordering with Named Transactions
A Tool Interface Language for PSF
Attempto Controlled English - Not Just Another Logic Specification Language
A Unified-Algebra-based Specification Language for Symbolic Computing
A View-Oriented Approach to System Modeling Based on Graph Transformation
AVL Trees Revisited: A Case Study in Spectrum
AVL Trees Revisited: A Case Study in SPECTRUM
Basic Protocols: Specification Language for Distributed Systems