[ACM Press the 2007 Symposium - Arcata, California (2007.03.22-2007.03.24)] Proceedings of the 2007 Symposium on Science of Design - SoD '07 - Improving software quality from the requirements specification
- 作者Eckroth, Joshua; Amoussou, Guy-Alain
- 文件大小37.29KB
- 发表时间2007
- DOI10.1145/1496630.1496651
Ada 83 to Ada 2012Barnes, John; Taft, S. Tucker · ACM SIGAda Ada Letters · 2014
Ada 9X: a technical summaryTaft, S. Tucker · Communications of the ACM · 1992
Keynote addressTaft, S. Tucker · ACM SIGAda Ada Letters · 2001
Experimenting with parasailTaft, S. Tucker · ACM SIGAda Ada Letters · 2011
Ada 9XTaft, S. Tucker · ACM SIGPLAN Notices · 1993
Implementing the extended return statement for Ada 2005Taft, S. Tucker · ACM SIGAda Ada Letters · 2008
Bringing safe, dynamic parallel programming to the spark verifiable subset of adaTaft, S. Tucker · ACM SIGAda Ada Letters · 2013
Ada and the software vulnerabilities projectBurns, Alan; Pinho, Miguel; Ploedereder, Erhard; Real, Jorge; Rosen, J. P.; Schonberg, Ed; Taft, S. Tucker; Vardanega, T.; Tokar, Joyce L.; Baird, Stephen; Barnes, John; Chapman, Rod; Dismukes, Gary; Gonzales-Harbour, Michael; Michell, Stephen; Moore, Brad · ACM SIGAda Ada Letters · 2010