Вы здесь

Главная

спецификация

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

25 Years of Model Checking: History, Achievements, Perspectives
2-Categorical Specification of Partial Algebras
A Basis for a Portable Common Tool Environment. Functional Specification. Version 1.5. Ada Volume 1. Basic Mechanisms including Object Management System
A Basis for a Portable Common Tool Environment. Functional Specification. Version 1.5. C Volume 2. User Interface
A Bilingual Specification Environment for Software/Hardware Co-design
Ablaufspezifikation durch Datenflussmodellierung und stromverarbeitende Funktionen
A Blocking-based Approach to Protocol Validation
About the "Correctness" and "Adequacy" of PLUSS Specifications
A Brief Introduction to Coloured Petri Nets
A Broader Class of Trees for Recursive Type Definitions for HOL
Abstract Interpretation of Programs as Markov Decision Processes
Abstraction of Business Rules in Object-Oriented Design
Abstraction, Reformulation and Approximation: Proc./6th International Symposium, SARA 2005. Airth Castle, Scotland, UK, July 2005
Abstraction Techniques for Modeling Real-World Interface Chips
Abstract Model Checking of Infinite Specifications
Abstract Specification in Object-Z and CSP
Abstract specification of structures and methods in symbolic mathematical computation
Abstract Specification Theory
Abstract State Machines, B and Z: Proc./First International Conference, ABZ 2008. London, UK, September 2008
Abstract State Machines Capture Parallel Algorithms
A Calculus for Predicative Programming
A -calculus Specification of Prolog
A Case Study in Partial Specification: Consistency and Refinement for Object-Z
A Case Study of Fault Tolerance with Replicated MMS Clients
A Categorical view of process refinement
A Clausal Logic for Deontic Action Specification
A Comparison and Evalution of Data Requinement Specification Techniques in SSADM and the Unified Process
A Comparison of the BTT and TTF Test-Generation Methods
A Comprehensive Framework for Specifying Clairvoyance, Constraints and Periodicity in Real-Time Scheduling
A Concept of Decompositional Approach to Concurrent Systems Design
A Congruence Theorem for Structured Operational Semantics with Predicates
A Context-sensitive Graph Grammar Formalism for the Specification of Visual Languages
A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation
A Critical Look at Functional Specifications
Actalk: une Plateforme de Modelisation de Langages d Acteurs en Smalltalk-80
Action Refinement from a Logical Point of View
Activation-Oriented Specification of Real-Time Systems
Actor-Centric Modeling of User Rights
Actor-Oriented System Specification with Dynamic Logic
Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse
Adaptive Specifications of Technical Information Systems
Adding Action Refinement to a Finite Process Algebra
Adding Specification Constructors to the Refinement Calculus
A Decomposition of a Formal Specification: An Improved Constraint-Oriented Method
A Dense-Time Temporal Logic with Nice Compositionality Properties
A Discipline for Handling Feature Interaction
Advanced Component Interface Specification
Advanced Information Systems Engineering: Proc./31st International Conference, CAiSE 2019, Rome, Italy, June 2019
A Dynamic Specification of the RPC-Memory Problem
A Family of Data-Parallel Derivations