default search action
Paulo Borba
Paulo H. M. Borba – Paulo Henrique Monteiro Borba
Person information
- affiliation: Federal University of Pernambuco, Recife, Brazil
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j40]Léuson M. P. da Silva
, Paulo Borba
Detecting semantic conflicts with unit tests. J. Syst. Softw. 214: 112070 (2024) - [c97]Galileu Santos de Jesus
Lightweight Semantic Conflict Detection with Static Analysis. ICSE Companion 2024: 343-345 - [c96]Toni Maciel, Paulo Borba, Léuson M. P. da Silva, Thaís Alves Burity Pereira:
Explorando a detecção de conflitos semânticos nas integrações de código em múltiplos métodos. SBES 2024: 181-191 - [c95]Felipe Araújo, Paulo Borba, Guilherme Cavalcanti:
Refinando a Precisão da Detecção de Conflitos: Uma Análise do CSDiff com Abordagem Focalizada. SBES 2024: 246-256 - [i6]Roberto Souto Maior de Barros, Paulo Borba:
Using Information Flow to estimate interference between developers same method contributions. CoRR abs/2404.08619 (2024) - [i5]Guilherme Cavalcanti, Paulo Borba, Leonardo dos Anjos, Jônatas Clementino:
Semistructured Merge with Language-Specific Syntactic Separators. CoRR abs/2407.18888 (2024) - 2023
- [j39]Thaís Rocha
Using acceptance tests to predict merge conflict risk. Empir. Softw. Eng. 28(2): 27 (2023) - [i4]Léuson M. P. da Silva, Paulo Borba, Toni Maciel, Wardah Mahmood, Thorsten Berger, João Moisakis, Aldiberg Gomes, Vinícius Leite:
Detecting Semantic Conflicts with Unit Tests. CoRR abs/2310.02395 (2023) - [i3]Galileu Santos de Jesus, Paulo Borba, Rodrigo Bonifácio, Matheus Barbosa de Oliveira:
Detecting Semantic Conflicts using Static Analysis. CoRR abs/2310.04269 (2023) - 2022
- [j38]Léuson M. P. da Silva
Build conflicts in the wild. J. Softw. Evol. Process. 34(4) (2022) - [j37]Georg Seibt
Leveraging Structure in Software Merge: An Empirical Study. IEEE Trans. Software Eng. 48(11): 4590-4610 (2022) - [c94]Marcela Cunha, Paola R. G. Accioly, Paulo Borba:
The Private Life of Merge Conflicts. SBES 2022: 353-362 - [c93]Matheus Barbosa de Oliveira, Paulo Borba, Rodrigo Bonifácio, Galileu Santos:
Semantic conflict detection with overriding assignment analysis. SBES 2022: 435-445 - 2021
- [c92]Mukelabai Mukelabai, Thorsten Berger, Paulo Borba:
Semi-Automated Test-Case Propagation in Fork Ecosystems. ICSE (NIER) 2021: 46-50 - [c91]Jônatas Clementino, Paulo Borba, Guilherme Cavalcanti:
Textual merge based on language-specific syntactic separators. SBES 2021: 243-252 - 2020
- [j36]Klissiomara L. Dias
Understanding predictive factors for merge conflicts. Inf. Softw. Technol. 121: 106256 (2020) - [j35]Rodrigo Andrade
Privacy and security constraints for code contributions. Softw. Pract. Exp. 50(10): 1905-1929 (2020) - [c90]Léuson M. P. da Silva, Paulo Borba, Wardah Mahmood, Thorsten Berger, João Moisakis:
Detecting Semantic Conflicts via Automated Behavior Change Detection. ICSME 2020: 174-184 - [c89]Leopoldo Teixeira
Safe Evolution of Product Lines Using Configuration Knowledge Laws. SBMF 2020: 210-227
2010 – 2019
- 2019
- [j34]Thaís Rocha, Paulo Borba
Using acceptance tests to predict files changed by programming tasks. J. Syst. Softw. 154: 176-195 (2019) - [j33]Gabriela Sampaio
Partially safe evolution of software product lines. J. Syst. Softw. 155: 17-42 (2019) - [c88]Guilherme Cavalcanti, Paulo Borba, Georg Seibt, Sven Apel
The Impact of Structure on Software Merging: Semistructured Versus Structured Merge. ASE 2019: 1002-1013 - [c87]Alberto Trindade Tavares, Paulo Borba, Guilherme Cavalcanti, Sérgio Soares:
Semistructured Merge in JavaScript Systems. ASE 2019: 1014-1025 - [c86]João Pedro Santos, Thaís Rocha, Paulo Borba:
Improving the prediction of files changed by programming tasks. SBCARS 2019: 53-62 - 2018
- [j32]Paola R. G. Accioly
Understanding semi-structured merge conflict characteristics in open-source Java projects. Empir. Softw. Eng. 23(4): 2051-2085 (2018) - [j31]Melina Mongiovi
Detecting Overly Strong Preconditions in Refactoring Engines. IEEE Trans. Software Eng. 44(5): 429-452 (2018) - [c85]Paola R. G. Accioly, Paulo Borba, Guilherme Cavalcanti:
Understanding Semi-structured merge conflict characteristics in open-source Java projects (journal-first abstract). ASE 2018: 955 - [c84]Paola R. G. Accioly, Paulo Borba, Léuson M. P. da Silva, Guilherme Cavalcanti:
Analyzing conflict predictors in open-source Java projects. MSR 2018: 576-586 - [e4]Thorsten Berger, Paulo Borba, Goetz Botterweck
Proceeedings of the 22nd International Systems and Software Product Line Conference - Volume 1, SPLC 2018, Gothenburg, Sweden, September 10-14, 2018. ACM 2018 [contents] - 2017
- [j30]Rohit Gheyi
An idiom to represent data types in Alloy. Inf. Softw. Technol. 82: 173-176 (2017) - [j29]Guilherme Cavalcanti, Paulo Borba, Paola R. G. Accioly:
Evaluating and improving semistructured merge. Proc. ACM Program. Lang. 1(OOPSLA): 59:1-59:27 (2017) - [j28]Rodrigo Bonifácio
Empirical assessment of two approaches for specifying software product line use case scenarios. Softw. Syst. Model. 16(1): 97-123 (2017) - [c83]Guilherme Cavalcanti, Paulo Borba, Paola R. G. Accioly:
Should we replace our merge tools? ICSE (Companion Volume) 2017: 325-327 - [c82]Marco Couto
Products go Green: Worst-Case Energy Consumption in Software Product Lines. SPLC (A) 2017: 84-93 - 2016
- [j27]Rodrigo Andrade, Márcio Ribeiro
Assessing Idioms for a Flexible Feature Binding Time. Comput. J. 59(1): 1-32 (2016) - [j26]Leonardo Teixeira Passos, Leopoldo Teixeira, Nicolas Dintzner, Sven Apel
Coevolution of variability models and related software artifacts - A fresh look at evolution patterns in the Linux kernel. Empir. Softw. Eng. 21(4): 1744-1793 (2016) - [j25]Iran Rodrigues, Márcio Ribeiro
Assessing fine-grained feature dependencies. Inf. Softw. Technol. 78: 27-52 (2016) - [c81]Fernando Benbassat, Paulo Borba, Leopoldo Teixeira:
Safe Evolution of Software Product Lines: Feature Extraction Scenarios. SBCARS 2016: 11-20 - [c80]Silvio Romero de Lemos Meira, Vanilson Arruda Burégio
Programming the Universe: The First Commandment of Software Engineering for all Varieties of Information Systems. SBES 2016: 153-156 - [c79]Gabriela Sampaio
Partially safe evolution of software product lines. SPLC 2016: 124-133 - [i2]Silvio Romero de Lemos Meira, Vanilson Arruda Burégio, Paulo Borba, Vinicius Cardoso Garcia, Jones O. Albuquerque, Sérgio Soares:
Programming the Universe: The First Commandment of Software Engineering for all Varieties of Information Systems. CoRR abs/1609.07818 (2016) - 2015
- [j24]Laís Neves, Paulo Borba, Vander Alves
Safe evolution templates for software product lines. J. Syst. Softw. 106: 42-58 (2015) - [c78]Bruno Cartaxo, Paulo Borba, Sérgio Soares
Improving Performance and Maintainability of Object Cloning with Lazy Clones: An Empirical Evaluation. ESEM 2015: 239-246 - [c77]Guilherme Cavalcanti, Paola R. G. Accioly, Paulo Borba:
Assessing Semistructured Merge in Version Control Systems: A Replicated Experiment. ESEM 2015: 267-276 - [c76]Leopoldo Teixeira, Vander Alves
A product line of theories for reasoning about safe evolution of product lines. SPLC 2015: 161-170 - [c75]Leopoldo Teixeira, Paulo Borba, Rohit Gheyi
Safe evolution of product populations and multi product lines. SPLC 2015: 171-175 - 2014
- [b2]Márcio Ribeiro
Emergent Interfaces for Feature Modularization. Springer Briefs in Computer Science, Springer 2014, ISBN 978-3-319-11492-7, pp. 1-84 - [j23]Felype Ferreira, Rohit Gheyi
A Toolset for Checking SPL Refinements. J. Univers. Comput. Sci. 20(5): 587-614 (2014) - [j22]Paola R. G. Accioly, Paulo Borba, Rodrigo Bonifácio:
Controlled Experiments Comparing Black-box Testing Strategies for Software Product Lines. J. Univers. Comput. Sci. 20(5): 615-639 (2014) - [j21]Rodrigo Andrade, Henrique Rebêlo, Márcio Ribeiro
Flexible Feature Binding with AspectJ-based Idioms. J. Univers. Comput. Sci. 20(5): 692-719 (2014) - [j20]Mauricio Alférez, Rodrigo Bonifácio
Evaluating scenario-based SPL requirements approaches: the case for modularity, stability and expressiveness. Requir. Eng. 19(4): 355-376 (2014) - [j19]Melina Mongiovi
Making refactoring safer through impact analysis. Sci. Comput. Program. 93: 39-64 (2014) - [c74]Márcio Ribeiro
Feature maintenance with emergent interfaces. ICSE 2014: 989-1000 - [c73]Eric Bodden, Társis Tolêdo, Márcio Ribeiro, Claus Brabrand, Paulo Borba, Mira Mezini:
SPLLIFT - Statically Analyzing Software Product Lines in Minutes Instead of Years. Software Engineering 2014: 81-82 - 2013
- [j18]Uirá Kulesza, Sérgio Soares
The crosscutting impact of the AOSD Brazilian research community. J. Syst. Softw. 86(4): 905-933 (2013) - [j17]Leopoldo Teixeira, Paulo Borba
Safe composition of configuration knowledge-based software product lines. J. Syst. Softw. 86(4): 1038-1053 (2013) - [j16]Alberto Costa Neto, Rodrigo Bonifácio
A design rule language for aspect-oriented programming. J. Syst. Softw. 86(9): 2333-2356 (2013) - [j15]Claus Brabrand, Márcio Ribeiro
Intraprocedural Dataflow Analysis for Software Product Lines. LNCS Trans. Aspect Oriented Softw. Dev. 10: 73-108 (2013) - [c72]Henrique Rebêlo, Gary T. Leavens, Ricardo Massa Ferreira Lima, Paulo Borba
Modular aspect-oriented design rule enforcement with XPIDRs. FOAL 2013: 13-18 - [c71]Eric Bodden
SPLLIFT: statically analyzing software product lines in minutes instead of years. PLDI 2013: 355-364 - [c70]Marília Aranha Freire, Paola R. G. Accioly, Gustavo Sizílio, Edmilson Campos Neto, Uirá Kulesza, Eduardo Aranha, Paulo Borba
A Model-Driven Approach to Specifying and Monitoring Controlled Experiments in Software Engineering. PROFES 2013: 65-79 - [c69]Jean Carlos de Carvalho Melo, Paulo Borba
Improving Modular Reasoning on Preprocessor-Based Systems. SBCARS 2013: 11-19 - [c68]Rodrigo Andrade, Henrique Rebêlo, Márcio Ribeiro
AspectJ-Based Idioms for Flexible Feature Binding. SBCARS 2013: 59-68 - [c67]Leonardo Teixeira Passos, Jianmei Guo, Leopoldo Teixeira, Krzysztof Czarnecki, Andrzej Wasowski, Paulo Borba
Coevolution of variability models and related artifacts: a case study from the Linux kernel. SPLC 2013: 91-100 - [i1]Paulo Borba, Myra B. Cohen, Axel Legay, Andrzej Wasowski:
Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091). Dagstuhl Reports 3(2): 144-170 (2013) - 2012
- [j14]Paulo Borba
Special issue with selected papers from the 23rd Brazilian Symposium on Software Engineering. J. Syst. Softw. 85(2): 215 (2012) - [j13]Fernanda d'Amorim, Paulo Borba
Modularity analysis of use case implementations. J. Syst. Softw. 85(4): 1012-1027 (2012) - [j12]Paulo Borba
A theory of software product line refinement. Theor. Comput. Sci. 455: 2-30 (2012) - [c66]Claus Brabrand, Márcio Ribeiro
Intraprocedural dataflow analysis for software product lines. AOSD 2012: 13-24 - [c65]Márcio Ribeiro
Emergo: a tool for improving maintainability of preprocessor-based product lines. AOSD (Companion) 2012: 23-26 - [c64]Paola R. G. Accioly, Paulo Borba
Comparing Two Black-Box Testing Strategies for Software Product Lines. SBCARS 2012: 1-10 - [c63]Felype Ferreira, Paulo Borba
Making Software Product Line Evolution Safer. SBCARS 2012: 21-30 - 2011
- [j11]Rohit Gheyi
Automatically Checking Feature Model Refactorings. J. Univers. Comput. Sci. 17(5): 684-711 (2011) - [c62]Rodrigo Andrade, Márcio Ribeiro
Assessing Idioms for Implementing Features with Flexible Binding Times. CSMR 2011: 231-240 - [c61]Márcio Ribeiro
On the impact of feature dependencies when maintaining preprocessor-based software product lines. GPCE 2011: 23-32 - [c60]Laís Neves, Leopoldo Teixeira, Demóstenes Sena, Vander Alves
Investigating the safe evolution of software product lines. GPCE 2011: 33-42 - [c59]Christina Chavez
The AOSD Research Community in Brazil and Its Crosscutting Impact. SBES 2011: 72-81 - [c58]Leopoldo Teixeira, Paulo Borba
Safe Composition of Configuration Knowledge-Based Software Product Lines. SBES 2011: 263-272 - [e3]Paulo Borba, Shigeru Chiba:
Proceedings of the 10th International Conference on Aspect-Oriented Software Development, AOSD 2011, Porto de Galinhas, Brazil, March 21-25, 2011. ACM 2011, ISBN 978-1-4503-0605-8 [contents] - [e2]Paulo Borba, Shigeru Chiba:
Companion Volume of the 10th International Conference on Aspect-Oriented Software Development, AOSD 2011, Porto de Galinhas, Brazil, March 21-25, 2011. ACM 2011, ISBN 978-1-4503-0606-5 [contents] - 2010
- [c57]Mário Henrique C. Torres, Uirá Kulesza, Matheus Sousa, Thaís Vasconcelos Batista
Assessment of product derivation tools in the evolution of software product lines: an empirical study. FOSD 2010: 10-17 - [c56]Paulo Borba
A Theory of Software Product Line Refinement. ICTAC 2010: 15-43 - [c55]Márcio Ribeiro
Emergent feature modularization. SPLASH/OOPSLA Companion 2010: 11-18 - [c54]Márcio Ribeiro
Towards feature modularization. SPLASH/OOPSLA Companion 2010: 225-226 - [c53]Fernanda d'Amorim, Paulo Borba
Modularity Analysis of Use Case Implementations. SBCARS 2010: 11-20 - [c52]Tiago Massoni, Rohit Gheyi
Synchronizing Model and Program Refactoring. SBMF 2010: 96-111 - [e1]Paulo Borba, Ana Cavalcanti
Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures. Lecture Notes in Computer Science 6153, Springer 2010, ISBN 978-3-642-14334-2 [contents]
2000 – 2009
- 2009
- [c51]Rodrigo Bonifácio
Modeling scenario variability as crosscutting mechanisms. AOSD 2009: 125-136 - [c50]Márcio de Medeiros Ribeiro
Improving Guidance when Restructuring Variabilities in Software Product Lines. CSMR 2009: 79-88 - [c49]Paulo Borba
An Introduction to Software Product Line Refactoring. GTTSE 2009: 1-26 - [c48]Rohit Gheyi
A Complete Set of Object Modeling Laws for Alloy. SBMF 2009: 204-219 - 2008
- [j10]Rohit Gheyi
Algebraic Laws for Feature Models. J. Univers. Comput. Sci. 14(21): 3573-3591 (2008) - [c47]Rodrigo Bonifácio
On the benefits of scenario variability as crosscutting. EA@AOSD 2008: 6:1-6:8 - [c46]Tiago Massoni, Rohit Gheyi, Paulo Borba
Formal Model-Driven Program Refactoring. FASE 2008: 362-376 - [c45]Eduardo Aranha, Paulo Borba
Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach. ICSP 2008: 282-293 - [c44]Márcio Ribeiro
Recommending refactorings when restructuring variabilities in software product lines. WRT@OOPSLA 2008: 8 - [c43]Sérgio Soares
Supporting software product lines development: FLiP - product line derivation tool. OOPSLA Companion 2008: 737-738 - [c42]Márcio de Medeiros Ribeiro
A decision model for implementing product lines variabilities. SAC 2008: 276-277 - [c41]Rodrigo Bonifácio, Paulo Borba:
Towards a Crosscutting Approach for Variability Management. SPLC (2) 2008: 353-360 - [c40]Vander Alves
FLiP: Managing Software Product Line Extraction and Reaction with Aspects. SPLC 2008: 354 - 2007
- [j9]Vander Alves, Pedro Matos, Leonardo Cole, Alexandre M. L. de Vasconcelos, Paulo Borba, Geber L. Ramalho:
Extracting and Evolving Code in Product Lines with Aspect-Oriented Programming. LNCS Trans. Aspect Oriented Softw. Dev. 4: 117-142 (2007) - [c39]Uirá Kulesza, Vander Alves, Alessandro F. Garcia, Alberto Costa Neto, Elder Cirilo, Carlos José Pereira de Lucena, Paulo Borba:
Mapping Features to Aspects: A Model-Based Generative Approach. EA@AOSD 2007: 155-174 - [c38]Sérgio Soares
Concurrency Control Modularization with Aspect-Oriented Programming. COMPSAC (1) 2007: 295-300 - [c37]Fernando Calheiros, Vilmar Nepomuceno, Paulo Borba, Sérgio Soares, Vander Alves:
Product Line Variability Refactoring Tool. WRT 2007: 32-33 - [c36]Roberta Arcoverde, Sérgio Soares, Patrícia Lustosa, Paulo Borba:
AJaTS: AspectJ Transformation System. WRT 2007: 34-35 - [c35]Phil Greenwood, Thiago T. Bartolomei, Eduardo Figueiredo
On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study. ECOOP 2007: 176-200 - [c34]Eduardo Aranha, Paulo Borba:
An Estimation Model for Test Execution Effort. ESEM 2007: 107-116 - [c33]Phil Greenwood, Alessandro F. Garcia, Awais Rashid
On the Contributions of an End-to-End AOSD Testbed. EA@ICSE 2007: 8 - [c32]Sérgio Soares
Towards reusable and modular aspect-oriented concurrency control. SAC 2007: 1293-1294 - [c31]Márcio de Medeiros Ribeiro, Marcos Dósea, Rodrigo Bonifácio, Alberto Costa Neto, Paulo Borba, Sérgio Soares:
Analyzing Class and Crosscutting Modularity with Design Structure Matrixes. SBES 2007: 167-181 - 2006
- [j8]Tiago Massoni, Rohit Gheyi, Paulo Borba:
An Approach to Invariant-based Program Refactoring. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 3 (2006) - [j7]Sérgio Soares
Distribution and persistence as aspects. Softw. Pract. Exp. 36(7): 711-759 (2006) - [c30]Vander Alves
Refactoring product lines. GPCE 2006: 201-210 - [c29]Uirá Kulesza, Vander Alves
Improving Extensibility of Object-Oriented Frameworks with Aspect-Oriented Programming. ICSR 2006: 231-245 - [c28]Eduardo Aranha, Paulo Borba
Model Simulation for Test Execution Capacity Estimation. ISSRE 2006: 231-236 - [c27]Uirá Kulesza, Roberta Coelho, Vander Alves, Alberto Costa Neto, Alessandro Garcia, Carlos Lucena, Arndt von Staa, Paulo Borba:
Implementing Framework Crosscutting Extensions with EJPs and AspectJ. SBES 2006: 177-192 - [c26]Tiago Massoni, Rohit Gheyi, Paulo Borba
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs. SBMF 2006: 189-209 - 2005
- [c25]Leonardo Cole, Paulo Borba
Deriving refactorings for AspectJ. AOSD 2005: 123-134 - [c24]Vander Alves
Comparative Analysis of Porting Strategies in J2ME Games. ICSM 2005: 123-132 - [c23]Rohit Gheyi, Tiago Massoni, Paulo Borba
A rigorous approach for proving model refactorings. ASE 2005: 372-375 - [c22]Tiago Massoni, Rohit Gheyi, Paulo Borba:
A model-driven approach to formal refactoring. OOPSLA Companion 2005: 124-125 - [c21]Tiago Massoni, Rohit Gheyi, Paulo Borba:
Formal Refactoring for UML Class Diagrams. SBES 2005: 152-167 - [c20]Vander Alves
Extracting and Evolving Mobile Games Product Lines. SPLC 2005: 70-81 - [c19]Rohit Gheyi
A Static Semantics for Alloy and its Impact in Refactorings. SBMF 2005: 209-233 - 2004
- [j6]Carlos Andrade, André L. M. Santos, Paulo Borba:
AspectH: Uma Extensão Orientada a Aspectos de Haskel. RITA 11(2): 21-32 (2004) - [j5]Paulo Borba
Algebraic reasoning for object-oriented programming. Sci. Comput. Program. 52: 53-100 (2004) - [c18]Ayla Dantas, Joseph W. Yoder, Paulo Borba, Ralph E. Johnson:
Using Aspects to Make Adaptive Object-Models Adaptable. RAM-SE 2004: 9-19 - [c17]Leonardo Cole, Paulo Borba
Deriving refactorings for aspectJ. OOPSLA Companion 2004: 202-203 - [c16]Augusto Sampaio, Paulo Borba:
Transformation Laws for Sequential Object-Oriented Programming. PSSE 2004: 18-63 - [c15]Rohit Gheyi
An Abstract Equivalence Notion for Object Models. SBMF 2004: 3-21 - 2003
- [j4]Ayla Dantas, Paulo Borba:
Developing Adaptive J2ME Applications Using AspectJ. J. Univers. Comput. Sci. 9(8): 935-955 (2003) - [c14]Paulo Borba, Augusto Sampaio, Márcio Cornélio:
A Refinement Algebra for Object-Oriented Programming. ECOOP 2003: 457-482 - [c13]Sérgio Soares
Aspect-oriented implementation method: progressive or non-progressive approach? OOPSLA Companion 2003: 128-129 - [c12]Rohit Gheyi, Paulo Borba
Refactoring Alloy Specifications. WMF 2003: 227-243 - 2002
- [c11]Sérgio Soares, Paulo Borba:
Concurrency Control with Java and Relational Databases. COMPSAC 2002: 843-849 - [c10]Alexandre Mota, Paulo Borba, Augusto Sampaio:
Mechanical Abstraction of CSPZ Processes. FME 2002: 163-183 - [c9]Sérgio Soares
Implementing distribution and persistence aspects with aspectJ. OOPSLA 2002: 174-190 - [c8]Eduardo Aranha, Paulo Borba:
Testes e Geração de Código de Sistemas Web. SBES 2002: 114-129 - 2001
- [c7]Vander Alves, Paulo Borba:
An Implementation Method for Distributed Object-Oriented Applications. SBES 2001: 161-176 - [c6]Fernando Castor, Kellen Oliveira, Adeline Souza, Gustavo Santos, Paulo Borba:
JATS: A Java Transformation System. SBES 2001: 374-379 - 2000
- [j3]Paulo Borba, Augusto Sampaio:
Basic Laws of ROOL: an object-oriented language. RITA 7(1): 49-68 (2000) - [c5]Márcio Cornélio, Paulo Borba:
Structuring Meachanisms for an Object-Oriented Formal Specification Language. ICSR 2000: 402-419
1990 – 1999
- 1997
- [j2]Paulo Borba, Silvio Romero de Lemos Meira:
A System for Translating Executable VDM Specifiactions into Lazy ML. Softw. Pract. Exp. 27(3): 271-289 (1997) - [c4]Paulo Borba
Systematic Development of Concurrent Object-Oriented Programs. US-Brazil Joint Workshops on the Formal Foundations of Software Systems 1997: 30-37 - 1996
- [c3]Paulo Borba:
A Refinement Theory for Concurrent Object Oriented Languages. SBES 1996: 39-55 - 1995
- [b1]Paulo Borba:
Semantics and refinement for a concurrent object oriented language. University of Oxford, UK, 1995 - 1993
- [j1]Paulo Borba, Silvio Romero de Lemos Meira:
From VDM specifications to functional prototypes. J. Syst. Softw. 21(3): 267-278 (1993) - 1990
- [c2]Paulo H. M. Borba, Silvio R. L. Meira:
Tradução de Tipos de Especificação para Protótipo. SBES 1990: 1-13
1980 – 1989
- 1989
- [c1]Paulo Henrique Monteiro Borba, Silvio Romero de Lemos Meira:
Protótipos Funcionais a partir de Especificações Formais em VDM. SBES 1989: 171-184
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: