Вы здесь

Главная

Software Engineering Notes

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

Implmentation-Based Analysis and Testing of Prolog Programs
Improved Serial Algorithms for Mutation Analysis
Improving Efficiency of Symbolic Model Checking for State-Based System Requirements
Improving the Precision of INCA by Preventing Spurious Cycles
Improving the Software Reusability in Object-Oriented Programming
Inertia - the reluctance of code motion?
Integrated Support for Software Reuse in Computer-Aided Software Engineering (CASE)
Integrating Legacy Systems in Distributed Object Architecture
Integrating the Heterogeneous Control Properties of Software Modules
Integrating the Understanding of Quality in Requirements Specification and Conceptual Modeling
Integration a Formal Specification Notation with HOOD
Integration of Complexity Metrics with the Use of Decision Trees
Integration of Text Retrieval Technology into Formatted (Conventional) Infomation Systems
Intellectual Energy in Software Design
Interacting with Object-Oriented Program Sciling
Inter-class Def-Use Analysis with Partial Class Representations
Investigating Data Quality Problems in the PSP
Issues Encountered in Biulding a Flexible Software Development Environment
Is Your Computer System Sub-Critical?
jRapture: A Capture/Replay Tool for Observation-Based Testing
Load Testing Software using Deterministic State Testing
Maintainability: What Is It and How Do We Measure It?
Making Active CASE Tools - Toward the Next Generation CASE Tools
Making All Types Typedefed
Making Software Development Investment Decisions
Making Software Reuse Work: An Implementation Model
Management of Complexity in Software Development
Mechanisms for Generic Process Support
M.E.R.O.DE.: A Model-driven Entity-Relationship Object-oriented DEvelopment method
Metamodeling: how, why and what?
Metric-Driven Reengineering for Static Concurrency Analysis
Metrics Based Asset Assessment
Model Checking of Hierarchical State Machines
Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch using VeriSoft
Multilingual Software Engineering Using Ada and C
Mutation Analysis Using Mutant Schemata
New Type Signatures for Legacy Fortran Subroutines
Object Mappings in a Software Engineering Project
obTIOS: A CAx-Framework Service for Building Concurrent Engineering Environments
OMEGA: A Language and System for on-Line Monitoring of Software-Intensive Processes
OMEN: A Strategy for Testing Object-Oriented Software
On Built-in Tests and Reuse in Object-Oriented Programming
On-Line Change Mechanisms the Software Architectural Level
On Randon and Partition Testing
On Satisfying Timing Constraints in Hard-Real-Time Systemes
On Software Discipline and the War of 1812
On Subdomains: Testing, Profiles, and Components
On the Limit of Control Flow Analysis for Regression Test Selection
On Understanding Hypertext: Are Links Essential?
Operating Systems Architecture Future Directions for Heterogeneous Communication Systems