Searching for authors named "Paulo Borba" – sorted by Relevance.
-
Where are the Laws of Object-Oriented Programming?
- Where are the Laws of Object-Oriented Programming? Paulo Borba Departamento de Inform
- Cited by 6 (3 self) – Add To MetaCart
-
Systematic Development of Concurrent Object-Oriented Programs
- ://www.elsevier.nl/locate/entcs/volume14.html 8 pages Systematic Development of Concurrent Object-Oriented Programs Paulo Borba 1
- Cited by 3 (2 self) – Add To MetaCart
-
A Refinement Theory for Concurrent Object Oriented Languages
- A Refinement Theory for Concurrent Object Oriented Languages Paulo Borba Departamento de Inform
- Cited by 2 (2 self) – Add To MetaCart
-
States as Specifications
- States as Specifications Paulo Borba Departamento de Inform'atica Universidade Federal de
- Cited by 1 (1 self) – Add To MetaCart
-
Design of an Object-Oriented Formal Specification Language
- Design of an object-oriented formal specification language M'arcio Corn'elio and Paulo Borba
- Add To MetaCart
-
Structuring Mechanisms for an Object-Oriented Formal Specification Language
- 'elio and Paulo Borba Centro de Inform'atica Universidade Federal de Pernambuco CP 7851 CEP 50732-970 Recife PE
- Add To MetaCart
-
Aspect-Oriented Implementation Method: Progressive or Non-progressive Approach?
- 26–30, 2003, Anaheim, California, USA. ACM 1-58113-751-6/03/0010. Paulo Borba Informatics Center
- Add To MetaCart
-
Developing adaptive J2ME Applications Using AspectJ
- , Brazil add@(email omitted);) Paulo Borba (Federal University of Pernambuco, Brazil phmb@(email omitted);) Abstract
- Cited by 7 (3 self) – Add To MetaCart
-
Refactoring Alloy Specifications
- Abstract WMF 2003 Preliminary Version Refactoring Alloy Specifications Rohit Gheyi 1,2 Paulo Borba
- Cited by 4 (2 self) – Add To MetaCart
-
From VDM Specifications to Functional Prototypes
- From VDM Specifications to Functional Prototypes Paulo Borba , Silvio Meira y Departamento de
- Cited by 4 (1 self) – Add To MetaCart

