Decoupling validation UIs using Publish-Subscribe binding of instance variables in Overture. Couto, L. D., Lausdahl, K., Plat, N., Larsen, P. G., & Pierce, K. In Larsen, P. G., Plat, N., & Battle, N., editors, The 14th Overture Workshop: Towards Analytical Tool Chains, pages 123–136, Cyprus, Greece, November, 2016. Aarhus University, Department of Engineering. ECE-TR-28
bibtex   
@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

Downloads: 0