Barbara Staudt Lerner

Office:	Clapp 221

Fall Courses

• Computer Science 101, Problem Solving and Structured Programming
• Computer Science 341, Software Design

Spring Courses

• Computer Science 101, Problem Solving and Object-Oriented Programming
• Computer Science 312, Algorithms

Research

• Evolution of Persistent Types
• Software processes
  • Using first-order logic rules to describe and check static semantics of Little-JIL processes
  • Introspecting a Little-JIL process
    • API
    • Jar file - This jar file also requires several jar files available from UMass: littlejil.jar, littlejil_types.jar, juliette_ams.jar, and resourcequery.jar.
  • Translating Little-JIL to FSP for verification with LTSA
    • API
• Cooperative software engineering

Papers

Biography

Contact Information