Member

Isabel Nunes

Profile Picture of Isabel Nunes
to
Isabel Nunes, Antónia Lopes, Vasco T. Vasconcelos. Bridging the Gap between Algebraic Specification and Object-oriented Generic Programming. In 9th International Workshop on Runtime Verification, pages 115-131(5779). Springer Berlin Heidelberg, 2009 [Biblios]
Vasco T. Vasconcelos, Isabel Nunes, Antónia Lopes, Nuno Ramiro, Pedro Crispim. Runtime checking Java code using ConGu. In International Workshop on Advanced Software Development Tools and Techniques, 2008, 2008 [Biblios]
Vasco T. Vasconcelos, Isabel Nunes, Antonia Lopes. Monitoring Java code using ConGu. In 19th International Workshop on Algebraic Development Techniques, 2008 [Biblios]
Isabel Nunes, Antónia Lopes, Vasco Vasconcelos, João Abreu, Luís S. Reis. Checking the Conformance of Java Classes Against Algebraic Specifications, In Formal Methods and Software Engineering,Lecture Notes in Computer Science, pages 494-513. Springer Berlin Heidelberg, 2006 [Biblios]
Duarte, P., Nunes, I., Neto, J.P., Chambel, T.. Enhancing Modularity and Feedback in Computer Aided Assessment. In 15th International Conference on Computing, CIC 2006., pages 240-246. IEEE Computer Society, 2006 [Biblios]