Paulo Borba
Home
Projects
Publications
Posts
Courses
Talks
Students
Contact
Augusto Sampaio
Latest
An idiom to represent data types in Alloy
A complete set of object modeling laws for Alloy
Brazil test center research group
Algebraic reasoning for object-oriented programming
A refinement algebra for object-oriented programming
A RUP-based software process supporting progressive implementation
Mechanical abstraction of CSP-Z processes
Progressive implementation of aspects
Basic laws of ROOL: an object-oriented language
Basic laws of ROOL: an object-oriented language
Cite
×