4,951 papers · page 199 of 248
A survey has been designed to seek the practical foundation of base process activities (BPAs) in the software industry and to support research in modelling the software engineering processes. A superset of BPAs compatible with the current software process models, such as SPICE (I…
Reviews are essential for defect detection and they provide an opportunity to control the software development process. This paper focuses upon methods for estimating the defect content after a review and hence to provide support for process control. Two new estimation methods ar…
This paper describes statistical approaches for analyzing software cost and quality data of Software Development Center of Hitachi (SDCH) for several recent years. We have achieved some highly fitted cost and quality models with r=0.837 to 0.975 multiple correlation. The models m…
This paper describes the prototype of a software environment that was devised for helping the formal validation of user interfaces systems. The paper suggests an approach to include such formal operations in the design process. An abstract and formal representation of the user in…
No abstract available.
No abstract available.
We describe the application of model checking tools to analyze a real-time software challenge in the design of Lucent Technologies' 5ESS telephone switching system.We use two tools: COSPAN for checking real-time properties, and TPWB for checking probabilistic specifications.We re…
No abstract available.
We propose a method for analyzing partially-implemented real-time systems.Here we consider real-time concurrent systems for which some components are implemented in Ada and some are partially specified using regular expressions and Graphical Interval Logic (GIL), a real-time temp…
No abstract available.
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools.The scarce familiarity of practitioners with formal notations and the difficulties of their use are main causes of the limited success of for…
In this paper we characterize and model the cost of rework in a Component Factory (CF) organization.A CF is responsible for developing and packaging reusable software components.Data was collected on corrective maintenance activities for the Generalized Support Software reuse ass…
No abstract available.
We propose a framework for "probabilistic functional testing."The success of a test data set generated according to our method guarantees a certain level of confidence into the correctness of the system under test, as a function of two parameters.One is an estimate of the reliabi…
No abstract available.
Programmable logic controller (PLC) software is a critical component of a large number and wide variety of automated machines and plants.In spite of its industrial relevance, its current development practice presents heavy drawbacks that result in poor quality, low reuse rate and…
No abstract available.
This paper looks at the assumptions driving mass marketed software.These assumptions explain why traditional software engineering methods and processes appear to have less economic value in a mass market.The assumptions lead to a model that predicts observed patterns such as (I) …
This paper proposes a comprehensive suite of measures to quantify the level of class coupling during the design of object-oriented systems.This suite takes into account the different 00 design mechanisms provided by the C++ language (e.g., friendship between classes, specializati…
No abstract available.