Вы здесь

Главная

проектирование

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

Structuring and Design of Reactive Systems Using RSDS and B
Structuring Design Decisions for Evolution
Structuring Mechanisms for an Object-Orientedd Formal Specification Language
Structuring Reactive Systems in B AMN
Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL
Studies of Software Design: Selected Papers/ICSE 93 Workshop. Baltimore, Maryland, USA, May 1993
Subject-Oriented Design: Towards Improved Alignment of Requirements, Design and Code
Summary of Case Studies in FOCUS - a Design Method for Distributed Systems
Supercomputing: Big Bang or Steady State Growth?
SuperVISE - System Specification and Design Methodology
Supporting Distributed Individual Work in Cooperative Specification Development
Supporting Inheritance Using Subclass Assertions
Supporting Systems Analysis and Design through Fisheye Views
Supporting Transaction Design in Conceptual Modeling of Information Systems
Supporting User-Adapter Interface Design: The USE-IT System
Supprting Design Rationale for System Evolution
Survival Guide to Web Site Development
Surviving the AI Winter
Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams
Synchronized Transitions
Synergies between Object-Oriented Programming Language Design and Implementation Research
Synthesising Structure from Flat Specifications
Synthesis-Oriented Situational Analysis in User Interface Design
Synthesizing Object-Oriented and Functional Design to Promote Re-use
Systematic and Design Diversity - Software Techniques for Hardware Fault Detection
Systematic Integration of Design Methods
System D - An Integrated Tool for Systems Design, Implementation and Data Base Management
System Design by Composing Structures of Interacting Objects
Tailored Protocol Development Using ESTEREL
Tailoring UNITY to Distributed Program Design
Task-Structure Analysis for Knowledge Modeling
Taxonomic Reasoning in LOGIDATA+
Teaching Instructional Software Design
Teaching Iterative and Collaborative Design: Lessons and Directions
Teaching Object-Oriented Design with Heuristics
Techniques for Reactive System Design: The Tools in TRADE
Technologies for E-Learning and Digital Entertainment: Proc./Third International Conference, Edutainment 2008. Nanjing, China, June 2008
Temporal Aspects of Tasks in the User Action Notation
Temporal Patterns for Complex Interaction Design
Tenth Anniversary. Ada Design Language/ CASE Developers Matrix
Test Generation for Digital Systems Based on Alternative Graphs
Test generation within an expert environment
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming
The Alpha Demonstration Unit: A High-Performance Multiprocessor
The ALPHA Language
The Architecture of the ICL GOLDRUSH MegaSERVER
The Art of Computer Un-Programming: Reverse Engineering in Prolog
The Business Rules Repository for Information Systems Design
The Cluster Compiler - A Tool for the Design of Time-Triggered Real-Time Systems
The CM-5 Connection Machine: A Scalable Supercomputer