4,951 papers · page 214 of 248
Software Process Maturity: Measuring Its Impact on Productivity and Quality
Software Components in a Data Structure Precompiler
Test Templates: A Specification-Based Testing Framework
Predicate-Based Test Generation for Computer Programs
Requirements and Design Change in Large-Scale Software Development: Analysis From the Viewpoint of Process Backtracking
Programming Heterogeneous Transactions for Software Development Environments
Modeling Software for Accurate Data Flow Representation
Simulating the Behaviour of Software Modules by Trace Rewriting
Software Improvements in an International Company
Use of an Environment Classification Model
Testing for Linear Errors in Nonlinear Computer Programs
This paper provides an approach to test nonlinear functions in computer programs, whether this function is used for control flow, such as a predicate inequality or equality constraint, or is given as an input-output relationship. This approach will obtain test data to detect line…
The Software Engineering Laboratory: An Operational Software Experience Factory
Article Free Access Share on The software engineering laboratory: an operational software experience factory Authors: Victor Basili View Profile , Gianluigi Caldiera View Profile , Frank McGarry View Profile , Rose Pajerski View Profile , Gerald Page View Profile , Sharon Waligor…
Connecting Software Components with Declarative Glue
We describe Bart, a software bus that addresses the problem of maintaining flexibility in software systems by supporting component independence. Software components can be built to be independent of the context in which they are used, allowing them to be reused in many different …
Trusted Computing Systems: The ProCoS Experience
We delineate a fine-grained approach to the development of embedded computing systems, including such which exhibit real-time properties
Visualizing and Querying Software Structures
Software engineering problems often involve large sets of objects and complex relationships among them.This report proposes that graphical visualization techniques can help engineers understanci and solve a class of these problems.To illustrate this, two problems are analyzed and…
GENOA: A Customizable Language- and Front-End Independent Code Analyzer
Article Free Access Share on GENOA: a customizable language- and front-end independent code analyzer Author: Premkumar T. Devanbu View Profile Authors Info & Claims ICSE '92: Proceedings of the 14th international conference on Software engineeringJune 1992 Pages 307–317https://do…
Graphical Specifications for Concurrent Software Systems
We present a description of a graphical interval logic that is the foundation of a toolset we are developing to support formal specification and verification of concurrent software systems. Experience has shown that most software engineers find standard temporal logics difficult …
Estimating Software Fault Content Cefore Coding
Article Estimating software fault content before coding Share on Authors: Stephen G. Eick View Profile , Clive R. Loader View Profile , M. David Long View Profile , Lawrence G. Votta View Profile , Scott Vander Wiel View Profile Authors Info & Claims ICSE '92: Proceedings of the …
Recent Advances in Software Estimation Techniques
Article Free Access Share on Recent advances in software estimation techniques Author: Richard E. Fairley View Profile Authors Info & Claims ICSE '92: Proceedings of the 14th international conference on Software engineeringJune 1992 Pages 382–391https://doi.org/10.1145/143062.143…