Inproceedings,
Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems.
M. Bernardi, M. Cimitile, G. Ruvo, G. Lucca, and A. Santone.ICSOFT-PT, page 53-63. SciTePress, (2015)
Meta data
- BibTeX key
- conf/icsoft/BernardiCRLS15
- entry type
- inproceedings
- booktitle
- ICSOFT-PT
- year
- 2015
- pages
- 53-63
- publisher
- SciTePress
- crossref
- conf/icsoft/2015pt
- ee
- https://doi.org/10.5220/0005520500530063
- isbn
- 978-989-758-115-1
- url
- http://dblp.uni-trier.de/db/conf/icsoft/icsoft2015pt.html#BernardiCRLS15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icsoft/BernardiCRLS15
%A Bernardi, Mario Luca
%A Cimitile, Marta
%A Ruvo, Giuseppe De
%A Lucca, Giuseppe A. Di
%A Santone, Antonella
%B ICSOFT-PT
%D 2015
%E Lorenz, Pascal
%E van Sinderen, Marten
%E Cardoso, Jorge
%I SciTePress
%K dblp
%P 53-63
%T Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems.
%U http://dblp.uni-trier.de/db/conf/icsoft/icsoft2015pt.html#BernardiCRLS15
%@ 978-989-758-115-1
@inproceedings{conf/icsoft/BernardiCRLS15,
added-at = {2017-06-04T00:00:00.000+0200},
author = {Bernardi, Mario Luca and Cimitile, Marta and Ruvo, Giuseppe De and Lucca, Giuseppe A. Di and Santone, Antonella},
biburl = {https://www.bibsonomy.org/bibtex/2c4a155eed697cb33fcfa0433d369c472/dblp},
booktitle = {ICSOFT-PT},
crossref = {conf/icsoft/2015pt},
editor = {Lorenz, Pascal and van Sinderen, Marten and Cardoso, Jorge},
ee = {https://doi.org/10.5220/0005520500530063},
interhash = {2d9be50dfc6c294318598ada8ebb5d7d},
intrahash = {c4a155eed697cb33fcfa0433d369c472},
isbn = {978-989-758-115-1},
keywords = {dblp},
pages = {53-63},
publisher = {SciTePress},
timestamp = {2024-04-09T21:18:46.000+0200},
title = {Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems.},
url = {http://dblp.uni-trier.de/db/conf/icsoft/icsoft2015pt.html#BernardiCRLS15},
year = 2015
}