Searching for authors named "Alessandra Russo" – sorted by Relevance.
24 documents found, showing 1 through 10.
Next 10 →
-
Modal Labelled Deductive Systems
- …Modal Labelled Deductive Systems Imperial College Research Report DoC 95/7 Alessandra Russo…
- Cited by 4 (0 self) – Add To MetaCart
-
On the Consequences of Acting in the Presence of Inconsistency
- …On the Consequences of Acting in the Presence of Inconsistency Bashar Nuseibeh Alessandra Russo…
- Cited by 2 (2 self) – Add To MetaCart
-
A Unified Compilation Style Labelled Deductive System for Modal and Substructural Logic using Natural Deduction.
- … Natural Deduction. Krysia Broda Alessandra Russo Department of Computing Imperial College of Science…
- Cited by 1 (1 self) – Add To MetaCart
-
On the Use of Logical Abduction in Software Engineering
- …On the Use of Logical Abduction in Software Engineering ALESSANDRA RUSSO and BASHAR NUSEIBEH…
- Cited by 1 (1 self) – Add To MetaCart
-
Using Abduction to Evolve Inconsistent Requirements Specifications
- …Using Abduction to Evolve Inconsistent Requirements Specifications Bashar Nuseibeh Alessandra…
- Cited by 6 (2 self) – Add To MetaCart
-
Enhancing the Alloy Analyzer with Patterns of Analysis
- … Enhancing the Alloy Analyzer with Patterns of Analysis William Heaven and Alessandra Russo…
- Add To MetaCart
-
Restructuring Requirements Specifications for Analysis and Change Management
- …Restructuring Requirements Speci cations for Analysis and Change Management Alessandra Russo…
- Add To MetaCart
-
Restructuring Requirements Specifications for Managing Inconsistency and Change: A Case Study
- … Alessandra Russo, Bashar Nuseibeh and Jeff Kramer Department of Computing, Imperial College, London SW7 2BZ…
- Cited by 7 (2 self) – Add To MetaCart
-
Restructuring Requirements Specifications for Inconsistency Analysis: A Case Study
- …Restructuring Requirements Specifications for Inconsistency Analysis: A Case Study Alessandra…
- Cited by 4 (4 self) – Add To MetaCart
-
Mapping UML Models incorporating OCL Constraints into Object-Z
- …, and Alessandra Russo Department of Computer Science, Imperial College London 180 Queen's Gate, London SW7 2BZ {ar…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
