 | 2005 |
|---|
| 13 |       | Luís Gomes,
João Paulo Barros,
Anikó Costa,
Rui Pais,
Filipe Moutinho:
Towards usage of formal methods within embedded systems co-design.
ETFA 2005 |
| 12 | | Rui Pais,
João Paulo Barros:
Two possible approaches for an intermediate GUI course.
ITiCSE 2005: 365 |
| 11 | | Rui Pais,
João Paulo Barros:
Use of flash movies for teaching GUI programming.
ITiCSE 2005: 390 |
| 10 |  | Luís Gomes,
João Paulo Barros,
Anikó Costa,
Rui Pais,
Filipe Moutinho:
Formal methods for Embedded Systems Co-design: the FORDESIGN project.
ReCoSoC 2005: 143-150 |
| 9 | | Luís Gomes,
João Paulo Barros:
Models of Computation for Embedded Systems.
The Industrial Information Technology Handbook 2005: 1-17 |
| 8 | | Luís Gomes,
João Paulo Barros:
Structuring and composability issues in Petri nets modeling.
IEEE Trans. Industrial Informatics 1(2): 112-123 (2005) |
| 7 | | João Paulo Barros,
Jens Bæk Jørgensen:
A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design.
Nord. J. Comput. 12(3): 229-250 (2005) |
| 2004 |
|---|
| 6 | | João Paulo Barros,
Luís Gomes:
On the Use of Coloured Petri Nets for Object-Oriented Design.
ICATPN 2004: 117-136 |
| 5 | | João Paulo Barros,
Luís Gomes,
Rui Pais,
Rui Dias:
From Petri Nets to Executable Systems: An Environment for Code Generation and Analysis.
ICINCO (2) 2004: 464-467 |
| 2003 |
|---|
| 4 | | João Paulo Barros,
Luís Gomes:
Modifying Petri Net Models by Means of Crosscutting Operations.
ACSD 2003: 177-186 |
| 3 | | João Paulo Barros,
Luís Estevens,
Rui Dias,
Rui Pais,
Elisabete Soeiro:
Using lab exams to ensure programming practice in an introductory programming course.
ITiCSE 2003: 16-20 |
| 2002 |
|---|
| 2 | | João Paulo Barros:
Specific proposals for the use of petri nets in a concurrent programming course.
ITiCSE 2002: 165-167 |
| 2001 |
|---|
| 1 | | João Paulo Barros:
Use petri nets to improve your concurrent programming course.
ITiCSE 2001: 192 |
