{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T05:23:31Z","timestamp":1736573011250,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540376576"},{"type":"electronic","value":"9783540376590"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11821946_19","type":"book-chapter","created":{"date-parts":[[2006,8,5]],"date-time":"2006-08-05T06:35:14Z","timestamp":1154759714000},"page":"291-306","source":"Crossref","is-referenced-by-count":0,"title":["Modular Design of Man-Machine Interfaces with Larissa"],"prefix":"10.1007","author":[{"given":"Karine","family":"Altisen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florence","family":"Maraninchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Stauch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Altisen, K., Maraninchi, F., Stauch, D.: Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework. Sci. Comput. Programming, Special Issue on Foundations of Aspect-Oriented Programming (to appear, 2006)","DOI":"10.1016\/j.scico.2005.12.001"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Coady, Y., Kiczales, G.: Back to the future: A retroactive study of aspect evolution in operating system code. In: AOSD 2003, pp. 50\u201359 (2003)","DOI":"10.1145\/643603.643609"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Colyer, A., Clement, A.: Large-scale AOSD for middleware. In: AOSD 2004, pp. 56\u201365 (2004)","DOI":"10.1145\/976270.976279"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"David, P.-C., Ledoux, T.: An approach for developing self-adapting fractal components. In: 5th International Symposium on Software Composition, Vienna, Austria (March 2006)","DOI":"10.1007\/11821946_6"},{"key":"19_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2231-4","volume-title":"Synchronous programming of reactive systems","author":"N. Halbwachs","year":"1993","unstructured":"Halbwachs, N.: Synchronous programming of reactive systems. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Halbwachs, N., Lagnier, F., Ratel, C.: Programming and verifying critical systems by means of the synchronous data-flow programming language lustre. IEEE Trans. Softw. Eng., Special Issue on the Specification and Analysis of Real-Time Systems (September 1992)","DOI":"10.1109\/32.159839"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Halbwachs, N., Lagnier, F., Raymond, P.: Synchronous observers and the verification of reactive systems. In: Nivat, M., Rattray, C., Rus, T., Scollo, G. (eds.) 3rd Int. Conf. on Algebraic Methodology and Software Technology, AMAST 1993 (June 1993)","DOI":"10.1007\/978-1-4471-3227-1_8"},{"issue":"3","key":"19_CR8","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Sci. Comput. Programming\u00a08(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Programming"},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"G. Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 327\u2013353. Springer, Heidelberg (2001)"},{"issue":"2","key":"19_CR10","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"SE-3","author":"L. Lamport","year":"1977","unstructured":"Lamport, L.: Proving the correctness of multiprocess programs. IEEE Trans. Softw. Eng.\u00a0SE-3(2), 125\u2013143 (1977)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"19_CR11","unstructured":"Compiler for Larissa, http:\/\/www-verimag.imag.fr\/~stauch\/ArgosCompiler\/"},{"key":"19_CR12","unstructured":"Mahoney, M., Bader, A., Elrad, T., Aldawud, O.: Using aspects to abstract and modularize statecharts. In: 5th Aspect-Oriented Modeling Workshop (2004)"},{"key":"19_CR13","unstructured":"Maraninchi, F., Morel, L.: Logical-time contracts for the development of reactive embedded software. In: 30th Euromicro Conference, Component-Based Software Engineering Track (ECBSE), Rennes, France (September 2004)"},{"issue":"1\/3","key":"19_CR14","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/S0096-0551(01)00016-9","volume":"27","author":"F. Maraninchi","year":"2001","unstructured":"Maraninchi, F., R\u00e9mond, Y.: Argos: an automaton-based synchronous language. Computer Languages\u00a027(1\/3), 61\u201392 (2001)","journal-title":"Computer Languages"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Pessemier, N., Seinturier, L., Coupaye, T., Duchien, L.: A model for developing component-based and aspect-oriented systems. In: 5th International Symposium on Software Composition, Vienna, Austria (March 2006)","DOI":"10.1007\/11821946_17"},{"key":"19_CR16","unstructured":"Stauch, D., Altisen, K., Maraninchi, F.: Interference of Larissa aspects. In: Workshop on the Foundations of Aspect-Oriented Languages (FOAL) (2006)"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Veit, M., Herrmann, S.: Model-view-controller and object teams: A perfect match of paradigms. In: Ak\u015fit, M. (ed.) AOSD 2003, pp. 140\u2013149 (2003)","DOI":"10.1145\/643603.643618"},{"key":"19_CR18","unstructured":"Wohlstadter, E., Tai, S., Devanbu, P.: Two party aspect agreement using a COTS solver. In: Proceedings of the Fourth AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (March 2005)"}],"container-title":["Lecture Notes in Computer Science","Software Composition"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11821946_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T09:59:15Z","timestamp":1736503155000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11821946_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540376576","9783540376590"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11821946_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}