9006 search results - page 1228 / 1802 » Modeling Software |
227
click to vote
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
204
click to vote
SIGSOFT
2006
ACM
16 years 1 months ago
2006
ACM
When working on a large software system, a programmer typically spends an inordinate amount of time sifting through thousands of artifacts to find just the subset of information n...
218
click to vote
CCS
2005
ACM
16 years 1 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
205
Voted
ICSE
2010
IEEE-ACM
16 years 8 days ago
2010
IEEE-ACM
We performed an empirical study to characterize factors that affect which bugs get fixed in Windows Vista and Windows 7, focusing on factors related to bug report edits and relat...
226
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...