@INPROCEEDINGS{Couto&16b,
  KEY           = "Couto\&16",
  AUTHOR        = "Luis Diogo Couto and Kenneth Lausdahl and Nico Plat and
                   Peter Gorm Larsen and Ken Pierce",
  EDITOR        = "Peter Gorm Larsen and Nico Plat and Nick Battle",
  TITLE         = "{Decoupling validation UIs using Publish-Subscribe
                    binding of instance variables in Overture}",
  BOOKTITLE     = "The 14th Overture Workshop: Towards Analytical Tool Chains",
  ORGANIZATION  = "Aarhus University, Department of Engineering",
  ADDRESS       = "Cyprus, Greece",
  YEAR          = "2016",
  MONTH         = "November",
  PAGES         = "123--136",
  NOTE          = "{ECE-TR-28}",
  ANNOTE        = "",
  COMMENT       = ""}

%G INTOCPSPUB VDM CPS OVERTURE

{"_id":"8vhQy3ApRyDeMkxHX","bibbaseid":"couto-lausdahl-plat-larsen-pierce-decouplingvalidationuisusingpublishsubscribebindingofinstancevariablesinoverture-2016","downloads":0,"creationDate":"2016-11-10T12:01:06.852Z","title":"Decoupling validation UIs using Publish-Subscribe binding of instance variables in Overture","author_short":["Couto, L. D.","Lausdahl, K.","Plat, N.","Larsen, P. G.","Pierce, K."],"year":2016,"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Couto&16b","author":[{"firstnames":["Luis","Diogo"],"propositions":[],"lastnames":["Couto"],"suffixes":[]},{"firstnames":["Kenneth"],"propositions":[],"lastnames":["Lausdahl"],"suffixes":[]},{"firstnames":["Nico"],"propositions":[],"lastnames":["Plat"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["Ken"],"propositions":[],"lastnames":["Pierce"],"suffixes":[]}],"editor":[{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["Nico"],"propositions":[],"lastnames":["Plat"],"suffixes":[]},{"firstnames":["Nick"],"propositions":[],"lastnames":["Battle"],"suffixes":[]}],"title":"Decoupling validation UIs using Publish-Subscribe binding of instance variables in Overture","booktitle":"The 14th Overture Workshop: Towards Analytical Tool Chains","organization":"Aarhus University, Department of Engineering","address":"Cyprus, Greece","year":"2016","month":"November","pages":"123–136","note":"ECE-TR-28","annote":"","comment":"","bibtex":"@INPROCEEDINGS{Couto&16b,\n KEY = \"Couto\\&16\",\n AUTHOR = \"Luis Diogo Couto and Kenneth Lausdahl and Nico Plat and\n Peter Gorm Larsen and Ken Pierce\",\n EDITOR = \"Peter Gorm Larsen and Nico Plat and Nick Battle\",\n TITLE = \"{Decoupling validation UIs using Publish-Subscribe\n binding of instance variables in Overture}\",\n BOOKTITLE = \"The 14th Overture Workshop: Towards Analytical Tool Chains\",\n ORGANIZATION = \"Aarhus University, Department of Engineering\",\n ADDRESS = \"Cyprus, Greece\",\n YEAR = \"2016\",\n MONTH = \"November\",\n PAGES = \"123--136\",\n NOTE = \"{ECE-TR-28}\",\n ANNOTE = \"\",\n COMMENT = \"\"}\n\n%G INTOCPSPUB VDM CPS OVERTURE\n","author_short":["Couto, L. D.","Lausdahl, K.","Plat, N.","Larsen, P. G.","Pierce, K."],"editor_short":["Larsen, P. G.","Plat, N.","Battle, N."],"id":"Couto&16b","bibbaseid":"couto-lausdahl-plat-larsen-pierce-decouplingvalidationuisusingpublishsubscribebindingofinstancevariablesinoverture-2016","role":"author","urls":{},"metadata":{"authorlinks":{"lausdahl, k":"https://blog.lausdahl.com/publications/"}},"downloads":0,"html":""},"search_terms":["decoupling","validation","uis","using","publish","subscribe","binding","instance","variables","overture","couto","lausdahl","plat","larsen","pierce"],"keywords":[],"authorIDs":["NtxQ9SSTQrELYyARd"],"dataSources":["Xcji6y7twnJcmrCLT","HtWEJcCHFxSnPZdyr","o4zfqwm7cQsSnyzzT","Crono4ygz53Pqi6FB","maALzmZwmtEEh8pXx","nGw4dfQFrDZqKC8vj"]}