1746 search results - page 144 / 350 » Residual for Component Specifications |
131
click to vote
IV
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we present a “lightweight” visual formalism that can be used to examine the state space complexity of an interface. The method can form a basis for designing, te...
134
click to vote
AC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
168
click to vote
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
156
click to vote
AUIC
2002
IEEE
15 years 9 months ago
2002
IEEE
The use of groupware, or collaborative work-supporting technologies, has become wide-spread, but many existing groupware systems are too difficult to integrate with domain-specifi...
112
click to vote
ECBS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper identifies the essential components of a Requirements Engineering (RE) process and provides alternatives to the Requirements Analyst (RA) when deciding on a particular ...