Sciweavers

23119 search results - page 59 / 4624
» From Domain to Requirements
Sort
View
RTAS
1998
IEEE
15 years 2 months ago
Managing Memory Requirements in the Synthesis of Real-Time Systems from Processing Graphs
In the past, environmental restrictions on size, weight, and power consumption have severely limited both the processing and storage capacity of embedded signal processing systems...
Steve Goddard, Kevin Jeffay
ICSE
2003
IEEE-ACM
15 years 10 months ago
From Architecture to Requirements: A Success Story
User requirements for telecommunication systems are difficult to understand because they are obscured by a long history of ad hoc feature development and technological limitations...
Pamela Zave
SIGSOFT
2010
ACM
14 years 7 months ago
From requirements to partial behavior models: an iterative approach to incremental specification refinement
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...
Ivo Krka
ENTCS
2008
135views more  ENTCS 2008»
14 years 9 months ago
Formal Specification Generation from Requirement Documents
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
Gustavo Cabral, Augusto Sampaio
BPM
2004
Springer
108views Business» more  BPM 2004»
15 years 3 months ago
SMART: System Model Acquisition from Requirements Text
Modeling of a business system has traditionally been based on free text documents. This work describes an elaborate experiment that constitutes a proof of concept to the idea that ...
Dov Dori, Nahum Korda, Avi Soffer, Shalom Cohen