5433 search results - page 426 / 1087 » Tool Support for Traceability-Adaptation |
213
click to vote
I3E
2001
15 years 8 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
139
click to vote
ISTA
2004
15 years 8 months ago
2004
: Organizations require material resources, human resources, and business processes to produce goods and services. There is an available market for material resources as well as hu...
174
click to vote
SERP
2004
15 years 8 months ago
2004
Changes to software systems often entail a loss of quality, especially if they have to be accomplished under pressure of time. Long-term software projects must counter this phenome...
169
click to vote
SOQUA
2004
15 years 8 months ago
2004
: Aspect-Oriented Programming (AOP) provides new constructs and tools to handle cross-cutting concerns in programs. Fully realizing the potentials of riented Software Development r...
169
click to vote
MASCOTS
2003
15 years 8 months ago
2003
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian...