{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:51:24Z","timestamp":1725511884177},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540718758"},{"type":"electronic","value":"9783540718765"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71876-5_10","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T14:30:55Z","timestamp":1180535455000},"page":"144-159","source":"Crossref","is-referenced-by-count":2,"title":["Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Risoldi","sequence":"first","affiliation":[]},{"given":"Vasco","family":"Amaral","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Aerts, A.T.M., Glege, F., Liendl, M.: A Database perspective on CMS Detector Data. In: Proceedings of CHEP04 conference, Interlaken, CH (2004)"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/3-540-61772-8_45","volume-title":"Dependable Computing - EDCC-2","author":"S. Barbey","year":"1996","unstructured":"Barbey, S., Buchs, D., P\u00e9raire, C.: A theory of specification-based testing for object-oriented software. In: Hlawiczka, A., Simoncini, L., Silva, J.G.S. (eds.) EDCC 1996. LNCS, vol.\u00a01150, pp. 303\u2013320. Springer, Heidelberg (1996)"},{"issue":"1","key":"10_CR3","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S1045-926X(02)00056-3","volume":"14","author":"P.J. Barclay","year":"2003","unstructured":"Barclay, P.J., et al.: Teallach \u2013 a flexible user-interface development environment for object database applications. Journal of Visual Languages & Computing\u00a014(1), 47\u201377 (2003)","journal-title":"Journal of Visual Languages & Computing"},{"key":"10_CR4","unstructured":"Barroca, B., Amaral, V.: Rapid prototyping of user interfaces for control systems: A survey. Technical report, SMV Group, University of Geneva (2006)"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Biberstein, O., Buchs, D., Guelfi, N.: Object-Oriented Nets with Algebraic Specifications: The CO-OPN\/2 Formalism. In: Concurrent Object-Oriented Programming and Petri Nets, pp. 73\u2013130 (2001)","DOI":"10.1007\/3-540-45397-0_3"},{"issue":"7","key":"10_CR6","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1109\/32.859532","volume":"26","author":"D. Buchs","year":"2000","unstructured":"Buchs, D., Guelfi, N.: A formal specification framework for object-oriented distributed systems. IEEE Trans. Software Eng.\u00a026(7), 635\u2013652 (2000)","journal-title":"IEEE Trans. Software Eng."},{"key":"10_CR7","first-page":"141","volume-title":"Formal methods in Human-Computer Interaction","author":"D. Carr","year":"1997","unstructured":"Carr, D.: Interaction object graphs: an executable graphical notation for specifying user interfaces. In: Palanque, P., Patern\u00f2, F. (eds.) Formal methods in Human-Computer Interaction, pp. 141\u2013155. Springer, Heidelberg (1997)"},{"key":"10_CR8","unstructured":"ETM. ETM professional control - PVSS II. URL: http:\/\/www.pvss.com"},{"key":"10_CR9","unstructured":"Franek, B., Gaspar, C.: SMI++ - State Management Interface. URL: http:\/\/cern.ch\/smi"},{"key":"10_CR10","unstructured":"KGB. Team bibliography. URL: http:\/\/kgb.ijs.si\/KGB\/accomplishments.php"},{"key":"10_CR11","unstructured":"L\u00facio, L.: Syntax and semantics of satel (semi automatic testing language). Technical report, SMV Group, University of Geneva (2006)"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1109\/RSP.2005.9","volume-title":"RSP \u201905: Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP\u201905)","author":"L. Lucio","year":"2005","unstructured":"Lucio, L., Pedro, L., Buchs, D.: A Test Language for CO-OPN Specifications. In: RSP \u201905: Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP\u201905), Washington, DC, USA, pp. 195\u2013201. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1109\/RSP.2005.9","volume-title":"IEEE International Workshop on Rapid System Prototyping","author":"L. Lucio","year":"2005","unstructured":"Lucio, L., Pedro, L., Buchs, D.: A test selection language for co-opn specifications. In: IEEE International Workshop on Rapid System Prototyping, pp. 195\u2013201. IEEE Computer Society Press, Los Alamitos (2005)"},{"issue":"3","key":"10_CR14","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0953-5438(99)00014-4","volume":"12","author":"F. Moussa","year":"2000","unstructured":"Moussa, F., Kolski, C., Riahi, M.: A model based approach to semi-automated user interface generation for process control interactive applications. Interacting with Computers\u00a012(3), 245\u2013279 (2000)","journal-title":"Interacting with Computers"},{"key":"10_CR15","unstructured":"Palanque, P.: Publications. URL: http:\/\/liihs.irit.fr\/palanque\/publications.html"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Palanque, P., Bastide, R.: Petri net based design of user-driven interfaces using the interactive cooperative objects formalism. In: Proceedings of EUROGRAPHICS workshop on \u201ddesign, specification and verification of Interactive systems\u201d (1994)","DOI":"10.1007\/978-3-642-87115-3_23"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Pedro, L., Lucio, L., Buchs, D.: Principles for system prototype and verification using metamodel based transformations (accepted for publication). In: Proceedings of RSP 2006 conference (2006)","DOI":"10.1109\/RSP.2006.29"},{"key":"10_CR18","unstructured":"Vanderdonckt, J.: Knowledge-Based Systems for Automated User Interface Generation: the TRIDENT Expierence. In: Proceedings of the CHI 95 workshop on Knowledge Based Support for the User Interface Design Process (1995)"},{"key":"10_CR19","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/345513.345316","volume-title":"AVI \u201900: Proceedings of the working conference on Advanced visual interfaces","author":"G. Viano","year":"2000","unstructured":"Viano, G., et al.: Adaptive user interface for process control based on multi-agent approach. In: AVI \u201900: Proceedings of the working conference on Advanced visual interfaces, Palermo, Italy, pp. 201\u2013204. ACM Press, New York (2000), doi:10.1145\/345513.345316"}],"container-title":["Lecture Notes in Computer Science","Rapid Integration of Software Engineering Techniques"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71876-5_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:27:06Z","timestamp":1605763626000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71876-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540718758","9783540718765"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71876-5_10","relation":{},"subject":[]}}