569 search results - page 44 / 114 » Intent Specifications: An Approach to Building Human-Centere... |
105
click to vote
RE
2004
Springer
15 years 5 months ago
2004
Springer
Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want. Requirements animat...
DEXA
2008
Springer
15 years 1 months ago
2008
Springer
Recently, a variety of workflow patterns has been proposed focusing on specific aspects like control flow, data flow, and resource assignments. Though these patterns are relevant f...
FMOODS
2006
15 years 1 months ago
2006
Nondeterminism in specifications may be used for at least two different purposes. One is to express underspecification, which means that the specifier for the same environment beha...
105
click to vote
FMSD
2006
14 years 11 months ago
2006
Synchronous specifications are appealing in the design of large scale hardware and software systems because of their properties that facilitate verification and synthesis. When the...
116
click to vote
CUZA
2002
14 years 11 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...