Sciweavers

TSE
1998
115views more  TSE 1998»
13 years 11 months ago
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...
Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon
TSE
1998
67views more  TSE 1998»
13 years 11 months ago
Distributed Feature Composition: A Virtual Architecture for Telecommunications Services
—Distributed Feature Composition (DFC) is a new technology for feature specification and composition, based on a virtual architecture offering benefits analogous to those of a pi...
Michael Jackson, Pamela Zave
TSE
1998
176views more  TSE 1998»
13 years 11 months ago
Constructive Protocol Specification Using Cicero
—New protocols are often useful, but are hard to implement well. Protocol synthesis is a solution, but synthesized protocols can be slow. Implementing protocols will be even more...
Yen-Min Huang, Chinya V. Ravishankar
TSE
1998
72views more  TSE 1998»
13 years 11 months ago
Requirements Elicitation and Validation with Real World Scenes
Peter Haumer, Klaus Pohl, Klaus Weidenhaupt
TSE
1998
78views more  TSE 1998»
13 years 11 months ago
Inconsistency Management for Multiple-View Software Development Environments
Developers need tool support to help manage the wide range of inconsistencies that occur during software development. Such tools need to provide developers with ways to define, de...
John C. Grundy, John G. Hosking, Warwick B. Mugrid...
TSE
1998
71views more  TSE 1998»
13 years 11 months ago
Understanding Code Mobility
Alfonso Fuggetta, Gian Pietro Picco, Giovanni Vign...
TSE
1998
93views more  TSE 1998»
13 years 11 months ago
A Strategy for Improving Safety Related Software Engineering Standards
—There are many standards which are relevant for building safety or mission critical software systems. An effective standard is one that should help developers, assessors, and us...
Norman E. Fenton, Martin Neil
TSE
1998
131views more  TSE 1998»
13 years 11 months ago
Experiences Using Lightweight Formal Methods for Requirements Modeling
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
Steve M. Easterbrook, Robyn R. Lutz, Richard Covin...
TSE
1998
83views more  TSE 1998»
13 years 11 months ago
Cost-Effective Analysis of In-Place Software Processes
—Process studies and improvement efforts typically call for new instrumentation on the process in order to collect the data they have deemed necessary. This can be intrusive and ...
Jonathan E. Cook, Lawrence G. Votta, Alexander L. ...
TSE
1998
109views more  TSE 1998»
13 years 11 months ago
An Evaluation of the MOOD Set of Object-Oriented Software Metrics
—This paper describes the results of an investigation into a set of metrics for object-oriented design, called the MOOD metrics. The merits of each of the six MOOD metrics is dis...
Richard H. Carver, Steve Counsell, Reuben V. Nithi