16725 search results - page 331 / 3345 » Engineering Software Correctness |
138
click to vote
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
Reusable components equipped with strict guarantees of quality can help reestablish software development on a stronger footing, by taking advantage of the scaling effect of reuse ...
207
click to vote
SIGADA
1999
Springer
15 years 8 months ago
1999
Springer
A manual for a closed laboratory incorporating software engineering concepts was developed and implemented for Ada’95 during the 1998-1999 academic year. The software engineerin...
136
click to vote
ICSE
2000
IEEE-ACM
15 years 8 months ago
2000
IEEE-ACM
This report describes the current state of software engineering for safety and proposes some directions for needed work that appears to be achievable in the near future. Keywords ...
115
click to vote
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
The Modeling in Software Engineering (MiSE) workshop series provides a forum for discussing the challenges associated with modeling software and with incorporating modeling practi...
126
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
We provide an assessment of the status of empirical software research by analyzing all refereed articles that appeared in the Journal of Empirical Software Engineering from its fir...