2740 search results - page 24 / 548 » A Model-Based Approach To Requirements Analysis |
OTM
2005
Springer
15 years 3 months ago
2005
Springer
Various filtering algorithms for publish/subscribe systems have been proposed. One distinguishing characteristic is their internal representation of Boolean subscriptions: They ei...
CAV
2010
Springer
15 years 1 months ago
2010
Springer
Formal specifications play an increasingly important role in system design-flows. Yet, they are not always easy to deal with. In this paper we present RATSY, a successor of the R...
JSS
2002
14 years 9 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
IPPS
2000
IEEE
15 years 2 months ago
2000
IEEE
Abstract. The current generation of data mining tools have limited capacity and performance, since these tools tend to be sequential. This paper explores a migration path out of th...
EWSA
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, we present a pattern-based software development method that preserves usability and security quality characteristics using a role-driven mapping of requirements anal...