2154 search results - page 22 / 431 » Evidence-based software production |
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the ...
SAC
2009
ACM
15 years 2 months ago
2009
ACM
Multi-agent Systems (MASs) development and Software Product Lines (SPLs) are two consolidated software engineering techniques. Recent research work explores the integration betwee...
103
Voted
IWSAPF
2000
15 years 1 months ago
2000
The creation and validation of product line software architectures are inherently more complex than those of software architectures for single systems. This paper compares a proces...
70
Voted
APSEC
1999
IEEE
15 years 2 months ago
1999
IEEE
A study was commissioned by Hughes Space and Communications software engineering group to determine the effectiveness of the recent
101
click to vote
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
Software's increasingly critical role in systems of widespread significance presents new challenges for the education of software engineers. Not only is our dependence on sof...