Вы здесь

Главная

формальный

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

A Bilingual Specification Environment for Software/Hardware Co-design
Abstract Interpretation Based Formal Methods and Future Challenges
Abstract Language Design
A Calculus for Secure Channel Establishment in Open Networks
Accomodating Interference in the Formal Design of Concurrent Object-Based Programs
A Comparison of the BTT and TTF Test-Generation Methods
A comprehensive database schema integration method based on the theory of formal concepts
A Concept of Decompositional Approach to Concurrent Systems Design
A Conceptual Model for Megaprogramming
A Course on Formal Methods in Software Engineering: Matching Requirements with Design
Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse
Adding Input-Output to PCF
A Decomposition of a Formal Specification: An Improved Constraint-Oriented Method
A Deductive Database Approach to Planning in Uncertain Environments
Advancements in Symbolic Traversal Techniques
A Fine-Grain Sort Discipline and its Application to Formal Program Construction
A Formal Analysis of the CORBA Security Service
A Formal Approach to Reactive Systems Software: A Telecommunications Application in ESTEREL
A Formal Approach to the Error Localization
A Formal Basis for Some Dependability Notions
A Formal Definition of Hierarchical Predicate Transition Nets
A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronization
A Formal Framework for Authentication
A Formal Framework for Business Process Modeling and Design
A Formal Interpretation of the MAA Standard in Z
A Formal Methodology to Specify E-commerce Systems
A Formal Model for the Block Device Subsystem of the Linux Kernel
A Formal Model of Object-Oriented Design and GoF Design Patterns
A Formal Model of Real-Time Program Compilation
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects
A formal proof of a protocol for communications over faulty channels using the Larch Prover
A Formal Security Model for Microprocessor Hardware
A Formal Semantics for a Graphical Model Representation in System Design
A Formal Semantics for a Language with Type Extension
A Formal Semantics for OCL 1.4
A Formal Software Specification Tool Using the Entity-Relationship Model
A Formal Specification and Method for MAS as a Distributed System
A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors
A Formal Specification of an Automatic Train Protection System
A Formal Specification of Realm - Spatial Data Types
A Formal Specifications Maturity Model
A Formal Temporal Object-Oriented Data Model
A Framework for Defining Logics
A Framework for the Specification of Reactive and Concurrent Systems in Z
A Framework for Using Formal Methods In Object-Oriented Software Development
A Front-End to HOOD - The Clyder Requirements Engineering Method
A Fuzzy Petri Net for knowledge representation and reasoning
A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems
A Gentle Introduction to Specification Engineering Using a Case Study in Telecommunications
A Graphical Interval Logic for Specifying Concurrent Systems