Sciweavers

1631 search results - page 3 / 327
» Software engineering technology watch
Sort
View
ICSE
2000
IEEE-ACM
15 years 6 months ago
Producing more reliable software: mature software engineering process vs. state-of-the-art technology?
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
James C. Widmaier
88
Voted
VSTTE
2005
Springer
15 years 8 months ago
Computational Logical Frameworks and Generic Program Analysis Technologies
José Meseguer, Grigore Rosu