Sciweavers

425 search results - page 3 / 85
» Requirements, specifications, and minimal refinement
Sort
View
ISSS
1999
IEEE
149views Hardware» more  ISSS 1999»
13 years 12 months ago
A Buffer Merging Technique for Reducing Memory Requirements of Synchronous Dataflow Specifications
Synchronous Dataflow, a subset of dataflow, has proven to be a good match for specifying DSP programs. Because of the limited amount of memory in embedded DSPs, a key problem duri...
Praveen K. Murthy, Shuvra S. Bhattacharyya
IJSEKE
2002
91views more  IJSEKE 2002»
13 years 7 months ago
A Compositional Knowledge Level Process Model of Requirements Engineering
In current literature few detailed process models for Requirements Engineering are presented: usually high-level activities are distinguished, without a more precise specification...
Daniela E. Herlea, Catholijn M. Jonker, Jan Treur,...
SIGSOFT
2004
ACM
14 years 8 months ago
Reasoning about partial goal satisfaction for requirements and design engineering
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
Emmanuel Letier, Axel van Lamsweerde
OOIS
2001
Springer
14 years 1 days ago
Towards a Requirements Engineering Process Model
The creation of a development process is a challenging task. The application, customization and refinement of generic process models into fine-grained process steps suitable for a...
Armin Eberlein, Li Jiang
DAC
2006
ACM
14 years 8 months ago
Formal analysis of hardware requirements
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
Ingo Pill, Simone Semprini, Roberto Cavada, Marco ...