Вы здесь

Главная

модульный

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

Distribute Laws for Composition and Union of Module Specifications for Software Systems
EITeL- ein intervallbasierter temporallogischer Ansatz
Formal Development of Actor Programs Using Structures Algebraic Petri Nets
Formal Methods for Components and Objects: Revised Lectures/4th International Symposium, FMCO 2005. Amsterdam, The Netherlands, November 2005
Foundations of Modular SOS
Foundations of rule-based design of modular systems
From Action Systems to Modular Systems
From Physical Modelling to Compositional Models of Hybrid Systems
Hierarchical Modular Diagrams: An Approach to Describe Architectural Designs
High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT
Houdini, an Annotation Assistant for ESC/Java
Hybrid Atomicity for Nested Transactions
Joint Modular Languages Conference: Short Presentations Proc./JMLC 97. Hagenberg, Austria, March 19-21, 1997
Lambda-Spliting: A Higher-Order Approach to Cross-Module Optimizations
Leveraging Managed Frameworks from Modular Languages
LILEANNA: A Parameterized Programming Language
Logic Programming for Non-Monotonic Reasoning
Lower Bounds for the Modular Communication Complexity of Various Graph Accessibility Problems
Manual and Compiler for the Terse and Modular Language DEM
MARS - A Hierarchical Heterogeneous Modular System
MEMSY - A Modular Expandable Multiprocessor System
Mixin Modules
Mixin Modules in a Call-by-Value Setting
Modular Algebraic Specifications
Modular Algorithms in Symbolic Summation and Symbolic Integration
Modular Analysis of Dataflow Process Networks
Modular Highly-parallel Computation and Architectures
Modular Highly-Parallel Computation and Architectures
Modularization and Abstraction: The Keys to Practical Formal Verification
Modularization of typed Gurevich machines
Modular Logic Programming
Modular Model Checking
Modular Object-Oriented Programming with Units and Mixins
Modular Programming Languages: Proc./7th Joint Modular Language Conference, JMLC 2006. Oxford, UK, September 2006
Modular Programming Languages: Proc./Joint Modular Languages Conf., JMLC 2000, Zurich, Switzerland, September 2000
Modular Programming Languages: Proc./Joint Modular Languages Conf., JMLC 2003, Klagenfurt, Austria, August 2003
Modular Programming Languages: Proc./Joint Modular Languages Conf., JMLC 97. Linz, Austria, March 1997
Modular Reasoning in an Object-Oriented Refinement Calculus
Modular Refinement and Model Building
Modular Specification and Verification of Object-Oriented Programs
Modular Specification of Concurrent Systems with Observational Logic
Modular State Space Analysis of Coloured Petri Nets
Modular Statically Typed Multimethods
Modular Termination of Term Rewriting Systems Revisited
Modular Verification for a Class of PLTL Properties
Module Dependences in Software Design
Object Oriented Module Interconnection Languages
On Composing Concurrent Logic Processes
On the Complexity of Branching Modular Model Checking (Extended Abstract)
On the Scalability of Demand-Driven Parallel Systems