{"_id":"nqWAjiG4hhzXSizzD","bibbaseid":"pereira-song-gorgulho-jr-campos-aformalmethodologytospecifyecommercesystems-2002","downloads":0,"creationDate":"2016-11-08T12:25:30.026Z","title":"A Formal Methodology to Specify E-commerce Systems.","author_short":["Pereira, A. C. M.","Song, M. A. J.","Gorgulho, G.","Jr., W. M.","Campos, S. V. A."],"year":2002,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/vale?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2016-06-25T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Pereira"],"firstnames":["Adriano","C.","M."],"suffixes":[]},{"propositions":[],"lastnames":["Song"],"firstnames":["Mark","A.","J."],"suffixes":[]},{"propositions":[],"lastnames":["Gorgulho"],"firstnames":["Gustavo"],"suffixes":[]},{"propositions":[],"lastnames":["Jr."],"firstnames":["Wagner","Meira"],"suffixes":[]},{"propositions":[],"lastnames":["Campos"],"firstnames":["Sérgio","Vale","Aguiar"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/255e52a4d3e4123ed911bb2e2ffbfd0e1/dblp","booktitle":"ICFEM","crossref":"conf/icfem/2002","editor":[{"propositions":[],"lastnames":["George"],"firstnames":["Chris"],"suffixes":[]},{"propositions":[],"lastnames":["Miao"],"firstnames":["Huaikou"],"suffixes":[]}],"ee":"http://dx.doi.org/10.1007/3-540-36103-0_20","interhash":"fbec3a17ba206e6be1631cc507073182","intrahash":"55e52a4d3e4123ed911bb2e2ffbfd0e1","isbn":"3-540-00029-1","keywords":"dblp","pages":"180-191","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2016-06-28T12:08:17.000+0200","title":"A Formal Methodology to Specify E-commerce Systems.","url":"http://dblp.uni-trier.de/db/conf/icfem/icfem2002.html#PereiraSGMC02","volume":"2495","year":"2002","bibtex":"@inproceedings{conf/icfem/PereiraSGMC02,\n added-at = {2016-06-25T00:00:00.000+0200},\n author = {Pereira, Adriano C. M. and Song, Mark A. J. and Gorgulho, Gustavo and Jr., Wagner Meira and Campos, Sérgio Vale Aguiar},\n biburl = {http://www.bibsonomy.org/bibtex/255e52a4d3e4123ed911bb2e2ffbfd0e1/dblp},\n booktitle = {ICFEM},\n crossref = {conf/icfem/2002},\n editor = {George, Chris and Miao, Huaikou},\n ee = {http://dx.doi.org/10.1007/3-540-36103-0_20},\n interhash = {fbec3a17ba206e6be1631cc507073182},\n intrahash = {55e52a4d3e4123ed911bb2e2ffbfd0e1},\n isbn = {3-540-00029-1},\n keywords = {dblp},\n pages = {180-191},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2016-06-28T12:08:17.000+0200},\n title = {A Formal Methodology to Specify E-commerce Systems.},\n url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2002.html#PereiraSGMC02},\n volume = 2495,\n year = 2002\n}\n\n","author_short":["Pereira, A. C. M.","Song, M. A. J.","Gorgulho, G.","Jr., W. M.","Campos, S. V. A."],"editor_short":["George, C.","Miao, H."],"key":"conf/icfem/PereiraSGMC02","id":"conf/icfem/PereiraSGMC02","bibbaseid":"pereira-song-gorgulho-jr-campos-aformalmethodologytospecifyecommercesystems-2002","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/3-540-36103-0_20","Paper":"http://dblp.uni-trier.de/db/conf/icfem/icfem2002.html#PereiraSGMC02"},"keyword":["dblp"],"downloads":0,"html":""},"search_terms":["formal","methodology","specify","commerce","systems","pereira","song","gorgulho","jr.","campos"],"keywords":["dblp"],"authorIDs":[],"dataSources":["CS6vigEABiPwJB2FM"]}