Searching for authors named "Isabel Nunes" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Responsible Correctness – an Approach to Deal with the Indirect Invariant Effect
- …Responsible Correctness – an Approach to Deal with the Indirect Invariant Effect Isabel Nunes…
- Add To MetaCart
-
Contract guided system development
- …Abstract Contract-Guided System Development Isabel Nunes and Vasco Vasconcelos Department…
- Cited by 1 (1 self) – Add To MetaCart
-
Bridging the Gap Between Algebraic Specification and Object-Oriented Generic Programming
- …Bridging the Gap Between Algebraic Specification and Object-Oriented Generic Programming Isabel…
- Add To MetaCart
-
Testing implementations of algebraic specifications with design-by-contract tools
- …Testing Implementations of Algebraic Specifications with Design-by-Contract Tools Isabel Nunes…
- Cited by 4 (4 self) – Add To MetaCart
-
Checking the conformance of Java classes against algebraic specifications
- …Checking the Conformance of Java Classes Against Algebraic Specifications Isabel Nunes, Antónia…
- Cited by 5 (3 self) – Add To MetaCart
-
Congu—checking Java classes against property-driven algebraic specifications
- … Caldeira Antónia Lopes Isabel Nunes Luís S. Reis Vasco T. Vasconcelos DI–FCUL TR–07–7 March 28, 2007…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 6.
