{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:13:53Z","timestamp":1730222033442,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/formsera.2012.6229786","type":"proceedings-article","created":{"date-parts":[[2012,7,10]],"date-time":"2012-07-10T17:36:02Z","timestamp":1341941762000},"page":"30-36","source":"Crossref","is-referenced-by-count":2,"title":["Revisiting modal interface automata"],"prefix":"10.1109","author":[{"given":"Ivo","family":"Krka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nenad","family":"Medvidovic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Software Architecture Foundations Theory and Practice","year":"2009","author":"taylor","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.107"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/IWSSD.1998.667929"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1629335.1629348"},{"key":"11","article-title":"An introduction to input\/output automata","volume":"2","author":"lynch","year":"1989","journal-title":"CWI Quarterly"},{"journal-title":"Concurrency State models & Java programs","year":"2006","author":"magee","key":"12"},{"key":"3","article-title":"Interface automata","author":"de alfaro","year":"0","journal-title":"Proceedings of the 8th European Software Engineering Conference Held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001"},{"key":"2","article-title":"A compositional specification theory for component behaviours","author":"chen","year":"0","journal-title":"Proceedings of the 21st European Symposium on Programming 2012"},{"key":"1","article-title":"On weak modal compatibility, refinement, and the mio workbench","author":"bauer","year":"0","journal-title":"Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2010"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1988.5119"},{"journal-title":"Component-Aware Triggered Scenarios","year":"2012","author":"krka","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595756"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/2089116.2089119"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113738"},{"key":"8","article-title":"Modal i\/o automata for interface and product line theories","author":"larsen","year":"0","journal-title":"Proceedings of the 16th European Conference on Programming 2007"}],"event":{"name":"2012 Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA)","start":{"date-parts":[[2012,6,2]]},"location":"Zurich, Switzerland","end":{"date-parts":[[2012,6,2]]}},"container-title":["2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6220306\/6229778\/06229786.pdf?arnumber=6229786","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T12:16:55Z","timestamp":1490098615000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6229786\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/formsera.2012.6229786","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}