Вы здесь

Главная

процесс

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

The Design of a Next-Generation Process Language
The Design of a Tool-Supported Graphical Notation for Timed CSP
The Distributed Object-Oriented Threads System DOTS
The Emperor s Old Clothes
The equivalence in the DCP model
The Essence of Compiling with Continuations
The Evolution of Conceptual Modeling: From a Historical Perspective towards the Future of Conceptual Modeling
The Expressive Power of Implicit Specifications
The Fast Decision Process
The FEAST Approach tj Quantitative Process Modelling of Software Evolution Processes
The finite representation of abstract programs by automata and Petri nets
The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design
The Human Dimension of the Software Process
The Implementation of Process Algebra Specifications in POOL-T
The Implemention of concurrency for a PL\1-like Language
The Interdisciplinary Study of Coordination
The Kell Calculus: Operational Semantics and Type System
The Meaning of Negative Premises in Translation System Specifications
The Nature of the Software Process Modelling Problem is Evolving
The Need of a Process Engineering Method
The Nepi2 Programming System: A pi-Calculus-Based Approach to Agent-Based Programming
The Nonexistence of Finite Axiomatisations for CCS congruences
The Object Role Software Process Model
The Oikos Services for Object Management in the Software Process
Theoretical Aspects of Computer Software: Third Intern. Symp., TACS 97. Sendai, Japan, September 1997
Theoretical Aspects of Computing - ICTAC 2009: Proc./6th International Colloquium. Kuala Lumpur, Malaysia, August 2009
Theory and Practice of the Software Process - A Field Study and Its Implications for Project Management
The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modeling
The Personal Software Process in Practice: Experience in Two Cases over Five Years
The physics of observation: a perspective for concurrency theorists
The PIE Methodology - Concept and Application
The PIE Project: An Introduction
The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial
The Pragmatics of Naive Database Enquiry
The Problem of "weak bisimulation up to"
The ProC/BToolset for the Modeling and Analysis of Process Chains
The Process Modelling Cookbook Orientation, Description and Experience
The Process of Teaching Process
The ProcessWall: A Process State Server Approach to Process Programming
The Publication Process for Computer Science Textbooks
The Reuse Maturity Model: RMM
The Silent Step in Time
The Software Process and the Modelling of Complex Systems
The Software Process: Modeling and Technology
The SPICE Project: An International Standard for Software Process Assessment, Improvement and Capability Determination
The State Operator in Real Time Process Algebra
The Three Dimensions of Requirements Engineering
The Time Complexity of Updating Snapshot Memories
The Tropos Software Development Methodology: Processes, Models and Diagrams
The UDP Calculus: Rigorous Semantics for Real Networking