Вы здесь

Главная

Los Alamitos

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

1996 Publications Catalog
1997 IEEE Symposium on Visual Languages: Proc./Isle of Capri, Italy, September 23-26, 1997
A Case Study in Applying a Systematic Method for COTS Selection
A Case Study in Partial Specification: Consistency and Refinement for Object-Z
A Case Study of Feature Location in Unstructured Legacy Fortran Code
A Constructive Approach to Reuse of Conceptual Components
A Demand-Driven Analyzer for Data Flow Testing at the Integration Level
Advances in Software Reuse: Proc./Selected Papers from the Second Intern. Workshop on Software Reusability. Lucca, Italy, March 24-26, 1993
A Flexible Architecture for Building Data Flow Analyzers
A Formal Pattern Language for Refactoring of Lisp Programs
A Framework of Syntactic Models for the Implementation of Visual Languages
A Generic, Peer-to-Peer Repository for Distributed Configuration Management
A Generic Worklist Algorithm for Graph Reachability Problems in Program Analysis
A Graphical Language for Generating Architectural Forms
A History Concept for Design Recovery Tools
A Java-based Implementation of Collaborative Active Textbooks
Alterable Visual Languages
A Method for Legacy Systems Maintenance by Mining Data Extracted from Source Code
A Method for Modeling and Evaluating Software Maintenance Process Performances
Analytical and Empirical Evaluation of Software Reuse Metrics
An Analytic Framework for Specifying and Analyzing Imprecise Requirements
An Animatable Operational Semantics of the Verilog Hardware Description Language
An Evaluation of Software Test Environment Architectures
An Evolutionary Integration Approach using Dynamic CORBA in a Typical Banking Environment
A New Approach to Consistency Control in Software Engineering
A New Approach to Software Exploration: Back-packing with GSEE
A New Transformation Method to Generate Optimized DO Loop from FORALL Construct
An Exact Array Reference Analysis for Data Flow Testing
Animation of User Algorithms on the Web
An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms
An Interpreter for Diagrammatic Languages Based on SR Grammars
An Object-Oriented Implementation of B-ISDN Signalling - Part 2: Extendability Stands the Test
A Petri Net-based Visual Language for Specifying GUIs
A Practical Reengineering Approach for Mobile Terminal Software
A Precise Demand-Driven Def-Use Chaining Algorithm
Architecture-Centric Software Evolution by Software Metrics and Design Patterns
A Reliability Model Combining Representative and Directed Testing
A Reuse Metrics and Return on Investment Model
A Scaleable, Automated Process for Year 2000 System Correction
A Software Engineering Experiment in Software Component Generation
A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards
Asserting Reasoning about Pairwise Transient Interactions in Mobile Computing
Assertion-Oriented Automated Test Data Generation
Assessing Optimal Software Archtecture Maintainability
Assessment of Design Patterns during Software Reengineering: Lessons Learned from a Large Commercial Project
A Study on Fault-proneness Detection of Object-Oriented Systems
A Support Tool for Annotated Program Manipulation
A Systematic Survey of CMM Experience and Results
A Toolkit for Applying a Migration Strategy: A Case Study
A Unified Algebraic Framework for Specifying Communication Protocols