Laura Felice

According to our database, Laura Felice authored at least 9 papers between 2000 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

Integrating formal methods with domain analysis.

Laura Felice, María Carmen Leonardi, María Virginia Mauco, German Montejano, Daniel Riesco, Narayan C. Debnath

J. Comput. Methods Sci. Eng., 2010

Recovering business process diagrams from UML diagrams.

María Carmen Leonardi, María Virginia Mauco, Laura Felice, German Montejano, Daniel Riesco, Narayan C. Debnath

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

2009

A Strategy to Derive RSL Specification from Feature Models.

Narayan C. Debnath, Laura Felice, María Carmen Leonardi, María Virginia Mauco, German Montejano, Daniel Riesco

Proceedings of the 18th International Conference on Software Engineering and Data Engineering (SEDE-2009), 2009

Integrating natural language oriented models with feature model.

María Carmen Leonardi, María Virginia Mauco, Laura Felice, German Montejano, Daniel Riesco, Narayan C. Debnath

Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

2008

A Feature Model of E-Government Systems Integrated with Formal Specifications.

Narayan C. Debnath, Laura Felice, German Montejano, Daniel Riesco

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

2005

Using a feature model for RAISE specification reusability.

Daniel Riesco, Laura Felice, Narayan C. Debnath, German Montejano

Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, 2005

Reuse of Formal Specifications.

Laura Felice, Daniel Riesco

Proceedings of the Encyclopedia of Information Science and Technology (5 Volumes), 2005

2004

Incorporating a Reuse Model to the RAISE Formal Method.

Daniel Riesco, Laura Felice, Narayan C. Debnath, German Montejano

Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

2000

Using formal specifications in object oriented design.

Laura Felice

Proceedings of the Challenges of Information Technology Management in the 21st Century, 2000