{"_id":"zvTFgYxLe4rtGaJmF","bibbaseid":"alves-leal-towardsaformalsoftwaredevelopmentinaconcurrentengineeringenvironmentaspacesystemcase-2013","author_short":["Alves, M. C. B.","Leal, C. F."],"bibdata":{"bibtype":"incollection","type":"incollection","title":"Towards A Formal Software Development in a Concurrent Engineering Environment: A Space System Case","shorttitle":"Towards A Formal Software Development in a Concurrent Engineering Environment","booktitle":"Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment","publisher":"Springer","author":[{"propositions":[],"lastnames":["Alves"],"firstnames":["Miriam","C.","Bergue"],"suffixes":[]},{"propositions":[],"lastnames":["Leal"],"firstnames":["Cynthia","Feitosa"],"suffixes":[]}],"year":"2013","pages":"1105–1116","bibtex":"@incollection{alves_towards_2013,\n\ttitle = {Towards {A} {Formal} {Software} {Development} in a {Concurrent} {Engineering} {Environment}: {A} {Space} {System} {Case}},\n\tshorttitle = {Towards {A} {Formal} {Software} {Development} in a {Concurrent} {Engineering} {Environment}},\n\tbooktitle = {Concurrent {Engineering} {Approaches} for {Sustainable} {Product} {Development} in a {Multi}-{Disciplinary} {Environment}},\n\tpublisher = {Springer},\n\tauthor = {Alves, Miriam C. Bergue and Leal, Cynthia Feitosa},\n\tyear = {2013},\n\tpages = {1105--1116},\n}\n\n","author_short":["Alves, M. C. B.","Leal, C. F."],"key":"alves_towards_2013","id":"alves_towards_2013","bibbaseid":"alves-leal-towardsaformalsoftwaredevelopmentinaconcurrentengineeringenvironmentaspacesystemcase-2013","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"incollection","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["towards","formal","software","development","concurrent","engineering","environment","space","system","case","alves","leal"],"title":"Towards A Formal Software Development in a Concurrent Engineering Environment: A Space System Case","year":2013}