3399 search results - page 99 / 680 » Requirements Development in Scenario-Based Design |
172
click to vote
ICSE
2004
IEEE-ACM
16 years 5 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
114
Voted
ECBS
2005
IEEE
15 years 10 months ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
125
click to vote
CERA
2010
15 years 5 months ago
2010
Multilevel design problems are typically decomposed into a hierarchy of distributed and strongly coupled sub-problems, each solved by design teams with specialized knowledge and t...
123
Voted
DESRIST
2009
Springer
15 years 9 months ago
2009
Springer
Innovations in health care are often characterized by complexity and fuzzy boundaries, involving both the elements of the innovation and the organizational structure required for ...
111
Voted
ICWE
2004
Springer
15 years 10 months ago
2004
Springer
The growing demand for web applications and the new multi-user and multi-device requirements of these has led to the need for a structured and well-reasoned approach that helps bo...