Sciweavers

16725 search results - page 666 / 3345
» Engineering Software Correctness
Sort
View
QSIC
2003
IEEE
16 years 16 days ago
A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL
The goal of this paper is to examine the Japanese experience with the software development process, the challenges they face and how formal engineering methods, in particular SOFL...
Sirin Bekbay, Shaoying Liu
ICCBSS
2003
Springer
16 years 14 days ago
UML-Based Integration Testing for Component-Based Software
Ye Wu, Mei-Hwa Chen, Jeff Offutt
EUROMICRO
2002
IEEE
16 years 7 days ago
Selecting Software Components with Multiple Interfaces
Luis Iribarne, José M. Troya, Antonio Valle...
ARITH
2009
IEEE
15 years 11 months ago
A New Binary Floating-Point Division Algorithm and Its Software Implementation on the ST231 Processor
This paper deals with the design and implementation of low latency software for binary floating-point division with correct rounding to nearest. The approach we present here targe...
Claude-Pierre Jeannerod, Herve Knochel, Christophe...