Sciweavers

523 search results - page 23 / 105
» Goal-Oriented Requirements Engineering: A Case Study in E-go...
Sort
View
ACMSE
2006
ACM
15 years 7 months ago
Framework design using function generalization: a binary tree traversal case study
A software framework is a technology that enables software reuse, potentially yielding rich dividends but requiring significant longterm investment. However, a framework is not a ...
H. Conrad Cunningham, Yi Liu, Pallavi Tadepalli
ENTCS
2007
84views more  ENTCS 2007»
15 years 1 months ago
A Rewriting Logic Framework for Soft Constraints
Soft constraints extend classical constraints to deal with non-functional requirements, overconstrained problems and preferences. Bistarelli, Montanari and Rossi have developed a ...
Martin Wirsing, Grit Denker, Carolyn L. Talcott, A...
VISUALIZATION
2002
IEEE
15 years 6 months ago
A Case Study on Multiresolution Visualization of Local Rainfall from Weather Radar Measurements
Weather radars can measure the backscatter from rain drops in the atmosphere. A complete radar scan provides three–dimensional precipitation information. For the understanding o...
Thomas Gerstner, Dirk Meetschen, Susanne Crewell, ...
TSE
1998
131views more  TSE 1998»
15 years 27 days 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...
ICSE
1994
IEEE-ACM
15 years 5 months ago
Lessons from Using Basic LOTOS
We describe three case studies in the use of Basic LOTOS. The studies cover design recovery, requirements speci cation, and design activities. We also report lessons learned from ...
Mark A. Ardis