Travelled to:1 × Portugal
1 × USA
Collaborated with:∅ L.Cruz-Filipe G.Gaspar
Talks about:contract (2) interfac (1) program (1) preserv (1) pattern (1) ontolog (1) multipl (1) between (1) extens (1) design (1)
Person: Isabel Nunes
DBLP: Nunes:Isabel
Contributed to:
2013
2003
2002Wrote 3 papers:
- KEOD-2013-Cruz-FilipeNG #logic programming #multi #ontology #source code
- Patterns for Interfacing between Logic Programs and Multiple Ontologies (LCF, IN, GG), pp. 58–69.
- UML-2003-Nunes #contract #ocl
- An OCL Extension for Low-Coupling Preserving Contracts (IN), pp. 310–324.
- TOOLS-USA-2002-Nunes #contract #design #using
- Design by Contract Using Meta-Assertions (IN), pp. 37–56.