Pedro Joao Valente Dias Guerreiro


AuthID: R-000-ES6

Confirmed Publications: 24



21
TITLE: Simple support for design by contract in C++
AUTHORS: Guerreiro, P ;
PUBLISHED: 2001, SOURCE: 39th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS 39) in TOOLS 39: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS: SOFTWARE TECHNOLOGY FOR THE AGE OF THE INTERNET, VOLUME: 39, ISSUE: TOOL
INDEXED IN: Scopus WOS
IN MY: ORCID
22
TITLE: Another mediocre assertion mechanism for C++
AUTHORS: Guerreiro, P ;
PUBLISHED: 2000, SOURCE: 33rd International Conference on Technology of Object-Oriented Languages (TOOLS 33) in TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - TOOLS 33, PROCEEDINGS
INDEXED IN: Scopus WOS
IN MY: ORCID
23
TITLE: Adaptability of CASE tools for object-oriented software development
AUTHORS: d'Oliveira, GM; Guerreiro, P ; Moreira, AMD;
PUBLISHED: 1998, SOURCE: World Multi-Conference on Systemics Cybernetics, and Informatics (SCI 98)/4th International Conference on Information Systems, Analysis and Synthesis (ISAS 98) in WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 1, PROCEEDINGS: ISAS '98
INDEXED IN: WOS
24
TITLE: RELATIONAL SEMANTICS OF STRONGLY COMMUNICATING SEQUENTIAL PROCESSES
AUTHORS: GUERREIRO, P ;
PUBLISHED: 1981, SOURCE: Formalization of Programming Concepts, International Colloquium. in LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 107
INDEXED IN: Scopus WOS
IN MY: ORCID
Page 3 of 3. Total results: 24.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service