Вы здесь

Главная

ACM Trans. Software Engineering and Methodology

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

A Graphical Interval Logic for Specifying Concurrent Systems
A Meta-Environment for Generating Programming Environments
A Methodology for Controlling the Size of a Test Suite
An Algebraic Theory of Class Specification
An Experimental Study of Fault Detection in User Requirments Documents
A Program Integration Algorithm that Accomodates Semantics-Preserving Transformations
A Reduced Test Suite for Protocol Conformance Testing
A Reference Architecture for the Component Factory
A Simplified Domain-Testing Strategy
Automated Assistance for Program Restructuring
A Visual Execution Model for Ada Tasking
Building Integrated Software Development Environments Part I: Tool Specification
Computing Similarity in a Reuse Library System: An Al-Based Approach
Conjunction as Composition
Coordinating Rule-Based Software Processes with ESP
Detection of Linear Errors via Domain Testing
Distributed Real-Time System Sprcification and Verification in APTL
Double Iterative Framework for Flow-Sensitive Interprocedural Data Flow Analysis
Experimental Results from an Automatic Test Case Generator
Functional Specification of Time-Sensitive Communicating Systems
Interprocedural Static Analysis of Seguencing Constraints
Investigations of the Software Testing Coupling Effect
Markov Analysis of Software Specifications
Object-Oriented Logical Specification of Time-Critical Systems
OBSERV- A Prototyping Language and Environment
On Statecharts with Overlapping
Parallel and Distributed Incremental Attribute Evaluation Algorithms for Multiuser Software Development Environments
Reconciling Environment Integration and Software Evolution
Retrieving Reusable Software by Sampling Behavior
Simulating Reactive Systems by Deduction
Structural Testing of Rule-Based Expert Systems
The ASTOOT Approach to Testing Object-Oriented Programs
The Automated Production Control Documentation System: A Case Study in Cleanroom Software Engineering
The Cost of Selective Recompilation and Environment Processing
The Design and Implementation of Hierarchical Software Systems with Reusable Components
The Larch/Smalltalk Interface Specification Language
The Pan Language-Based Editing System