University of Maryland
CMSC 838P — Advanced Topics In Programming Languages- Research In Software Engineering
13 documents • ranked by quality and engagement.
No description provided
Reducing Program Development Errors via Design and Code Inspections
CMSC 838P · University of Maryland
SPIN Model Checker
CMSC 838P · University of Maryland
EJB Overview
CMSC 838P · University of Maryland
Java Beans for Enterprise
CMSC 838P · University of Maryland
EJB Concepts
CMSC 838P · University of Maryland
Program Evolution Support Dynamic Discovery of Likely Invariants
CMSC 838P · University of Maryland
Extreme Programming Embracing Change
CMSC 838P · University of Maryland
Exam for Finals
CMSC 838P · University of Maryland
Correctness of Programs Proof
CMSC 838P · University of Maryland
Ease of Extension and Contraction in Software Design
CMSC 838P · University of Maryland
Java Data Objects Specification Usage
CMSC 838P · University of Maryland
Review of RUBiS Design
CMSC 838P · University of Maryland
Maturation of Software Technology
CMSC 838P · University of Maryland