Sciweavers

425 search results - page 16 / 85
» Requirements, specifications, and minimal refinement
Sort
View
WCRE
1997
IEEE
13 years 11 months ago
Reverse Engineering is Reverse Forward Engineering
Reverse Engineering is focused on the challenging task of understanding legacy program code without having suitable documentation. Using a transformational forward engineering per...
Ira D. Baxter, Michael Mehlich
IASTEDSE
2004
13 years 9 months ago
A software development process supporting non-functional properties
This paper presents a development process with particular focus on non-functional properties. The process is built around the concept of measurements at different levels of abstra...
Simone Röttger, Steffen Zschaler
SCP
2008
89views more  SCP 2008»
13 years 7 months ago
A challenge for atomicity verification
An unpublished algorithm of Haldar and Vidyasankar implements an atomic variable of an arbitrary type T for one writer and one reader by means of 4 unsafe variables of type T , th...
Wim H. Hesselink
DANTE
1999
IEEE
144views Database» more  DANTE 1999»
14 years 3 days ago
Issues in Using Specifications to Improve Content-Based Search of Multimedia Data
Many current multimedia database management systems perform content-based retrieval of images by extracting the values of various features from every object stored in their system...
Leonard Brown, Le Gruenwald, Gregory D. Speegle
JUCS
2008
130views more  JUCS 2008»
13 years 7 months ago
Experimenting the Automated Selection of COTS Components Based on Cost and System Requirements
: In a component-based development process the selection of components is an activity that takes place over multiple lifecycle phases that span from requirement specifications thro...
Vittorio Cortellessa, Ivica Crnkovic, Fabrizio Mar...