Вы здесь

Главная

метод

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

The Behavior Network Model for Сonceptual Information Modeling
The BOS-Method Architecture: An Improved Structured Approach for the Development of Distributed Information Systems
Thechniques for Reducing Virtual Reality Latency with Architectural Support and Consideration of Human Factors
The Collectine Index: A Technique for Efficient Processing of Progressive Queries
The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties
The content-addresable page manager of SABRE. A multi-micro database computer
The Correctness of Type Specialisation
The Design and Performance of a Scalable ORB Architecture for CORBA Asynchronous Messaging
The Efficiency of Histogram-like Techniques for Database Query Optimization
The EVES System
The Impact of Incremental Delivery on Maintenance Effort: An Analytical Study
The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective
The Influence of Video in Desktop Computer Interaction
The Integration of COTS/GOTS within NASA s HST Command and Control System
The Integration of LOTOS with an Object Oriented Development Method
The Larch/Smalltalk Interface Specification Language
The Method Won t Save You (but it can help)
The Mixed Axiomatic Semantics Method
The Model Checker SPIN
The Need of a Process Engineering Method
The Object-Oriented Brewery: A Comparison of Two Object-Oriented Development Methods
The Object-Oriented Hypermedia Design Model
The OO Software Development Process (Panel)
The Parallel Mathematical Libraries Project (PMLP): Overview, Design Innovations, and Preliminary Results
The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modeling
The Problems of Untrained Authors Creating Hypertext Documents
The Process of Object-Oriented Design
The Role of Education and Training in the Industrial Application of Formal Methods
The Role of Meta Models in Federating System Modelling Techniques
The SAZ Project: Integrating SSADM and Z
The Shared Regions Approach to Software Cache Coherence on Multiprocessors
The Snapshot Index: An I/O-Optimal Access Method for Timeslice Queries
The Spring Model for Knowledge-based Systems Analysis: A Case Study
The Stanford FLASH Multiprocessor
The UniForM Workbench, a Universal Development Environment for Formal Methods
The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications
The Whole Picture to Software Process Improvement
Three Applications of Formal Methods at MITRE
Three Patterns in Java Unit Testing
Three-Tiered Specification of Micro-architectures
Timed Communicating Object Z
Tools and Techniques for Building and Testing Software Systems
Tool Support for Experience-Based Methodologies
Tool Support for Formak Software Development: A Generic Architecture
Toward a Diagnostic Instrument for Assessing the Quality of Expert Systems
Towards a Framework for Model Migration
Towards a Meta-Tool for Change-Centric Method Engineering: A Typology of Generic Operators
Towards an Introductory Formal Programming Course
Towards a Precise Semantics for Object-Oriented Modeling Techniques
Towards a Verification Technique for Large Synchronous Circuits