3901 search results - page 238 / 781 » software 2008 |
156
click to vote
SNPD
2008
15 years 7 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...
184
click to vote
WICSA
2007
15 years 7 months ago
2007
The software architecture is one of the most important artifacts created in the lifecycle of a software system. It enables, facilitates, hampers, or interferes directly the achiev...
132
click to vote
TOPNOC
2008
15 years 6 months ago
2008
Abstract. We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems...
161
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Feature-Oriented Software Development (FOSD) provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along d...
176
click to vote
AGILEDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Automated acceptance testing is a quite recent addition to testing in agile software development holding great promise of improving communication and collaboration. This paper sum...