2276 search results - page 143 / 456 » Aspect-Oriented Requirements Engineering for Component-Based... |
214
Voted
FIW
2009
15 years 1 months ago
2009
A significant number of failures in e-voting systems have arisen because of poorly specified requirements, combined with an ad-hoc approach to engineering multiple variations of si...
128
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
147
click to vote
CSMR
1999
IEEE
15 years 8 months ago
1999
IEEE
Growing maintenance costs have become a major concern for developers and users of software systems. Changeability is an important aspect of maintainability, especially in environm...
126
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
The electronic voting machines known as Direct Recording Electronic (DRE), that are used in many states in the US have been shown to contain security vulnerabilities [16, 9, 3]. O...
152
click to vote
WOSS
2004
ACM
15 years 9 months ago
2004
ACM
Self-managed software requires monitoring and code changes to an executing program. One technology that enables such self management is software dynamic translation (SDT), which a...