1940 search results - page 48 / 388 » Dependable Software: An Oxymoron |
COMPSAC
2009
IEEE
14 years 3 months ago
2009
IEEE
—This paper considers the task of software test case generation from a large space of values of input parameters. The purpose of the paper is to create a model of software input ...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
Software development environment is a platform for supporting software designer to design software based on the software requirement specification. It is an interactive system wit...
ASWEC
2004
IEEE
14 years 16 days ago
2004
IEEE
Rigorous software process improvement (SPI) assessments are considered by many small software development firms to be too expensive. This paper presents the results from a program...
APSEC
2004
IEEE
14 years 16 days ago
2004
IEEE
We propose monitoring of software components, and use of monitored software components, as a general approach for engineering of embedded computer systems. In our approach, a comp...
LCPC
1994
Springer
14 years 26 days ago
1994
Springer
Data Dependence Abstractions for Loop Transformations Yi-Qing Yang Corinne Ancourt Francois Irigoin Ecole des Mines de Paris/CRI 77305 Fontainebleau Cedex France tractions of prog...