Specification and reasoning in SE projects using a Web IDE
Cook, Charles T., Drachova-Strang, Svetlana V., Yu-Shan Sun, Sitaraman, Murali, Carver, Jeffrey C., Hollingsworth, Joseph
Published in 2013 26th International Conference on Software Engineering Education and Training (CSEE&T) (01.05.2013)
Published in 2013 26th International Conference on Software Engineering Education and Training (CSEE&T) (01.05.2013)
Get full text
Conference Proceeding
A Language for Building Verified Software Components
Kulczycki, Gregory, Sitaraman, Murali, Krone, Joan, Hollingsworth, Joseph E., Ogden, William F., Weide, Bruce W., Bucci, Paolo, Cook, Charles T., Drachova-Strang, Svetlana V., Durkee, Blair, Harton, Heather, Heym, Wayne, Hoffman, Dustin, Smith, Hampton, Sun, Yu-Shan, Tagore, Aditi, Yasmin, Nighat, Zaccai, Diego
Published in Safe and Secure Software Reuse
Published in Safe and Secure Software Reuse
Get full text
Book Chapter