806 search results - page 1 / 162 » SDL in a Changing World |
SAM
2004
13 years 8 months ago
2004
ROOM
2000
13 years 8 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
13 years 2 months ago
2010
PERVASIVE
2010
Springer
13 years 2 months ago
2010
Springer
SIGSOFT
2010
ACM
13 years 2 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...