( en | de | ru )

 

Disambiguierung von "Borba, Paulo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Refinement Algebra for Object-Oriented Programming.

, , und . ECOOP, Volume 2743 von Lecture Notes in Computer Science, Seite 457-482. Springer, (2003)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Milan Paulovic

Markus Borbach

Manuel António Paulo

Hartwig Paulo

Kurt Paulokat

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards reusable and modular aspect-oriented concurrency control., und . SAC, Seite 1293-1294. ACM, (2007)Partially safe evolution of software product lines., , und . J. Syst. Softw., (2019)On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study., , , , , , , , , und 1 andere Autor(en). ECOOP, Volume 4609 von Lecture Notes in Computer Science, Seite 176-200. Springer, (2007)Detecting Semantic Conflicts via Automated Behavior Change Detection., , , , und . ICSME, Seite 174-184. IEEE, (2020)From VDM specifications to functional prototypes., und . J. Syst. Softw., 21 (3): 267-278 (1993)Automatically Checking Feature Model Refactorings., , und . J. Univers. Comput. Sci., 17 (5): 684-711 (2011)Refactoring Alloy Specifications, und . Electronic Notes in Theoretical Computer Science, (Mai 2004)Detecting Semantic Conflicts using Static Analysis., , , und . CoRR, (2023)Analyzing Class and Crosscutting Modularity with Design Structure Matrixes., , , , , und . SBES, Seite 167-181. SBC, (2007)Partially safe evolution of software product lines., , und . SPLC, Seite 124-133. ACM, (2016)