Вы здесь

Главная

модульность

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

Abstract Analysis with Aspect
A Compositional Semantics for Normal Open Programs
Actalk: une Plateforme de Modelisation de Langages d Acteurs en Smalltalk-80
Adding Flexibility to Query Evaluation for Modularity Stratified Databases
A Generalized Multi-View Approach
A Modular Approach to the Specification and Validation of an Electrical Flight Control System
A Modularization Approach for Prolog Knowledge Bases
A Modular, Polyvariant, and Type-Based Closure Analysis
An Algebraic Theory of Class Specification
Compiler Construction: Craftsmaship or Engineering?
Compositionality in Dataflow Synchronous Languages: Specification and Code Generation
Coping with Crosscutting Software Changes using Information Transparency
Coupling and Cohesion as Modularization Drivers: Are We Being Over-persuaded?
Deterministic Systems of Sequential Processes: A Class of Structured Petri Nets
ECOOP 2005 - Object-Oriented Programming: Proc./19th European Conference. Glasgow, UK, July 2005
ECOOP 2009 - Object-Oriented Programming: Proc./23rd European Conference. Genoa, Italy, July 2009
Enhancing Compositional Reachability Analysis with Context Constrains
Enhancing Coordination and Modularity Mechanisms for a Language with Objects-as-Multisets
Exploiting Independence for Verification, Refinement, and Modularity
Extending Z with Modules
Extracting Reusable Functions by Flow Graph-Based Program Slicing
Functional Programming and Geometry
Hierarchical Modularity
How to Achieve Modularity in Distributed Object Allocation
Inheritance of Interface Specifications
Invariants, Modularity, and Rights
Knowledge-Level Modularization of a Complex Knowledge Base
Maptool - Supporting Modular Syntax Development
Metalevel Building Blocks for Modular Systems
Modularity and Expressibility for Nets of Relations
Modularity and Reusability in Attribute Grammars
Modularity in Functional-Logic Programming
Modularity in Logic Programming
Modularity in the Presence of Subclassing
Modularity of Completeness Revisited
Modularity of Simple Termination of term Rewritin Systems with Shared Constructors
Modular Logic Programming
Modular Ontologies: Consepts, Theories and Techniques for Knowledge Modularization
Object-Oriented Implementation of OSI Application Layer Protocols
On Modularity in Term Rewriting and Narrowing
On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems
Overriding Operators in a Mixin-Based Framework
Parallel Computation of Modular Multivariate Polynomial Resultants on a Shared Memory Machine
Program Composition and Modular Verification
Separation and Information Hiding
Specification Techniques for Supporting Software Modularity and Improving Design Documentation
Stepwise Design of Real-Time Systems
The VTP Project: Modular Abstarct Syntax Specification
Towards a Modular Analysis of Coloured Petri Nets
Инструментальные средства поддержки обработки онтологической информации программных структур многокомпонентного программирования