4,951 papers · page 204 of 248
This paper describes an empirical study which addresses the issue of communication among members of a software development organization.In particular, data was collected concerning code inspections in one software development project.The question of interest is whether or not org…
No abstract available.
We describe an experiment investigating the distribution of failure intensity in software reliability growth models.We found that the assumption of conventional models that the failure intensity follows a gamma distribution is not always true.Our new software reliability model do…
No abstract available.
No abstract available.
Traditional software inspection requires participants to meet together at the same time in the same place.Distributed, asynchronous inspection allows participants to conduct meetings independently of time and space, making inspection more convenient.We report on an industrial stu…
No abstract available.
No abstract available.
No abstract available.
We present a study in which we used formal methods to reason precisely about aspects of a widely used software architectural standard, namely Microsoft's Component Object Model (COM).We developed a formal theory of COM to help us reason about a proposed compositional architectura…
Large software systems are difficult to understand and maintain.Code analysis tools can provide programmers with different views of the software which may help their understanding activity.To be applicable to real programs written in modern programming languages, these tools need…
We survey software practitioners' perceptions of the prototyping and waterfall approaches and find that department size has a significant effect on their attitudes to the advantages and disadvantages of the approaches.Overall respondents from small departments prefer a prototypin…
No abstract available.
The Object Modeling Technique (OMT), a commonly used object-oriented development technique, comprises the object, dynamic, and functional models to provide three complementary views that graphically describe different aspects of systems.The lack of a well-defined semantics for th…
No abstract available.
No abstract available.
No abstract available.
Modem Software Engineering practice advocates the development of domain-specific specification languages to characterize formally the idioms of discourse and jargon of specific problem domains.With poorly-understood domains it is best to construct an abstract syntax to characteri…