Searching for authors named "Paulo Borba" – sorted by Relevance.
51 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
