2276 search results - page 209 / 456 » Aspect-Oriented Requirements Engineering for Component-Based... |
134
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
128
click to vote
APSEC
2003
IEEE
15 years 9 months ago
2003
IEEE
Despite a growing awareness of security issues in networked computing systems, most development processes used today still do not take security aspects into account. To address th...
121
click to vote
ADAEUROPE
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Ada 95 has been the first standardized language to include distribution in the core language itself. However, the set of features required by the Distributed Systems Ann...
152
click to vote
EUROMICRO
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper addresses the problem of component selection, task assignment and task scheduling for distributed embedded computer systems. Such systems have a large number of constra...
167
click to vote
WCRE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Object-oriented software quality models usually use metrics of classes and of relationships among classes to assess the quality of systems. However, software quality does not de...