Вы здесь

Главная

IEEE Trans. on Software Engineering

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

A Causal Model for Software Cost Estimating Error
Achieving Strong Consistency in a Distributed File System
A Classification and Comparison Framework for Software Architecture Description Languages
A Coding Scheme to Support Systematic Analysis of Software Comprehension
A Controlled Experiment to Assess the Benefits of Estimating with Analogy and Regression Models
A Controlled Experiment to Assess the Benefits of Procedure Argument Type Checking
A Critigue of Software Defect Prediction Models
Adaptive Time Warp Simulation of Timed Petri Nets
A Decomposition of a Formal Specification: An Improved Constraint-Oriented Method
A Development Environment for Complex Distributed Real-Time Applications
A Domain-Specific Language for Regular Sets of Strings and Trees
A Fourth-Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs
A Framework-Based Approach to the Development of Network-Aware Applications
Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures
A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs
A Multiframe Model for Real-Time Tasks
Analysis of a Conflict between Aggregation and Interface Negotiation in Microsoft s Component Object Model
Analyzing Regression Test Selection Techniques
An Architecture for Exporting Environment Awareness to Mobile Computing Applications
An Automatic Class Generation Mechanism by Using Method Integration
An Economic Model to Estimate Software Rewriting and Replacement Times
An Efficient State Space Generation for the Analysis of Real-Time Systems
An Embedded Modeling Language Approach to Interactive 3D and Multimedia Animation
An Empirical Approach to Studying Software Evolution
An Imperical Study of Software Reuse with Special Attention to Ada
An Industrial Strength Theorem Prover for a Logic Based on Common Lisp
A Parsing Methodology for the Implementation of Visual Systems
Approximate Mean Value Analysis for Stochatic Marked Graphs
A Procedure for Analyzing Unbalanced Datasets
A Programming Methodology for Dual-Tier Multicomputers
A Quantitative Model of the Security Intrusion Process Based on Attacker Behavior
Assessing Software Review Meetings: Results of a Comparative Analysis of Two Experimental Studies
Assignment and Sheduling Communicating Periodic Tasks in Distributed Real-Time Systems
A Statistical Approach to the Inspection Checklist Formal Synthesis and Improvement
Asynchronous Parallel Simulation of Parallel Programs
A Unified Framework for Coupling Measurement in Object-Oriented Systems
Automatically Checking an Implementation against Its Formal Specifications
Bayesian Analysis of Empirical Software Engineering Cost Models
BDL: A Specialized Language for Per-Object Reactive Control
Building Knowledge through Families of Experiments
Client-Access Protocols for Replicated Services
Clock Trees: Logical Clocks for Programs with Nested Parallelism
Comparing Verification Systems: Interactive Consistency in ACL2
Component Based Design of Multitolerant Systems
Components of Software Development Risk: How to Address Them? A Project Manager Survey
Compositional Programming Abstractions for Mobile Computing
Comprehending Object and Process Models: An Empirical Study
Computation of Dynamic Program Slices for Unstructured Programs
Conflicts in Policy-Based Distributed Systems Management
Connectors for Mobile Programs