{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T17:24:01Z","timestamp":1725989041791},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319999326"},{"type":"electronic","value":"9783319999333"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-99933-3_6","type":"book-chapter","created":{"date-parts":[[2018,8,25]],"date-time":"2018-08-25T12:33:39Z","timestamp":1535200419000},"page":"89-107","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Developing GUI Applications in a Verified Setting"],"prefix":"10.1007","author":[{"given":"Stephan","family":"Adelsberger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anton","family":"Setzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Walkingshaw","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,26]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1017\/S0956796816000319","volume":"27","author":"A Abel","year":"2017","unstructured":"Abel, A., Adelsberger, S., Setzer, A.: Interactive programming in Agda - objects and graphical user interfaces. J. Funct. Program. 27, 38 (2017). https:\/\/doi.org\/10.1017\/S0956796816000319","journal-title":"J. Funct. Program."},{"key":"6_CR2","first-page":"e2","volume":"26","author":"A Abel","year":"2016","unstructured":"Abel, A., Pientka, B.: Well-founded recursion with copatterns and sized types. JFP 26, e2 (2016). iCFP 2013 special issue","journal-title":"JFP"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Abel, A., Pientka, B., Thibodeau, D., Setzer, A.: Copatterns: programming infinite structures by observations. In: POPL 2013, pp. 27\u201338. ACM, New York (2013)","DOI":"10.1145\/2429069.2429075"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Adelsberger, S., Setzer, A., Walkingshaw, E.: Deveoping GUI applications in a verified setting (2017). https:\/\/github.com\/stephanpaper\/SETTA18 , git respository","DOI":"10.1007\/978-3-319-99933-3_6"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Adelsberger, S., Setzer, A., Walkingshaw, E.: Declarative GUIs: simple, consistent, and verified. In: International Conference on Principles and Practice of Declarative Programming (PPDP). ACM (2018)","DOI":"10.1145\/3236950.3236962"},{"key":"6_CR6","unstructured":"Agda Community: Agda Wiki (2017). http:\/\/wiki.portal.chalmers.se\/agda"},{"key":"6_CR7","unstructured":"Bauer, A., Pretnar, M.: Programming with algebraic effects and handlers (2012). http:\/\/arxiv.org\/abs\/1203.1539 , arXiv"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Bauerei\u00df, T., Gritti, A.P., Popescu, A., Raimondi, F.: CoSMeDis: a distributed social media platform with formally verified confidentiality guarantees. In: 2017 Symposium on Security and Privacy, pp. 729\u2013748. IEEE (2017)","DOI":"10.1109\/SP.2017.24"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-319-14675-1_2","volume-title":"Trends in Functional Programming","author":"E Brady","year":"2015","unstructured":"Brady, E.: Resource-dependent algebraic effects. In: Hage, J., McCarthy, J. (eds.) TFP 2014. LNCS, vol. 8843, pp. 18\u201333. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-14675-1_2"},{"key":"6_CR10","volume-title":"Type-Driven Development with Idris","author":"E Brady","year":"2017","unstructured":"Brady, E.: Type-Driven Development with Idris, 1st edn. Manning Publications, Greenwich (2017)","edition":"1"},{"key":"6_CR11","unstructured":"Chiao, C.M., K\u00fcnzle, V., Reichert, M.: Towards object-aware process support in healthcare information systems. In: eTELEMED 2012. IARIA, Delaware (2012)"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-540-89330-1_15","volume-title":"Programming Languages and Systems","author":"E Cooper","year":"2008","unstructured":"Cooper, E., Lindley, S., Wadler, P., Yallop, J.: The essence of form abstraction. In: Ramalingam, G. (ed.) APLAS 2008. LNCS, vol. 5356, pp. 205\u2013220. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89330-1_15"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-319-23063-4_5","volume-title":"Business Process Management","author":"S Debois","year":"2015","unstructured":"Debois, S., Hildebrandt, T., Slaats, T.: Concurrency and asynchrony in declarative workflows. In: Motahari-Nezhad, H.R., Recker, J., Weidlich, M. (eds.) BPM 2015. LNCS, vol. 9253, pp. 72\u201389. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23063-4_5"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/3-540-44622-2_21","volume-title":"Computer Science Logic","author":"P Hancock","year":"2000","unstructured":"Hancock, P., Setzer, A.: Interactive programs in dependent type theory. In: Clote, P.G., Schwichtenberg, H. (eds.) CSL 2000. LNCS, vol. 1862, pp. 317\u2013331. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-44622-2_21"},{"issue":"6","key":"6_CR15","doi-asserted-by":"publisher","first-page":"834","DOI":"10.1109\/THMS.2017.2717910","volume":"47","author":"MD Harrison","year":"2017","unstructured":"Harrison, M.D., Masci, P., Campos, J.C., Curzon, P.: Verification of user interface software: the example of use-related safety requirements and programmable medical devices. IEEE Trans. Hum.-Mach. Syst. 47(6), 834\u2013846 (2017)","journal-title":"IEEE Trans. Hum.-Mach. Syst."},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Hughes, J., Pareto, L., Sabry, A.: Proving the correctness of reactive systems using sized types. In: POPL 1996, pp. 410\u2013423. ACM, New York (1996)","DOI":"10.1145\/237721.240882"},{"key":"6_CR17","unstructured":"Igried, B., Setzer, A.: Defining trace semantics for CSP-Agda, 30 January 2018. http:\/\/www.cs.swan.ac.uk\/~csetzer\/articles\/types2016PostProceedings\/igriedSetzerTypes2016Postproceedings.pdf . Accepted for Publication in Postproceedings TYPES 2016, 23 p."},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Jeffrey, A.: LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs. In: PLPV 2012. ACM, New York (2012)","DOI":"10.1145\/2103776.2103783"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-319-08867-9_11","volume-title":"Computer Aided Verification","author":"S Kanav","year":"2014","unstructured":"Kanav, S., Lammich, P., Popescu, A.: A conference management system with verified document confidentiality. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 167\u2013183. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08867-9_11"},{"issue":"3","key":"6_CR20","first-page":"26","volume":"1","author":"GE Krasner","year":"1988","unstructured":"Krasner, G.E., Pope, S.T.: A cookbook for using the model-view-controller user interface paradigm in Smalltalk-80. JOOP 1(3), 26\u201349 (1988)","journal-title":"JOOP"},{"issue":"8","key":"6_CR21","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1109\/MC.2002.1023795","volume":"35","author":"AM Memon","year":"2002","unstructured":"Memon, A.M.: GUI testing: pitfalls and process. Computer 35(8), 87\u201388 (2002)","journal-title":"Computer"},{"issue":"3","key":"6_CR22","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1002\/stvr.364","volume":"17","author":"AM Memon","year":"2007","unstructured":"Memon, A.M.: An event-flow model of GUI-based applications for testing. Softw. Test. Verif. Reliab. 17(3), 137\u2013157 (2007)","journal-title":"Softw. Test. Verif. Reliab."},{"issue":"10","key":"6_CR23","doi-asserted-by":"publisher","first-page":"884","DOI":"10.1109\/TSE.2005.117","volume":"31","author":"AM Memon","year":"2005","unstructured":"Memon, A.M., Xie, Q.: Studying the fault-detection effectiveness of GUI test cases for rapidly evolving software. IEEE Trans. Softw. Eng. 31(10), 884\u2013896 (2005)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"6_CR24","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-319-19237-6_10","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"S Mertens","year":"2015","unstructured":"Mertens, S., Gailly, F., Poels, G.: Enhancing declarative process models with DMN decision logic. In: Gaaloul, K., Schmidt, R., Nurcan, S., Guerreiro, S., Ma, Q. (eds.) CAISE 2015. LNBIP, vol. 214, pp. 151\u2013165. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19237-6_10"},{"issue":"1","key":"6_CR25","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computation and monads. Inf. Comput. 93(1), 55\u201392 (1991)","journal-title":"Inf. Comput."},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Montali, M., Chesani, F., Mello, P., Maggi, F.M.: Towards data-aware constraints in Declare. In: SAC 2013, pp. 1391\u20131396. ACM (2013)","DOI":"10.1145\/2480362.2480624"},{"issue":"1","key":"6_CR27","doi-asserted-by":"publisher","first-page":"3:1","DOI":"10.1145\/1658373.1658376","volume":"4","author":"M Montali","year":"2010","unstructured":"Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative specification and verification of service choreographies. ACM Trans. Web 4(1), 3:1\u20133:62 (2010)","journal-title":"ACM Trans. Web"},{"key":"6_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/BFb0018349","volume-title":"Category Theory and Computer Science","author":"K Petersson","year":"1989","unstructured":"Petersson, K., Synek, D.: A set constructor for inductive sets in Martin-L\u00f6f\u2019s type theory. In: Pitt, D.H., Rydeheard, D.E., Dybjer, P., Pitts, A.M., Poign\u00e9, A. (eds.) Category Theory and Computer Science. LNCS, vol. 389, pp. 128\u2013140. Springer, Heidelberg (1989). https:\/\/doi.org\/10.1007\/BFb0018349"},{"key":"6_CR29","unstructured":"Pinson, K.: GUI programming in Idris? (2015). https:\/\/groups.google.com\/forum\/#!topic\/idris-lang\/R_7oixHofUo , google groups posting"},{"issue":"3","key":"6_CR30","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1109\/MS.2007.92","volume":"24","author":"A Ruiz","year":"2007","unstructured":"Ruiz, A., Price, Y.W.: Test-driven GUI development with TestNG and Abbot. IEEE Softw. 24(3), 51\u201357 (2007)","journal-title":"IEEE Softw."},{"key":"6_CR31","doi-asserted-by":"crossref","unstructured":"Sculthorpe, N., Nilsson, H.: Safe functional reactive programming through dependent types. In: ICFP 2009, pp. 23\u201334. ACM (2009)","DOI":"10.1145\/1596550.1596558"},{"issue":"3","key":"6_CR32","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/s00165-010-0158-z","volume":"23","author":"D Sinnig","year":"2011","unstructured":"Sinnig, D., Khendek, F., Chalin, P.: Partial order semantics for use case and task models. Formal Asp. Comput. 23(3), 307\u2013332 (2011)","journal-title":"Formal Asp. Comput."},{"issue":"6","key":"6_CR33","doi-asserted-by":"publisher","first-page":"1665","DOI":"10.1007\/s10664-013-9258-8","volume":"19","author":"L Tan","year":"2014","unstructured":"Tan, L., Liu, C., Li, Z., Wang, X., Zhou, Y., Zhai, C.: Bug characteristics in open source software. Empir. Softw. Eng. 19(6), 1665\u20131705 (2014)","journal-title":"Empir. Softw. Eng."},{"issue":"4","key":"6_CR34","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/52.595896","volume":"14","author":"LA Valaer","year":"1997","unstructured":"Valaer, L.A., Babb, R.G.: Choosing a user interface development tool. IEEE Softw. 14(4), 29\u201339 (1997)","journal-title":"IEEE Softw."},{"key":"6_CR35","doi-asserted-by":"crossref","unstructured":"Wan, Z., Hudak, P.: Functional reactive programming from first principles. In: PLDI 2000, pp. 242\u2013252. ACM, New York (2000)","DOI":"10.1145\/349299.349331"},{"issue":"3","key":"6_CR36","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1109\/MS.2013.65","volume":"31","author":"J Whittle","year":"2014","unstructured":"Whittle, J., Hutchinson, J., Rouncefield, M.: The state of practice in model-driven engineering. IEEE Softw. 31(3), 79\u201385 (2014)","journal-title":"IEEE Softw."},{"key":"6_CR37","unstructured":"wiki: WxHaskell. https:\/\/wiki.haskell.org\/WxHaskell . Accessed 9 Feb 2017"}],"container-title":["Lecture Notes in Computer Science","Dependable Software Engineering. Theories, Tools, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99933-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,30]],"date-time":"2022-08-30T08:49:13Z","timestamp":1661849353000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99933-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319999326","9783319999333"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99933-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}