Sciweavers

153 search results - page 18 / 31
» Model-based development of in-vehicle software
Sort
View
CBSQ
2003
Springer
15 years 3 months ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
SIGDOC
1998
ACM
15 years 2 months ago
Managing the Software Design Documents with XML
It is hard to manage the software design documents within a distributed development team. The issues include the format, distribution and evolution of data. This paper mainly focu...
Junichi Suzuki, Yoshikazu Yamamoto
IWPC
2010
IEEE
14 years 8 months ago
Studying the Impact of Social Structures on Software Quality
Abstract—Correcting software defects accounts for a significant amount of resources such as time, money and personnel. To be able to focus testing efforts where needed the most,...
Nicolas Bettenburg, Ahmed E. Hassan
APSEC
2007
IEEE
14 years 12 months ago
An Approach to Probabilistic Effort Estimation for Military Avionics Software Maintenance by Considering Structural Characterist
The needs of software maintenance and the importance of maintenance project management increase rapidly in the military avionics industry. Although few previous studies related to...
Tae-Hoon Song, Kyung-A Yoon, Doo-Hwan Bae
CBSE
2006
Springer
15 years 1 months ago
A Prototype Tool for Software Component Services in Embedded Real-Time Systems
Abstract. The use of software component models has become popular during the last decade, in particular in the development of software for desktop applications and distributed info...
Frank Lüders, Daniel Flemström, Anders W...