Paulo Borba

From MaRDI portal
Person:714872

Available identifiers

zbMath Open borba.pauloDBLPb/PauloBorbaWikidataQ58284900 ScholiaQ58284900MaRDI QIDQ714872

List of research outcomes





PublicationDate of PublicationType
Health-Watcher Requirements Document2023-06-26Dataset
A framework for establishing formal conformance between object models and object-oriented programs2014-01-24Paper
A static semantics for Alloy and its impact in refactorings2014-01-17Paper
An abstract equivalence notion for object models2013-09-26Paper
A theory of software product line refinement2012-10-11Paper
Synchronizing model and program refactoring2011-05-12Paper
A theory of software product line refinement2010-08-31Paper
Algebraic reasoning for object-oriented programming2004-11-22Paper
https://portal.mardi4nfdi.de/entity/Q48088282004-08-12Paper

Research outcomes over time

This page was built for person: Paulo Borba

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:714872&oldid=7002235"
Powered by MediaWiki