12670 search results - page 169 / 2534 » Requirements Modeling |
99
Voted
CONCUR
1989
Springer
15 years 7 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
124
Voted
VL
2003
IEEE
15 years 8 months ago
2003
IEEE
The paper outlines a tool-supported approach to the design of Web applications. Behavioural models are augmented with web-based simulations of user interfaces to permit validation...
118
click to vote
GI
2008
Springer
15 years 4 months ago
2008
Springer
Abstract: The present contribution deals with the experiences of introducing a modelbased software development method for device driver families used in electronic control units in...
112
Voted
AAAI
2006
15 years 5 months ago
2006
Cognitive modeling techniques provide a way of evaluating user interface designs, based on what is known about human cognitive strengths and limitations. Cognitive modelers face a...
133
Voted
ICSE
2001
IEEE-ACM
15 years 8 months ago
2001
IEEE-ACM
Requirements such as distribution or tracing have an impact on multiple classes in a system. They are cross-cutting requirements, or aspects. Their support is, by necessity, scatt...