Вы здесь

Главная

модульный

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

Abductive Analysis of Modular Logic Programs
A Behavioral Notion of Subtyping for Object-Oriented Programming in SPARK95
A Behavioural Algebraic Framework for Modular System Design with Reuse
Abstraction and Modular Verification of Infinite-State Reactive Systems
A Calculus for Link-Time Compilation
A -calculus Specification of Prolog
A Discipline for Handling Feature Interaction
A General Algebraic Framework for Studying Modular Systems
A General Framework for Modular Implementations of Modular System Specifications
A Generative Approach to Aspect-Oriented Programming
A Generic Framework for Context-Sensitive Analysis of Modular Programs
A Logical Basis for Modular Software and Systems Engineering
A logic-free method for modular composition of specifications
A Methodology for Designing Communication Protocols
A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages
A Modeling Approach to the Realisation of Modular Information Spaces
A Modular Approach to Motorola PowerPC Compilers
A Modular Approach to Real-Time Synchronization
A Modular Design Strategy for a Flexible Graphical Database Design Environment: An Experimental Study
A Modular Mathematical Programming Language
A Modular Systolic Linearization of the Winigrad s Algorithm
An Experience of Software Reuse Activities
An Incremental Specification of a Hydroelectronic Power Plant Control System Using a Class of Modular Algebraic Nets
An Outline of MQL
A Refinement of Import/Export Declarations in Modular Logic Programming and Its Semantics
A Survey of Basic Net Models and Modular Net Classes
A Technique for Modular Logic Program Refinement
A Transformation System for Modular CLP Programs
Automatic Tuning of Data Placement and Load Balancing in Disk Arrays
Automating Modular Verification
Behavioural Specification and Implementation of Modular Software Systems
Capsule Oriented Reverse Engineering for Software Reuse
CASE ARS - интегрированная среда построения прикладных программных систем с помо ью структурно-модульных методов
Cellular and PCS Digital-Mobile-Services Switching Center
Class-Level Modular Analysis for Object-Oriented Languages
Compatibility Problems in the Development of Algebraic Module Specifications
Composing Hidden Information Modules over Inclusive Institutions
Compositional Liveness Properties of EN-Systems
Compositional Specification and Verification of Distributed Systems
Computing A*B (mod N) Efficiently in ANSI C
Concurrent Modular Processing for Automatic Test Pattern Generation
Consistent Configuration of Modular Algebraic Implementations
DEDICATED - Modular Training System DELTA Project D2014
Deductive Verification of Modular Systems
Derivation of Secure Parallel Applications by Means of Module Embedding
Deriving Modular Designs from Formal Specifications
Design of Modular Software Systems with Reuse
Detecting Isomorphisms of Modular Specifications with Diagrams
DeWiz - A Modular Tool Architecture for Parallel Program Analysis
Distributed High-level Module Binding for Flexible Encapsulation and Fast Inter-modular Optimization