1645 search results - page 39 / 329 » Rationale-Based Use Case Specification |
161
click to vote
RE
2007
Springer
16 years 3 days ago
2007
Springer
Customer-reported field failures provide valuable information for the requirements of the next release. Without a systematic approach, the requirements of the next release may not...
137
click to vote
COMPSAC
2009
IEEE
16 years 23 days ago
2009
IEEE
In software engineering projects, there are two different types of modeling tools. On the one hand, there are tools to model the system under construction, i.e. tools for requirem...
159
click to vote
ECBS
2006
IEEE
16 years 1 days ago
2006
IEEE
Robotic systems are developed to execute tasks with several types of risks associated. The possible damages that can affect both the working environment and the self-system lead u...
164
click to vote
CONCUR
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
166
click to vote
CSE
2008
IEEE
15 years 7 months ago
2008
IEEE
A well-known challenge during processor design is to obtain best possible results for a typical target application domain by combining flexibility and computational performance. A...