1645 search results - page 102 / 329 » Rationale-Based Use Case Specification |
185
click to vote
SLE
2009
Springer
15 years 11 months ago
2009
Springer
Composition of requirements models in Software Product Line (SPL) development enables stakeholders to derive the requirements of target software products and, very important, to re...
141
click to vote
DATE
2006
IEEE
16 years 11 days ago
2006
IEEE
Conventional high-level synthesis uses the worst case delay to relate all inputs to all outputs of an operation. This is a very conservative approximation of reality, especially i...
145
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
We present an approach to building libraries of tasks in complex action languages such as Golog, for query answering. Our formalization is based on a situation calculus framework t...
167
click to vote
TC
2008
15 years 6 months ago
2008
Synchronous systems offer clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models a...
157
click to vote
ACE
2004
15 years 7 months ago
2004
In this paper we discuss using a case study to demonstrate the software engineering process from requirements, specification, preliminary user manual, prototyping, design, impleme...