806 search results - page 1 / 162 » SDL in a Changing World |
SAM
2004
13 years 6 months ago
2004
ROOM
2000
13 years 6 months ago
2000
A new version of SDL called SDL-2000 is currently reaching maturity, and is expected to pass the standardization bodies shortly. It will offer new features as object-oriented data...
JAMIA
2010
12 years 11 months ago
2010
PERVASIVE
2010
Springer
12 years 11 months ago
2010
Springer
SIGSOFT
2010
ACM
12 years 11 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...