BibTeX records: Laura Felice

• > Home > Persons > Laura Felice

@article{DBLP:journals/jcmse/FeliceLMMRD10,
  author       = {Laura Felice and
                  Mar{\'{\i}}a Carmen Leonardi and
                  Mar{\'{\i}}a Virginia Mauco and
                  German Montejano and
                  Daniel Riesco and
                  Narayan C. Debnath},
  title        = {Integrating formal methods with domain analysis},
  journal      = {J. Comput. Methods Sci. Eng.},
  volume       = {10},
  number       = {3-6},
  pages        = {149--161},
  year         = {2010},
  url          = {https://doi.org/10.3233/JCM-2010-0275},
  doi          = {10.3233/JCM-2010-0275},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcmse/FeliceLMMRD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiccsa/LeonardiMFMRD10,
  author       = {Mar{\'{\i}}a Carmen Leonardi and
                  Mar{\'{\i}}a Virginia Mauco and
                  Laura Felice and
                  German Montejano and
                  Daniel Riesco and
                  Narayan C. Debnath},
  title        = {Recovering business process diagrams from {UML} diagrams},
  booktitle    = {The 8th {ACS/IEEE} International Conference on Computer Systems and
                  Applications, {AICCSA} 2010, Hammamet, Tunisia, May 16-19, 2010},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/AICCSA.2010.5586982},
  doi          = {10.1109/AICCSA.2010.5586982},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiccsa/LeonardiMFMRD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiccsa/LeonardiMFMRD09,
  author       = {Mar{\'{\i}}a Carmen Leonardi and
                  Mar{\'{\i}}a Virginia Mauco and
                  Laura Felice and
                  German Montejano and
                  Daniel Riesco and
                  Narayan C. Debnath},
  editor       = {El Mostapha Aboulhamid and
                  Jos{\'{e}} Luis Sevillano},
  title        = {Integrating natural language oriented models with feature model},
  booktitle    = {The 7th {IEEE/ACS} International Conference on Computer Systems and
                  Applications, {AICCSA} 2009, Rabat, Morocco, May 10-13, 2009},
  pages        = {185--190},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/AICCSA.2009.5069323},
  doi          = {10.1109/AICCSA.2009.5069323},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiccsa/LeonardiMFMRD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sede/DebnathFLMMR09,
  author       = {Narayan C. Debnath and
                  Laura Felice and
                  Mar{\'{\i}}a Carmen Leonardi and
                  Mar{\'{\i}}a Virginia Mauco and
                  German Montejano and
                  Daniel Riesco},
  title        = {A Strategy to Derive {RSL} Specification from Feature Models},
  booktitle    = {18th International Conference on Software Engineering and Data Engineering
                  (SEDE-2009), June 22-24, 2009, Imperial Palace Hotel Las Vegas, Las
                  Vegas, Nevada, USA, Proceedings},
  pages        = {168--173},
  publisher    = {{ISCA}},
  year         = {2009},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sede/DebnathFLMMR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itng/DebnathFMR08,
  author       = {Narayan C. Debnath and
                  Laura Felice and
                  German Montejano and
                  Daniel Riesco},
  editor       = {Shahram Latifi},
  title        = {A Feature Model of E-Government Systems Integrated with Formal Specifications},
  booktitle    = {Fifth International Conference on Information Technology: New Generations
                  {(ITNG} 2008), 7-8 April 2008, Las Vegas, Nevada, {USA}},
  pages        = {27--31},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ITNG.2008.104},
  doi          = {10.1109/ITNG.2008.104},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/itng/DebnathFMR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iri/RiescoFDM05,
  author       = {Daniel Riesco and
                  Laura Felice and
                  Narayan C. Debnath and
                  German Montejano},
  editor       = {Du Zhang and
                  Taghi M. Khoshgoftaar and
                  Mei{-}Ling Shyu},
  title        = {Using a feature model for {RAISE} specification reusability},
  booktitle    = {Proceedings of the 2005 {IEEE} International Conference on Information
                  Reuse and Integration, {IRI} - 2005, August 15-17, 2005, Las Vegas
                  Hilton, Las Vegas, NV, {USA}},
  pages        = {306--311},
  publisher    = {{IEEE} Systems, Man, and Cybernetics Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/IRI-05.2005.1506491},
  doi          = {10.1109/IRI-05.2005.1506491},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iri/RiescoFDM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/idea/encyclopedia2005/FeliceR05,
  author       = {Laura Felice and
                  Daniel Riesco},
  editor       = {Mehdi Khosrow{-}Pour},
  title        = {Reuse of Formal Specifications},
  booktitle    = {Encyclopedia of Information Science and Technology {(5} Volumes)},
  pages        = {2425--2430},
  publisher    = {Idea Group},
  year         = {2005},
  url          = {http://www.igi-global.com/Bookstore/Chapter.aspx?TitleId=14626},
  timestamp    = {Sun, 09 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/idea/encyclopedia2005/FeliceR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iri/RiescoFDM04,
  author       = {Daniel Riesco and
                  Laura Felice and
                  Narayan C. Debnath and
                  German Montejano},
  editor       = {Du Zhang and
                  {\'{E}}ric Gr{\'{e}}goire and
                  Doug DeGroot},
  title        = {Incorporating a Reuse Model to the {RAISE} Formal Method},
  booktitle    = {Proceedings of the 2004 {IEEE} International Conference on Information
                  Reuse and Integration, {IRI} - 2004, November 8-10, 2004, Las Vegas
                  Hilton, Las Vegas, NV, {USA}},
  pages        = {133--138},
  publisher    = {{IEEE} Systems, Man, and Cybernetics Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/IRI.2004.1431449},
  doi          = {10.1109/IRI.2004.1431449},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iri/RiescoFDM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irma/Felice00,
  author       = {Laura Felice},
  editor       = {Mehdi Khosrowpour},
  title        = {Using formal specifications in object oriented design},
  booktitle    = {Challenges of Information Technology Management in the 21st Century,
                  2000 Information Resources Management Association International Conference,
                  Anchorage, Alaska, USA, May 21-24, 2000},
  pages        = {1062--1063},
  publisher    = {{IDEA} Group Publishing},
  year         = {2000},
  timestamp    = {Wed, 30 Aug 2006 11:04:01 +0200},
  biburl       = {https://dblp.org/rec/conf/irma/Felice00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}