Вы здесь

Главная

IEEE Transactions on Software Engineering

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

A Compact Petri Net Representation and Its Implications for Analysis
A Component- and Message-Based Architectural Style for GUI Software
A Framework for Specification-Based Testing
A Methodology for Testing Intrusion Detection Systems
A Strategy for Improving Safety Related Software Engineering Standards
A Validation of Object-Oriented Design Metrics as Quality Indicators
Completeness and Consistency in Hierarchical State-Based Requirements
Identefication of Dynamic Comprehension Processes During Large Scale Maintenance
Inconsistency Management for Multiple-View Software Development Environments
Independent Recovery in Large-Scale Distributed Systems
Managing Conflicts in Goal-Driven Requirements Engineering
Modular Algebraic Nets to Specify Concurrent Systems
Performance Analysis of Stochastic Timed Petri Netts Using Linear Programming Approach
Rapid Aplication of Lightweight Formal Methods for Consistency Analyses
Semantics-Based Inference Algorithms for Adaptive Visual Environments
Software Development Productivity of European Space, Military, and Industrial Applications
Supporting Search for Reusable Software Objects
The Cache Assignment Problem and Its Application to Database Buffer Management
Tolerating Deviations in Process Support Systems via Flexible Enactment of Process Models
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications