4726 search results - page 260 / 946 » Domain Modeling of Software Process Models |
219
click to vote
MODELLIERUNG
2001
15 years 8 months ago
2001
: Scenarios/use cases have gained wide-spread use over the last couple of years. In software engineering they are mainly used to capture requirements and specify a system. Many sof...
162
Voted
KBSE
2006
IEEE
16 years 19 days ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
158
click to vote
ACSAC
2005
IEEE
16 years 7 days ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
155
click to vote
MSR
2009
ACM
16 years 1 months ago
2009
ACM
The lifecycle of defects reports and enhancement requests collected in the Bugzilla database of the GNOME project provides valuable information on the evolution of the change requ...
238
click to vote
CANDC
2011
ACM
14 years 6 months ago
2011
ACM
This paper describes a computerized aesthetic composition task that is based on a “creativity as search” metaphor. The technique collects detailed, moment-to-moment data about...