2118 search results - page 292 / 424 » Execution of A Requirement Model in Software Development |
119
click to vote
FORTE
1996
15 years 5 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
110
click to vote
TC
2002
15 years 4 months ago
2002
: In this paper we show how design-level aspects can be used to develop high integrity systems. In our approach, a system designer must first identify the specific mechanisms requi...
138
click to vote
ISADS
1999
IEEE
15 years 8 months ago
1999
IEEE
Tailorability is generally regarded as a key property of groupware systems due to the dynamics and diversity of cooperative work. This article investigates the use of software com...
134
click to vote
JSS
2006
15 years 4 months ago
2006
Estimating software size is a difficult task that requires a methodological approach. Many different methods that exist today use distinct abstractions to depict a software system...
147
click to vote
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we propose an architecture for adaptive real-time workflow-based collaborative system. Such a system is needed to support real-time communication and sharing of inf...