Search the dblp DataBase

Publications of Author

1. João Paulo Barros, Luís Gomes
   Modifying Petri Net Models by Means of Crosscutting Operations. [Citation Graph (0, 0)][DBLP]
   ACSD, 2003, pp:177-186 [Conf]
   
2. João Paulo Barros, Luís Gomes
   On the Use of Coloured Petri Nets for Object-Oriented Design. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2004, pp:117-136 [Conf]
   
3. João Paulo Barros, Luís Gomes, Rui Pais, Rui Dias
   From Petri Nets to Executable Systems: An Environment for Code Generation and Analysis. [Citation Graph (0, 0)][DBLP]
   ICINCO (2), 2004, pp:464-467 [Conf]
   
4. Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho
   Formal methods for Embedded Systems Co-design: the FORDESIGN project. [Citation Graph (0, 0)][DBLP]
   ReCoSoC, 2005, pp:143-150 [Conf]
   
5. João Paulo Barros, Jens Bæk Jørgensen
   A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 2005, v:12, n:3, pp:229-250 [Journal]
   
6. Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho
   Towards usage of formal methods within embedded systems co-design. [Citation Graph (0, 0)][DBLP]
   ETFA, 2005, pp:- [Conf]
   
7. Rui Pais, João Paulo Barros
   Use of flash movies for teaching GUI programming. [Citation Graph (0, 0)][DBLP]
   ITiCSE, 2005, pp:390- [Conf]
   
8. Rui Pais, João Paulo Barros
   Two possible approaches for an intermediate GUI course. [Citation Graph (0, 0)][DBLP]
   ITiCSE, 2005, pp:365- [Conf]
   
9. 
   Using lab exams to ensure programming practice in an introductory programming course. [Citation Graph (, )][DBLP]
   
   
10. 
    Specific proposals for the use of petri nets in a concurrent programming course. [Citation Graph (, )][DBLP]
    
    
11. 
    Use petri nets to improve your concurrent programming course. [Citation Graph (, )][DBLP]
    
    
12. 
    A versatile assignment in CS 2(poster session): a file compression utility based on the Huffman code. [Citation Graph (, )][DBLP]