Sciweavers

1776 search results - page 144 / 356
» Hypothesis Testing for Module Test in Software Development
Sort
View
JUCS
2006
109views more  JUCS 2006»
15 years 3 months ago
Verifying Real-Time Properties of tccp Programs
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
María Alpuente, María-del-Mar Gallar...
CAISE
2005
Springer
15 years 8 months ago
The Logic of Correctness in Software Engineering
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
Mark Priestly
ICAS
2008
IEEE
200views Robotics» more  ICAS 2008»
15 years 9 months ago
Connectivity of Thetis, a Distributed Hybrid Simulator, with a Mixed Control Architecture
—The purpose of this paper is to present the linkage of Thetis (a real time multi-vehicles hybrid simulator for heterogeneous vehicles) with a control architecture for the manage...
Olivier Parodi, Abdellah El Jalaoui, David Andreu
ISSRE
2002
IEEE
15 years 8 months ago
Inter-Class Mutation Operators for Java
The effectiveness of mutation testing depends heavily on the types of faults that the mutation operators are designed to represent. Therefore, the quality of the mutation operator...
Yu-Seung Ma, Yong Rae Kwon, Jeff Offutt
ECEASST
2010
15 years 17 days ago
Using Free/Libre Open Source Software Projects as E-learning Tools
: Free/Libre Open Source Software (FLOSS) projects can be considered as learning environments in which heterogeneous communities get together to exchange knowledge through discussi...
Antonio Cerone, Sulayman K. Sowe