Author Search Results

1

Generic process algebra: a programming challenge

by Barbosa, L. S.

Published 2006

Access document

Article

2

Bringing class diagrams to life

by Barbosa, L. S.

Published 2010

Access document

Article

3

Process Calculi à la Bird-Meertens

by Barbosa, L. S.

Published 2001

Access document

Article

4

Program slicing by calculation

by Barbosa, L. S.

Published 2006

Access document

Article

5

A perspective on architectural re-engineering

by Barbosa, L. S.

Published 2015

Access document

Article

6

An orchestrator for dynamic interconnection of software components

by Barbosa, L. S.

Published 2007

Access document

Article

7

A calculus for generic, QoS-aware component composition

by Barbosa, L. S.

Published 2012

Access document

Article

8

Components as coalgebras : the refinement dimension

by Barbosa, L. S.

Published 2006

Access document

Article

9

Certification of open-source software : a role for formal methods?

by Barbosa, L. S.

Published 2010

Access document

Article

10

Towards a calculus of state-based software components

by Barbosa, L. S.

Published 2003

Access document

Article

11

Component identification through program slicing

by Barbosa, L. S.

Published 2006

Access document

Article

12

Coalgebra for the working software engineer

by Barbosa, L. S.

Published 2022

Access document

Article

13

Phylogeny of the genus Stephomyia Tavares, 1916 (Diptera: Cecidomyiidae)

by Maia,V. C.

Published 2018

Other Authors: “...Barbosa,L. S....”
Access document

Article

14

Languages and models for hybrid automata: A coalgebraic perspective

by Neves, Renato Jorge Araújo

Published 2018

Other Authors: “...Barbosa, L. S....”
Access document

Article

15

A perspective on service orchestration

by Barbosa, Marco António

Published 2009

Other Authors: “...Barbosa, L. S....”
Access document

Article

16

Higher-order lazy functional slicing

by Rodrigues, Nuno F.

Published 2007

Other Authors: “...Barbosa, L. S....”
Access document

Article

17

Slicing for architectural analysis

by Rodrigues, Nuno F.

Published 2010

Other Authors: “...Barbosa, L. S....”
Access document

Article

18

Transposing partial components: an exercise on coalgebraic refinement

by Oliveira, José Nuno Fonseca

Published 2006

Other Authors: “...Barbosa, L. S....”
Access document

Article

19

A coalgebraic perspective on logical interpretations

by Martins, M. A.

Published 2013

Other Authors: “...Barbosa, L. S....”
Access document

Article

20

Implementation of an orchestration language as a haskell domain specific language

by Campos, Marco Devesas

Published 2009

Other Authors: “...Barbosa, L. S....”
Access document

Article

1
2
3
Next
[3]

Export CSV Export RIS