Sciweavers

5477 search results - page 253 / 1096
» Contexts, Domains, and Software
Sort
View
ICSE
2009
IEEE-ACM
16 years 2 months ago
Towards a framework for law-compliant software requirements
During the requirements elicitation phase, analysts have often to take into consideration laws and regulations enacted by different levels of government. The purpose of this paper...
Alberto Siena, Anna Perini, Angelo Susi, John Mylo...
XPU
2004
Springer
16 years 18 days ago
Generative Acceptance Testing for Difficult-to-Test Software
Abstract. While there are many excellent acceptance testing tools and frameworks available today, this paper presents an alternative approach, involving generating code from tests ...
Jennitta Andrea
FATES
2003
Springer
16 years 15 days ago
Using a Software Testing Technique to Improve Theorem Proving
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
Reiner Hähnle, Angela Wallenburg
EUROPAR
2001
Springer
15 years 11 months ago
A Software Architecture for User Transparent Parallel Image Processing on MIMD Computers
Abstract. This paper describes a software architecture that allows image processing researchers to develop parallel applications in a transparent manner. The architecture’s main ...
Frank J. Seinstra, Dennis Koelma, Jan-Mark Geusebr...
APAQS
2000
IEEE
15 years 11 months ago
Testing for Imperfect Integration of Legacy Software Components
In the manufacturing domain, few new distributed systems are built ground-up; most contain wrapped legacy components. While the legacy components themselves are already well-teste...
David Flater