{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:05Z","timestamp":1725562565791},"publisher-location":"Boston, MA","reference-count":27,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781441963994"},{"type":"electronic","value":"9781441964007"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-1-4419-6400-7_5","type":"book-chapter","created":{"date-parts":[[2010,8,4]],"date-time":"2010-08-04T20:08:37Z","timestamp":1280952517000},"page":"147-171","source":"Crossref","is-referenced-by-count":1,"title":["A Module Language for Typing SIGNAL Programs by Contracts"],"prefix":"10.1007","author":[{"given":"Yann","family":"Glouche","sequence":"first","affiliation":[]},{"given":"Thierry","family":"Gautier","sequence":"additional","affiliation":[]},{"given":"Paul Le","family":"Guernic","sequence":"additional","affiliation":[]},{"given":"Jean-Pierre","family":"Talpin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,6,26]]},"reference":[{"issue":"1","key":"5_CR1_5","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"M Abadi","year":"1993","unstructured":"Abadi, M., Lamport, L.: Composing specifications. ACM Transactions on Programming Languages and Systems 15(1), 73\u2013132 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"5","key":"5_CR2_5","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/503271.503226","volume":"26","author":"L Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. ACM SIGSOFT Software Engineering Notes 26(5), 109\u2013120 (2001)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"5","key":"5_CR3_5","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R Alur","year":"2002","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM 49(5), 672\u2013713 (2002)","journal-title":"Journal of the ACM"},{"issue":"2","key":"5_CR4_5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S1571-0661(04)00247-6","volume":"55","author":"D Bartetzko","year":"2001","unstructured":"Bartetzko, D., Fischer, C., M\u00f6ller, M., Wehrheim, H.: Jass \u2013 Java with assertions. Electronic Notes in Theoretical Computer Science 55(2), 1\u201315 (2001)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"5_CR5_5","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1002\/malq.19990450113","volume":"45","author":"JL Bell","year":"1999","unstructured":"Bell, J.L.: Boolean algebras and distributive lattices treated constructively. Mathematical Logic Quarterly 45, 135\u2013143 (1999)","journal-title":"Mathematical Logic Quarterly"},{"key":"5_CR6_5","series-title":"Tech. Rep. 6214, INRIA Rennes","volume-title":"A generic model of contracts for embedded systems","author":"A Benveniste","year":"2007","unstructured":"Benveniste, A., Caillaud, B., Passerone, R.: A generic model of contracts for embedded systems. Tech. Rep. 6214, INRIA Rennes (2007)"},{"key":"5_CR7_5","first-page":"252","volume-title":"EMSOFT \u201902: Proceedings of the Second International Conference on Embedded Software, Lecture Notes in Computer Science","author":"A Benveniste","year":"2002","unstructured":"Benveniste, A., Caspi, P., Le Guernic, P., Marchand, H., Talpin, J.P., Tripakis, S.: A protocol for loosely time-triggered architectures. In: J. Sifakis, S.A. Vincentelli (eds.) EMSOFT \u201902: Proceedings of the Second International Conference on Embedded Software, Lecture Notes in Computer Science, vol. 2491, pp. 252\u2013265. Springer, Berlin (2002)"},{"unstructured":"Besnard, L., Gautier, T., Le Guernic, P., Talpin, J.P.: Compilation of polychronous dataflow equations. In this book","key":"5_CR8_5"},{"issue":"6","key":"5_CR9_5","doi-asserted-by":"publisher","first-page":"850","DOI":"10.1145\/268999.269004","volume":"44","author":"M Broy","year":"1997","unstructured":"Broy, M.: Compositional refinement of interactive systems. Journal of the ACM 44(6), 850\u2013891 (1997)","journal-title":"Journal of the ACM"},{"key":"5_CR10_5","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/1450058.1450070","volume-title":"EMSOFT \u201908: Proceedings of the 8th ACM international conference on Embedded software","author":"L Doyen","year":"2008","unstructured":"Doyen, L., Henzinger, T.A., Jobstmann, B., Petrov, T.: Interface theories with component reuse. In: EMSOFT \u201908: Proceedings of the 8th ACM international conference on Embedded software, pp. 79\u201388. ACM (2008)"},{"issue":"3","key":"5_CR11_5","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1109\/5.558710","volume":"85","author":"S Edwards","year":"1997","unstructured":"Edwards, S., Lavagno, L., Lee, E.A., Sangiovanni-Vincentelli, A.: Design of embedded systems: formal models, validation, and synthesis. Proceedings of the IEEE 85(3), 366\u2013390 (1997)","journal-title":"Proceedings of the IEEE"},{"key":"5_CR12_5","volume-title":"A boolean algebra of contracts for logical assume-guarantee reasoning. Tech. Rep. 6570, INRIA Rennes","author":"Y Glouche","year":"2008","unstructured":"Glouche, Y., Le Guernic, P., Talpin, J.P., Gautier, T.: A boolean algebra of contracts for logical assume-guarantee reasoning. Tech. Rep. 6570, INRIA Rennes (2008)"},{"key":"5_CR13_5","volume-title":"6th International Workshop on Formal Aspects of Component Software (FACS 2009)","author":"Y Glouche","year":"2009","unstructured":"Glouche, Y., Talpin, J.P., Le Guernic, P., Gautier, T.: A boolean algebra of contracts for logical assume-guarantee reasoning. In: 6th International Workshop on Formal Aspects of Component Software (FACS 2009) (2009)"},{"key":"5_CR14_5","volume-title":"Proceedings of the First NASA Formal Methods Symposium, pp. 86\u201395","author":"Y Glouche","year":"2009","unstructured":"Glouche, Y., Talpin, J.P., Le Guernic, P., Gautier, T.: A module language for typing by contracts. In: E. Denney, D. Giannakopoulou, C.S. P\u0103s\u0103reanu (eds.) Proceedings of the First NASA Formal Methods Symposium, pp. 86\u201395. NASA Ames Research Center, Moffett Field, CA, USA (2009)"},{"key":"5_CR15_5","first-page":"83","volume-title":"AMAST \u201993: Proceedings of the Third International Conference on Methodology and Software Technology","author":"N Halbwachs","year":"1994","unstructured":"Halbwachs, N., Lagnier, F., Raymond, P.: Synchronous observers and the verification of reactive systems. In: AMAST \u201993: Proceedings of the Third International Conference on Methodology and Software Technology, pp. 83\u201396. Springer, Berlin (1994)"},{"issue":"10","key":"5_CR16_5","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM 12(10), 576\u2013580 (1969)","journal-title":"Communications of the ACM"},{"issue":"1","key":"5_CR17_5","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/S0967-0661(97)10047-8","volume":"6","author":"H Kopetz","year":"1997","unstructured":"Kopetz, H.: Component-based design of large distributed real-time systems. Control Engineering Practice 6(1), 53\u201360 (1997)","journal-title":"Control Engineering Practice"},{"key":"5_CR18_5","first-page":"64","volume-title":"ESOP, Lecture Notes in Computer Science","author":"KG Larsen","year":"2007","unstructured":"Larsen, K.G., Nyman, U., Wasowski, A.: Modal I\/O automata for interface and product line theories. In: R. De Nicola (ed.) ESOP, Lecture Notes in Computer Science, vol. 4421, pp. 64\u201379. Springer, Berlin (2007)"},{"issue":"9","key":"5_CR19_5","doi-asserted-by":"publisher","first-page":"1321","DOI":"10.1109\/5.97301","volume":"79","author":"P Guernic Le","year":"1991","unstructured":"Le Guernic, P., Gautier, T., Le Borgne, M., Le Maire, C.: Programming real-time applications with SIGNAL. Proceedings of the IEEE 79(9), 1321\u20131336 (1991)","journal-title":"Proceedings of the IEEE"},{"issue":"3","key":"5_CR20_5","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1142\/S0218126603000763","volume":"12","author":"P Guernic Le","year":"2003","unstructured":"Le Guernic, P., Talpin, J.P., Le Lann, J.C.: Polychrony for system design. Journal for Circuits, Systems and Computers 12(3), 261\u2013304 (2003)","journal-title":"Journal for Circuits, Systems and Computers"},{"key":"5_CR21_5","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/978-1-4615-5229-1_12","volume-title":"Behavioral Specifications of Businesses and Systems","author":"GT Leavens","year":"1999","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: JML: A notation for detailed design. In: H. Kilov, B. Rumpe, W. Harvey (eds.) Behavioral Specifications of Businesses and Systems, pp. 175\u2013188. Kluwer, Dordrecht (1999)"},{"key":"5_CR22_5","first-page":"48","volume-title":"EUROMICRO","author":"F Maraninchi","year":"2004","unstructured":"Maraninchi, F., Morel, L.: Logical-time contracts for reactive embedded components. In: EUROMICRO, pp. 48\u201355. IEEE Computer Society (2004)"},{"issue":"4","key":"5_CR23_5","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1023\/A:1008311720696","volume":"10","author":"H Marchand","year":"2000","unstructured":"Marchand, H., Bournai, P., Le Borgne, M., Le Guernic, P.: Synthesis of discrete-event controllers based on the Signal environment. Discrete Event Dynamic System: Theory and Applications 10(4), 325\u2013346 (2000)","journal-title":"Discrete Event Dynamic System: Theory and Applications"},{"issue":"1","key":"5_CR24_5","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/S0167-6423(00)00020-4","volume":"41","author":"H Marchand","year":"2001","unstructured":"Marchand, H., Rutten, E., Le Borgne, M., Samaan, M.: Formal verification of programs specified with Signal: application to a power transformer station controller. Science of Computer Programming 41(1), 85\u2013104 (2001)","journal-title":"Science of Computer Programming"},{"key":"5_CR25_5","volume-title":"Object-Oriented Software Construction","author":"B Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction (2nd ed.). Prentice-Hall, New York (1997)","edition":"2"},{"key":"5_CR26_5","volume-title":"Design by Contract, by Example","author":"R Mitchell","year":"2002","unstructured":"Mitchell, R., McKim, J., Meyer, B.: Design by Contract, by Example. Addison Wesley Longman, Redwood City, CA (2002)"},{"key":"5_CR27_5","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1109\/ACSD.2009.22","volume-title":"Proc. of the 9th International Conference on Application of Concurrency to System Design (ACSD\u201909)","author":"JB Raclet","year":"2009","unstructured":"Raclet, J.B., Badouel, E., Benveniste, A., Caillaud, B., Passerone, R.: Why are modalities good for interface theories? In: Proc. of the 9th International Conference on Application of Concurrency to System Design (ACSD\u201909), pp. 119\u2013127. IEEE Computer Society Press (2009)"}],"container-title":["Synthesis of Embedded Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4419-6400-7_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T23:41:22Z","timestamp":1619826082000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4419-6400-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9781441963994","9781441964007"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-1-4419-6400-7_5","relation":{},"subject":[],"published":{"date-parts":[[2010]]}}}