1 Notes Total of 28 slides Aids to assist in developing your presentation: SPD08 Selective Coordination Section p108-146, Quik-Spec Family Brochure, QSCP.
Dbcbet: Object-Oriented Design by Contract with Declarative Bounded Exhaustive Testing Christopher Coakley and Peter Cappello.
Safe TypeScript Aseem Rastogi University of Maryland, College Park End of Internship Talk Joint work with: Nikhil Swamy (RiSE, Internship mentor), Cédric.
Chair of Software Engineering Piotr Nienaltowski, 23.05.2006, 30.05.2006 Concurrent Object-Oriented Programming Bertrand Meyer, Piotr Nienaltowski.
Extending Type Systems in a Library Yuriy Solodkyy Jaakko Järvi Esam Mlaih.
UIMA Introduction SHARPn Summit June 11, 2012. Outline UIMA Terminology (not just TLAs) Parts of a UIMA pipeline Running a pipeline Viewing annotations.