Вы здесь

Главная

Software Engineering Notes

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

COOZ: A Complete Object-Oriented Extension to Z
Critical Success Factors for Implementing Software Quality Plans
Customizable Output Generation in Modeling Environments Using Pipelined Domains
Customization and Composition of Distributed Objects: Middleware Abstractions for Policy Management
Database Conversion Planning
Deriving Modular Designs from Formal Specifications
Developing and Integrating ProDAG in the Arcadia Environment
DFD s vs. NxN charts
Direct Update of Data Flow Representations for a Meaning-Preserving Program Restructuring Tool
Documentation Testing
Document Classification for Software Quality Systems
Does Every Inspection Need a Meeting?
Domain-Specific Software Architecture (DSSA) Frequently Asked Questions (FAQ)
Domain-Specific Software Architecture (DSSA) Requently Asked Questions (FAQ)
Do We Really Need SQA to Produce Quality Software? No! Well Maybe. It Depends. Yes!
Dynamic Impact Analysis: A Cost-Effective Technique to Enforce Error-Propagation
Effective Whole-Program Analysis in the Presence of Pointers
Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs
Efficient Construction of Program Dependence Graphs
Efficient Coverage Testing Using Global Dominator Graphs
Engineering the Enterprise: Evolving Quality Systems
Enhancing Compositional Reachability Analysis with Context Constrains
Equivalence Analysis: A General Theoretic to Improve the Efficiency of Data-Flow Analyses in the Presence of Pointers
ESA- An Expert Supported OOA Method and Tool
Escaping the Software Tar Pit: Model Clashes and How to Avoid Them
Evaluation of the Functional and Object-Oriented Programming Paradigms: A Replicated Experiment
Event-Based Detection of Concurrency
Experiences in Improving Risk Management Processes Using the Concepts of the Riskit Method
Exploitation of Software Test Technology
Faults on Its Sleeve: Amplifying Software Reliability Testing
Filter-Based Model Checking of Partial Systems
Finding Bugs with a Constraint Solver
Fine-Grained Revision Control for Collaborative Software Development
Formalizing Hierarchical Object-Oriented Design Method
Formal Methods and Standards
Formal Modeling and Analysis of the HLA Component Integration Standard
Formal Verification of Algorithms for Critical Systems
Foundations for the Study of Software Architecture
Framework to Define CASE Tool Requirements for Distributed Environment
From Practice to Theory, a Development Strategy worth Looking at
Further Empirical Studies of Test Effectiveness
Future Directions in Software Engineering
Generalization of Linear Object-Oriented Slicing
GIDTS - A Graphical Programming Environment for Prolog
Graphic Formalisms Should Integrate Communications, Control and Data Flow
Guidelines for Embedded Software Documentation
Holistic Design of a Programming System
HyperWeb: A Framework for Hypermedia-Based Environments
Identification of Complete Data Flow Diagrams
Identifying Procedural Structure in Global Programs