2342 search results - page 36 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
120
Voted
ISESE
2005
IEEE
15 years 9 months ago
2005
IEEE
A controlled experiment was performed to assess the usefulness of portions of a Usability-Supporting Architectural Pattern (USAP) in modifying the design of software architectures...
118
Voted
UIST
2004
ACM
15 years 9 months ago
2004
ACM
Location-enhanced applications use the location of people, places, and things to augment or streamline interaction. Location-enhanced applications are just starting to emerge in s...
127
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Static analysis tools report software defects that may or may not be detected by other verification methods. Two challenges complicating the adoption of these tools are spurious f...
103
Voted
KBSE
1997
IEEE
15 years 7 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
171
Voted
AICCSA
2008
IEEE
15 years 5 months ago
2008
IEEE
Because of several vulnerabilities in software products and high amount of damage caused by them, software developers are enforced to produce more secure systems. Software grows u...