Sciweavers

1912 search results - page 8 / 383
» XML Technologies and Software Engineering
Sort
View
ICSE
2000
IEEE-ACM
15 years 10 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
132
Voted
VSTTE
2005
Springer
16 years 5 days ago
Computational Logical Frameworks and Generic Program Analysis Technologies
José Meseguer, Grigore Rosu