ProfileOfResearchers

161

TITLE: Refinement via interpretation
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Barbosa, LS ;
PUBLISHED: 2009, SOURCE: 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009) in SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 2

IN MY:

ORCID |

ResearcherID |

DBLP |

CIÊNCIAVITAE

162

TITLE: UML Model Refactoring as Refinement: A Coalgebraic Perspective
AUTHORS: Barbosa, LS ; Sun Meng;
PUBLISHED: 2009, SOURCE: 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing in PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 2

IN MY:

ORCID |

ResearcherID |

DBLP |

CIÊNCIAVITAE

163

TITLE: Which Mathematics for the Information Society?
AUTHORS: Joao F Ferreira ; Alexandra Mendes ; Roland Backhouse; Luis S Barbosa ;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Teaching Formal Methods in TEACHING FORMAL METHODS, PROCEEDINGS, VOLUME: 5846

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 5

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

164

TITLE: A coalgebraic semantic framework for reasoning about UML sequence diagrams Full Text
AUTHORS: Meng, S; Barbosa, LS ;
PUBLISHED: 2008, SOURCE: 8th International Conference on Quality Software, QSIC 2008 in Proceedings - International Conference on Quality Software

INDEXED IN:

Scopus

DBLP

CrossRef: 4

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

165

TITLE: A relational model for confined separation logic
AUTHORS: Shuling L Wang; Barbosa, LS ; Oliveira, JN ;
PUBLISHED: 2008, SOURCE: 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering in TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 6

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

166

TITLE: An Exercise on Transition Systems
AUTHORS: Ribeiro, PR; Barbosa, LS ; Wang, S;
PUBLISHED: 2008, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 207, ISSUE: C

INDEXED IN:

Scopus

DBLP

CrossRef: 2

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

167

TITLE: Calculating invariants as coreflexive bisimulations
AUTHORS: Luis S Barbosa ; Jose N Oliveira ; Alexandra Silva ;
PUBLISHED: 2008, SOURCE: 12th International Conference on Algebraic Methodology and Software Technology in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, VOLUME: 5140

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 9

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

168

TITLE: COORDINSPECTOR: a tool for extracting coordination data from legacy code
AUTHORS: Nuno F Rodrigues ; Luis S Barbosa ;
PUBLISHED: 2008, SOURCE: 8th IEEE International Working Conference on Source Code Analysis and Manipulation in EIGHTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 2

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

169

TITLE: On The Discovery of Business Processes Orchestration Patterns
AUTHORS: Nuno F Rodrigues ; Luis S Barbosa ;
PUBLISHED: 2008, SOURCE: IEEE Congress on Services in IEEE CONGRESS ON SERVICES 2008, PT I, PROCEEDINGS, VOLUME: PART 1

INDEXED IN:

Scopus

WOS

DBLP

CrossRef

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

170

TITLE: A type-level approach to component prototyping
AUTHORS: Barbosa, L ; Cunha, J ; Visser, J;
PUBLISHED: 2007, SOURCE: SYANCO'07: International Workshop on Synthesis and Analysis of Component Connectors: 6th ESEC(European Software Engineering Conference)/FSE(Foundations of Software Engineering) Joint Meeting in SYANCO'07: International Workshop on Synthesis and Analysis of Component Connectors - In conjunction with the 6th ESEC/FSE Joint Meeting

INDEXED IN:

Scopus

DBLP

CrossRef

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE