18769 search results - page 114 / 3754 » Requirements Models in Context |
165
Voted
SPIN
1999
Springer
15 years 8 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
186
click to vote
ICSE
1995
IEEE-ACM
15 years 7 months ago
1995
IEEE-ACM
A major problem in requirements engineering is obtaining requirements that address the concerns of multiple stakeholders. An approach to such a problem is the Theory-W based Spira...
140
click to vote
PERCOM
2007
ACM
16 years 3 months ago
2007
ACM
Near field communication (NFC) is a short-range wireless protocol that allows users to connect devices and access content and services by simply holding enabled devices near each ...
154
Voted
AGILEDC
2006
IEEE
15 years 10 months ago
2006
IEEE
Underspecified performance requirements can cause performance issues in a software system. However, a complete, upfront analysis of a software system is difficult, and usually not...
135
click to vote
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
Current modeling approaches in the field of learning and work resemble the notion of workflows and hence fall short in describing the situated and socially mediated nature of pract...