Вы здесь

Главная

процесс

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

A 3-level Atomicity Model for Decentralized Process-centered Software Engineering Environments
A Bounded First-In, First-Enabled Solution to the l-Exclusion Problem
A Bounded True Concurrency Process Algebra for Performance Evaluation
About some relationships between configuration management, software process and cooperative work: the COO Environment
Abstract Interpretation of the -Calculus
Abstraction and Testing
Abstraction in Real Time Process Algebra
A Business Process Design Language
A Calculus of Countable Broadcasting Systems
A Calculus of Value Broadcasts
A -calculus with Explicit Substitutions: the Late Semantics
A Case Study in Safely-Critical Design
A Case Study on Scenario-Based Process Flexibility Assessment for Risk Reduction
A Categorical view of process refinement
Acceptance Trees for Probabilistic Processes
A Checker for Modal Formulae for Processes with Data
A CMM-Based Evaluation of the V-Model 97
A Comparison of Modelling Frameworks for Software Processes and Information Systems
A Complete Axiomatization for Branching Bisimulation Congruence of Finite-State Behaviours
A Complete Finite Prefix for Process Algebra
A Complete Modal Proof System For HAL: The Herbrand Agent Language
A Complete Set of Axioms for a Theoty of Communicating Sequential Processes
A Compliant Environment for Enacting Evolvable Process Models
A Compositional Petri Net Semantics for SDL
A Compositional Proof System for Asynchronously Communicating Processes
A Comprehensive Process Model for Discussing and Recording Scientific Papers
A Comprehensive View of Process Engineering
A Conceptual Framework for Evolving Software Processes
A Concurrent Process Model of Software Development
A Concurrent Time-Stamp Scheme which is Linear in Time and Space
A Contextual Approach for Process-Integrated Tools
ACP with Signals
ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities
Active Models and Process Support
Adaptive and Dynamic Service Composition in eFlow
Adding Action Refinement to a Finite Process Algebra
A Delegation Based Model for Distributed Software Process Management
A Design Methodology for Process-Programming
A Design Methodology for Workflow System Development
A Diagramming Paradigm for Hierarchical Process Oriented Discrete Event Simulation
A Distributed Object Oriented Framework to Offer Transactional Support for Long Running Business Processes
A Domain for Concurrent Termination A Generalization of Mazurkiewicz Traces
Advanced Research in Applied Artificial Intelligence: Proc./25th International Conference, IEA/AIE 2012, Dalian, China, June 2012
Advanced Services for Process Evolution: Monitoring and Decision Support
Advances Information Systems Engineering: Proc./22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 2010
A Family of Modula-2 light-weight processes in a UNIX environment
A Family-Oriented Software Development Process for Engine Controllers
A Fast Algorithm for Deciding Bisimilarity of Normed Context-Free Processes
A Fifo-Net Model for Processes with Asynchronous Communication
AFM/PC