| 2008 |
|---|
| 5 | EE | Narayan C. Debnath,
Laura Felice,
German Montejano,
Daniel Riesco:
A Feature Model of E-Government Systems Integrated with Formal Specifications.
ITNG 2008: 27-31 |
| 2005 |
|---|
| 4 | EE | Daniel Riesco,
Laura Felice,
Narayan C. Debnath,
German Montejano:
Using a feature model for RAISE specification reusability.
IRI 2005: 306-311 |
| 3 | | Laura Felice,
Daniel Riesco:
Reuse of Formal Specifications.
Encyclopedia of Information Science and Technology (IV) 2005: 2425-2430 |
| 2004 |
|---|
| 2 | | Daniel Riesco,
Laura Felice,
Narayan C. Debnath,
German Montejano:
Incorporating a Reuse Model to the RAISE Formal Method.
IRI 2004: 133-138 |
| 2000 |
|---|
| 1 | | Laura Felice:
Using formal specifications in object oriented design.
IRMA Conference 2000: 1062-1063 |
