@inproceedings{cacdf754e8a545c09df97193fc2018fc,
title = "Formal methods and customized visualization: A fruitful symbiosis",
abstract = "Formal methods and visualization techniques are central for the realization of user-centered computing environments: they are responsible for ensuring correctness and comfort of tool usage in application-level development scenarios. Their synergy is the key to a wide acceptance and improved productivity. We illustrate here on a case study how even elaborate formal methods can be profitably used by non experts, providing that they are fully automatable and supported by powerful visualization aids, and how formal methods are the key to a flexible {\textquoteleft}look and feel{\textquoteright} of the presentation-layer, which becomes a customizable commodity within a user-specific configuration space. This way, an application development tool becomes really capable to evolve together with the application, the project, and single user{\textquoteright}s needs.",
author = "Tiziana Margaria and Volker Braun",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1998.; 1st European Joint Conferences on Theory and Practice of Software, ETAPS 1998 associated with International Workshop on Advanced Communication Services, ACOS 1998, International Workshop on Visualization Issues for Formal Methods, VISUAL 1998, 2nd International Workshop on Advanced Intelligent Networks, AIN 1997 ; Conference date: 28-03-1998 Through 04-04-1998",
year = "1998",
doi = "10.1007/bfb0053506",
language = "English",
isbn = "3540643672",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "190--207",
editor = "Tiziana Margaria and Bernhard Steffen and Roland R{\"u}ckert and Joachim Posegga",
booktitle = "Services and Visualization",
}