Вы здесь

Главная

IEEE Trans. on Software Engineering

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

Numerical Analysis of Superposed GSPNs
On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations
Parallexis-III: Architecture-Independent Data Parallel Processing
Partition Testing vs. Random Testing: The Influence of Uncertainty
Performance and Stability Analysis of Multilevel Data Structures with Deferred Reorganization
Predicting Fault-Prone Software Modules in Telephone Switches
Priority Queues and Sorting Methods for Parallel Simulation
Qualitative Methods in Empirical Studies of Software Engineering
Separate Computation of Alias Information for Reuse
Service Combinators for Web Computing
SOFL: A Formal Engineering Methodology for Industrial Applications
Software Support for Multiprocessor Latency Measurement and Evaluation
Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software
Space Efficient Execution of Deterministic Parallel Programs
Specification of Real-Time Systems Using ASTRAL
Statically Safe Speculative Execution for Real-Time Systems
Structured Solution of Asynchronously Communicating Stochastic Modules
Structuring Communication Software for Quality-of-Service Guarantees
Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models
Supporting Cooperation in the SPADE-1 Environment
Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols
The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties
The Domain Theory for Requirements Engineering
The Effectiveness of Software Development Technical Reviews: A Bahaviorally Motivated Program of Research
The Model Checker SPIN
Theory of Fault-Based Predicate Testing for Computer Programs
Timed Communicating Object Z
Timing Analysis of Ada Tasking Programs
Toward Formally-Based Design of Message Passing Programs
Trace-Based Load Characterization for Generating Performance Software Models
Transient Analysis of Superposed GSPNs
Understanding Code Mobility
Using a Protean Language to Enhance Expressiveness in Specification
Using Coverage Information to Predict the Cost-Effectiveness of Regression Testing Strategies
Using CSP to Detect Errors in the TMN Protocol
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs
Using Test Oracles Generated from Program Documentation
Visual and Textual Consistency Checking Tools for Graphical User Interfaces
Where Do Operations Come From? A Multiparadigm Specification Technique
Zception: A Technique for the Experimental Evaluation of Dependability in Modern Computers
ZPL: A Machine Independent Programming Language for Parallel Computers
Сборник заданий по информатике для учеников начальных классов