Showing papers in "Journal of Systems and Software in 1994"

TL;DR: An overview of the state of the art in object-oriented (OO) metrics as well as some new contributions are offered and some research directions that require further effort are identified.

TL;DR: A new consistent and robust method called the least-squares of inverted balanced relative errors (LIRS) is proposed and its superiority to the ordinary least-Squares method is demonstrated by use of five actual data sets.

TL;DR: The maintainability assessment polynomials presented here are accurate models of the test data on which they were constructed and are automated working models that can be used to quickly and easily predict software maintainability.

TL;DR: This article examines the metrics of the software science model, cyclomatic complexity, and an information flow metric of Henry and Kafura, selected on the basis of their popularity within the software engineering literature and the significance of the claims made by their progenitors.

TL;DR: When viewed without reference to implicit models hidden in the expert judgments, function points constitute a potpourri of measurement scales that suggests that each step could represent a transcend the measurement scales and maintain or improve the desired relationship with development effort.

TL;DR: What is more important than software productivity and quality put together?

TL;DR: The article includes a general description of the functionality and architecture of existing PSEEs and discusses the main drawbacks and open issues that have been experienced in trial use of existing products and prototypes.

TL;DR: A synchronous checkpointing algorithm C ∗ and an asynchronous roll back-recovering algorithm R ∗ with O ( VE ) message complexity, which has a relatively small coefficient, which works well in complicated situations such as communication loops involving a minimal number of processors.

TL;DR: The extended GADT (EGADT) presented here is the first method that uses powerful operational assertions integrated with algorithmic debugging, and reduces the number of irrelevant questions to the programmer during bug localization, thus further improving bug localization.

TL;DR: A model-based framework is presented that provides for both software metrics research and the application of research results to software project assessment and a number of analytical methodologies are discussed to develop models predicting software quality factors.

TL;DR: The usefulness of PFA notation as a structural model for hypertex and nonlinear interactive information networks in general is discussed, and the equivalence of this class to deterministic finite automata (DFAs) is demonstrated via an algorithm for generating an equivalent nondeterministic finite automation from a PFA.

TL;DR: This project was designed to find out what environmental and managerial factors are effective in the management ofSoftware production and maintenance and determine the differences between Japanese and European management of software production.

TL;DR: The Practitioner and SoftClass projects, an ESPRIT-funded collaboration and a project funded mainly by TANDEM Computers, attempt to address the above issues, namely, building reusable software, repackaging existing software to make it more readily reusable, and providing computer support for software development with reusable components.

TL;DR: Fault generation models based on a software development model are described and shown to be consistent with the results of an analysis of data collected from fault reports and thorough interviews with software developers, that is, designers and programmers.

TL;DR: This article discusses how the timing characteristics of a system can be specified by a formalism based on high-level Petri nets and shows how its temporal properties can be proven by means of a symbolic execution-based proof method for time reachability analysis.

TL;DR: A program-merging system that helps programmers to manage the evolution of all versions, which is much needed in software development and maintenance environments is proposed, with the generator approach to producing syntactic program comparators for new programming languages.

TL;DR: A software metrics set that contains 13 metrics related to corrective and adaptive maintenance actions was defined and implemented that increased management's ability to assess and predict the state of software maintenance processes and reduce software maintenance costs.

TL;DR: This work shows here a practical means for developing context interchange capabilities in a client-server architecture by use of semantic values (i.e., data and their context) as the unit of data exchange.

TL;DR: This article compares two methods of simultaneously detecting those aspects of software complexity measured by the Halstead metrics and the McCabe cyclomatic complexity number.

TL;DR: A combination of fault trees and Markov models are used to provide an integrated analysis of a portion of the flight control systems used on the Airbus A310 and A320 aircraft to determine the reliability of each system.

TL;DR: A new software project time and cost management model using a β-distributed stochastic petri net (BSPN), which is an integrated model of PERT and Petri nets, is proposed.

TL;DR: Two related design methods for real-time systems, Ada-based DARts (ADARTS) and concurrent DARTS (CODARTS), are described that use both task-structuring and information-hiding module- structuring criteria.

TL;DR: A detailed description of the ami approach is given, as well as its rationale, and practical experience applying ami across Europe are discussed, with a particular emphasis on how the software development process was measured and improved.

TL;DR: This work describes the approximation semantics of A pproximate that serves as the basis for meaningful approximations of both set- and single-valued queries and shows how APPROXIMATE is implemented to make effective use of semantic information to define and compare the accuracies of approximate answers with the exact answer.

TL;DR: The concepts of subsumption and closeness are used to model function composition and function modification in software construction and their associated metrics are used by the proposed reuse system to facilitate searching for reusable components and provide capabilities for helping programmers assess the worth of reusing particular packages.

TL;DR: The economic significance of failure is incorporated with software reliability theory to assess software failure risk—the expected loss resulting from software failure.

TL;DR: A system for maintaining static integrity constraints in data bases that uses the active data base paradigm and can be used as a constraint maintenance layer on top of object-oriented, relational, and nested relational data bases and provides constraint support not only in the case of object composition, but also consider inheritance and methods.

TL;DR: The concepts of relationships, relationship change, and the connection between relationships and behavior (human and system), and the step-by-step procedure for producing a clear relationship definition statement are discussed.

TL;DR: The idea is to avoid interference in the behavior of a component caused by faulty behavior in a hardware or software component that interacts with it, and also introduce means by which a component can detect a fault in its behavior and prevent itself from generating more errors.

TL;DR: The creation of metrics for information hiding at the module level is described and the relationship between the information-hiding metrics and the maintainability of programs is examined by use of subjective validation and a case study of a large Ada program.