ARTICLES
- Using DDBG to Support Testing and High-level Debugging Interfaces
- 1 Jan 1998
- José Cardoso e Cunha, João Lourenço, Vítor Duarte
- Integrating Object-Oriented Analysis and Formal Specification
- 1 Jan 1998
- João Araújo, Pete Sawyer
- Controlo da Evolução de Sistemas Legados
- 1 Jan 1998
- Miguel Goulão, António Silva Monteiro, Fernando Brito e Abreu, Alberto Bigotte de Almeida
- Classical Negation in NonMonotonic Reasoning and Logic Programming
- 1 Jan 1998
- José Júlio Alferes, Luís Moniz Pereira, T. Przymusinski
- A Graphical Development and Debugging Environment for Parallel Programs
- 1 Jan 1997
- Peter Kacsuk, José Cardoso e Cunha, Gabor Dózsa, João Lourenço, Tibor Fadgyas, Tiago Antão
- Belief Revision in Non-Monotonic Reasoning and Logic Programming
- 1 Nov 1996
- José Júlio Alferes, Luís Moniz Pereira, T. C. Przymusinski
- Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics
- 1 Jan 1996
- Jean-Marie Jacquet, Luís Monteiro
- Teaching Parallel Processing: Development of Curriculum and Software Tools
- 1 Jan 1996
- Jan Kwiatkowski, Marek Andruszkiewicz, Emilio Luque , Tomàs Margalef, José Cardoso e Cunha, João Lourenço, Henryk Krawczyk, Stan Szejko
Article
Article
Article
Article
Article
Article
Article
Article