Вы здесь

Главная

Beijing

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

16th World Computer Congress 2000. Proc. of Conference on Software: Theory and Practice
Accurate Binding Time Analysis for Imperative Languages
A COTS Based Product Line Architecture for Generating Design Editors
A Distributed and Parallel Object Database Server System for Windows NT
A Distributed Network Management Architecture Based on CORBA and Mobile Agent
Algebraic Semantics of Object-Oriented Data Models
A Lineal Temporal Logic with Continuous Semantics for Hybrid Systems
A Loop Optimization Technique Based on Quasi-Invariance
Ambiguity Measures in Requirements Engineering
A methoddology for the design of calloborative services
A Method for Using Object-Oriented Frameworks to Support Various High-level Parallel Computing Models
An Algorthm of Automatic Semantic Class Tagging
An Architecture for Building Reliable Distributed Object-Based Systems
An Architecture for Object-Relational Data Warehouse
An Automatic Code Generation Process for Dynamic Specialization based on Design Patterns and Formal Techniques
An Automatic System Modeling Framework for Information System Engineering
An Efficient Slicing Method for Library Functions and Its Implementation LibSlicer
An Empirical and Theoretical Analysis of the Speed and Error-Proneness of Some User Interface Widgets
An Evidential Framework for Diagnosing the Significance of Inconsistencies in UML Models
A New Software Architecture in Designing. Multiprotocol Router
A New Test Design Method for Requirement-Based Software Testing
An Experience of Using FDOOA Method to Develop a Telecommunications Network Management System
An Integrated Approach to Hardware/Software Co-design
An NCE Context-sensitive Graph Grammar and its Application to Visual Languages
An Object-Oriented Approach to Schema Integration and Data Mining in Multiple Databases
An Object-Oriented Dependency Graph for Program Slicing
An Object-Oriented Environment Database for AGV Path Planing
An Object-oriented Framework for Testing Software and its Application to Testing a Real-Time Safety-Critical System
An Object-Oriented Model for Protocol Design
An Order-Based Composition Semantics for the Inheritance in the Logic-Based Object-Oriented Paradigm
A Normalised Approach for Class Hierarchy Design in O-O Databases
An Overview of JB (Jade Bird) Component Library System JBCL
A Pattern-Based Approach for a Flexible, Self-Extending Document System
A Pioneer Design and Plan of a Prfessianal Master Coursee for Software Quality Evaluation
Applicattion and Benefits of Combining Object-Oriented Methods and Formal Techniques for Real-ttime Software Developments
Applying Theory to Practice Airworthy Software measured and Analysed
Architecture-centric Software Development
A Semantics for Verilog using Duration Calculus
Assembling Software with the Reusable Components in a Library
A Theory of Testing High-Level Petri Nets
A Two-layer Geodata Semantic Integration Framework Based on WebSISP
A Uniform Framework for Processing Temporal Object-Oriented Queries
A Web-based Object-Oriented Design Tool
Comparative Metrics in Procedure-Oriented and Object-Oriented Software Implementation of a Simple Single-Input-Single-Output Digital Process Control Problem in Educational Environment
Comparisons between CORBA and DCOM: Architectures for Distributed Computing
Component Construction Model and Interactive Computation Semantics for Object Systems
Component Retrieval Based on Architecture for Reuse
Composing Software Components at Architectural Level
Connectors for Modeling Object Relations in CORBA-based Systems
Coping with Changes: Adaptive Process Management with Higher-Order Object Nets