{"_id":"AuSzhoZKSDqEARxRH","bibbaseid":"atlee-beidu-day-faghih-shaker-recommendationsforimprovingtheusabilityofformalmethodsforproductlines-2013","author_short":["Atlee, J. M.","Beidu, S.","Day, N. A.","Faghih, F.","Shaker, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Recommendations for improving the usability of formal methods for product lines","doi":"10/ghv4cq","booktitle":"2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE)","publisher":"IEEE","author":[{"propositions":[],"lastnames":["Atlee"],"firstnames":["Joanne","M."],"suffixes":[]},{"propositions":[],"lastnames":["Beidu"],"firstnames":["Sandy"],"suffixes":[]},{"propositions":[],"lastnames":["Day"],"firstnames":["Nancy","A."],"suffixes":[]},{"propositions":[],"lastnames":["Faghih"],"firstnames":["Fathiyeh"],"suffixes":[]},{"propositions":[],"lastnames":["Shaker"],"firstnames":["Pourya"],"suffixes":[]}],"year":"2013","note":"tex.ids= atleeRecommendationsImprovingUsability2013a","pages":"43–49","bibtex":"@inproceedings{atlee_recommendations_2013,\n\ttitle = {Recommendations for improving the usability of formal methods for product lines},\n\tdoi = {10/ghv4cq},\n\tbooktitle = {2013 1st {FME} {Workshop} on {Formal} {Methods} in {Software} {Engineering} ({FormaliSE})},\n\tpublisher = {IEEE},\n\tauthor = {Atlee, Joanne M. and Beidu, Sandy and Day, Nancy A. and Faghih, Fathiyeh and Shaker, Pourya},\n\tyear = {2013},\n\tnote = {tex.ids= atleeRecommendationsImprovingUsability2013a},\n\tpages = {43--49},\n}\n\n","author_short":["Atlee, J. M.","Beidu, S.","Day, N. A.","Faghih, F.","Shaker, P."],"key":"atlee_recommendations_2013","id":"atlee_recommendations_2013","bibbaseid":"atlee-beidu-day-faghih-shaker-recommendationsforimprovingtheusabilityofformalmethodsforproductlines-2013","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["recommendations","improving","usability","formal","methods","product","lines","atlee","beidu","day","faghih","shaker"],"title":"Recommendations for improving the usability of formal methods for product lines","year":2013}