Sciweavers

1850 search results - page 194 / 370
» Design-for-debugging of application specific designs
Sort
View
ISF
2007
87views more  ISF 2007»
13 years 10 months ago
Requirements traceability in model-driven development: Applying model and transformation conformance
The variety of design artifacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper prop...
João Paulo A. Almeida, Maria-Eugenia Iacob,...
CERA
2007
105views more  CERA 2007»
13 years 10 months ago
CAD/CAPP Integration using Feature Ontology
: In a collaborative computer-supported engineering environment, the interoperation of various applications will need a representation that goes beyond the current geometry-based r...
Christel Dartigues, Parisa Ghodous, Michael Grunin...
SIGSOFT
2008
ACM
14 years 11 months ago
Requirements engineering: from craft to discipline
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
Axel van Lamsweerde
HT
2004
ACM
14 years 3 months ago
Hypertext versioning for embedded link models
In this paper, we describe Chrysant, a hypertext version control system for embedded link models. Chrysant provides generalpurpose versioning capability to hypertext systems with ...
Kai Pan, E. James Whitehead Jr., Guozheng Ge
FLAIRS
1998
13 years 11 months ago
ProbSy--A System for the Calculation of Probabilities in the Card Game Bridge
Wepresent an application designated to the calculation of probabilities in the card gamebridge. Theapplication can be used by bridge players to improvetheir decisions in the game....
Anders L. Madsen, Lars M. Nielsen, Finn Verner Jen...