Pages that link to "Item:Q150608"
From MaRDI portal
The following pages link to IEEE Transactions on Software Engineering (Q150608):
Displaying 42 items.
- The Impact of Automated Parameter Optimization on Defect Prediction Models (Q150612) (← links)
- An Extension of "Representative Instances and γ-Acyclic Relational Schemes" (Q3026385) (← links)
- Facilitating Mixed Language Programming in Distrbuted Systems (Q3030235) (← links)
- Spanner: A Tool for the Specification, Analysis, and Evaluation of Protocols (Q3030248) (← links)
- Approximate analysis of load dependent general queueing networks (Q3033102) (← links)
- A Method for Improving String Pattern Matching Machines (Q3036739) (← links)
- Performance Analyses of Cartesian Product Files and Random Files (Q3036741) (← links)
- Synthesis: Dreams → Programs (Q3206282) (← links)
- Distributed Simulation: A Case Study in Design and Verification of Distributed Programs (Q3206283) (← links)
- An Exercise in Automatic Program Verification (Q3206284) (← links)
- CSDL: A Conceptual Schema Definition Language for the Design of Data Base Applications (Q3206291) (← links)
- Conditional Capabilities (Q3206292) (← links)
- Deadlock Detection and Avoidance for Shared Logical Resources (Q3206296) (← links)
- Quantitative Estimates of Debugging Requirements (Q3206302) (← links)
- Dynamic Software Science with Applications (Q3206304) (← links)
- Counting Paths: Nondeterminism as Linear Algebra (Q3216112) (← links)
- Monitoring for Deadlock and Blocking in Ada Tasking (Q3216131) (← links)
- Product-Form Synthesis of Queueing Networks (Q3217901) (← links)
- Optimal Load Balancing in a Multiple Processor System with Many Job Classes (Q3219758) (← links)
- On Programming by Iterations (Q3314955) (← links)
- The Rigorous Development of a System Version Control Program (Q3314963) (← links)
- Correct and Robust Programs (Q3314964) (← links)
- Specification of the UNIX Filing System (Q3314973) (← links)
- SLAN-4-A software specification and design language (Q3314976) (← links)
- Cell: A Distributed Computing Modularization Concept (Q3314978) (← links)
- A Heuristic for Deriving Loop Functions (Q3321419) (← links)
- Safe Data Type Specifications (Q3321426) (← links)
- Dataflow Resource Managers and Their Synthesis from Open Path Expressions (Q3321437) (← links)
- Implementing Language Support in High-Level Languages (Q3321452) (← links)
- Some Equivalence Results for Load-Independent Exponential Queueing Networks (Q3329191) (← links)
- Parameterized Programming (Q3334970) (← links)
- The Unix System and Software Reusability (Q3334972) (← links)
- Some Experiences in Promoting Reusable Software: Presentation in Higher Abstract Levels (Q3334974) (← links)
- A Priority Based Distributed Deadlock Detection Algorithm (Q3339272) (← links)
- Closed Covers: To Verify Progress for Communicating Finite State Machines (Q3339299) (← links)
- A Scheme for Batch Verification of Integrity Assertions in a Database System (Q3339324) (← links)
- Representative instances and γ-acyclic relational schemes (Q3339329) (← links)
- Program Slicing (Q3345745) (← links)
- Protocol Verification via Projections (Q3345755) (← links)
- Completeness of Proof Systems for Equational Specifications (Q3347269) (← links)
- A Compiler for an Array and Vector Processing Language (Q3347280) (← links)
- Discrete Time Stochastic Petri Nets (Q3347312) (← links)
