13137 search results - page 455 / 2628 » A Science of Software Design |
205
click to vote
CSMR
1999
IEEE
15 years 11 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...
192
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Abstract. At our behest or otherwise, while our software is being executed, a huge variety of design assumptions is continuously matched with the truth of the current condition. Wh...
196
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
This paper describes the design of a service that provides nutritional feedback to female college freshmen. A variety of background research methods-food journals, competitive pro...
178
click to vote
CCS
2007
ACM
16 years 1 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...
189
click to vote
KBSE
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...