1251 search results - page 80 / 251 » A Method for Component-Based Software and System Development |
142
click to vote
IEEECIT
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper argues about the partitioning in hardware/software co-design and suggests the methodology applying extreme programming to complement the co-design. This approach, contr...
123
click to vote
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
96
Voted
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
151
click to vote
ISSRE
2002
IEEE
15 years 8 months ago
2002
IEEE
An important aspect of developing models relating the number and type of faults in a software system to a set of structural measurement is defining what constitutes a fault. By de...
108
click to vote
EUROGP
2004
Springer
15 years 8 months ago
2004
Springer
Despite considerable progress in GP over the past 10 years, there are many outstanding challenges that need to be addressed before it will be widely deployed for developing useful ...