{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T17:57:20Z","timestamp":1725818240128},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319163093"},{"type":"electronic","value":"9783319163109"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-16310-9_12","type":"book-chapter","created":{"date-parts":[[2015,3,3]],"date-time":"2015-03-03T12:47:23Z","timestamp":1425386843000},"page":"405-428","source":"Crossref","is-referenced-by-count":10,"title":["The Invariant Refinement Method"],"prefix":"10.1007","author":[{"given":"Tom\u00e1\u0161","family":"Bure\u0161","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilias","family":"Gerostathopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petr","family":"Hnetynka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaroslav","family":"Keznikl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michal","family":"Kit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frantisek","family":"Plasil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","first-page":"48","volume-title":"Proc. of WETICE \u201912","author":"D.B. Abeywickrama","year":"2012","unstructured":"Abeywickrama, D.B., Bicocchi, N., Zambonelli, F.: SOTA: Towards a General Model for Self-Adaptive Systems. In: Proc. of WETICE \u201912, pp. 48\u201353. IEEE Computer Society Press, Los Alamitos (2012)"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/11944836_25","volume-title":"FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science","author":"A. Bauer","year":"2006","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Monitoring of Real-Time Properties. In: Arun-Kumar, S., Garg, N. (eds.) FSTTCS 2006. LNCS, vol.\u00a04337, pp. 260\u2013272. Springer, Heidelberg (2006)"},{"issue":"3","key":"12_CR3","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/B:AGNT.0000018806.20944.ef","volume":"8","author":"P. Bresciani","year":"2004","unstructured":"Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: An Agent-Oriented Software Development Methodology. Autonomous Agents and Multi-Agent Systems\u00a08(3), 203\u2013236 (2004)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/978-3-319-16310-9_4","volume-title":"Software Engineering for Collective Autonomic Systems","author":"R. Bruni","year":"2015","unstructured":"Bruni, R., Corradini, A., Gadducci, F., H\u00f6lzl, M., Lafuente, A.L., Vandin, A., Wirsing, M.: Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 163\u2013184. Springer, Heidelberg (2015)"},{"key":"12_CR5","first-page":"81","volume-title":"Proc. of CBSE\u201913","author":"T. Bures","year":"2013","unstructured":"Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., Plasil, F.: DEECo \u2013 an Ensemble-Based Component System. In: Proc. of CBSE\u201913, pp. 81\u201390. ACM Press, New York (2013)"},{"key":"12_CR6","unstructured":"Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., Plasil, F., Plouzeau, N.: Adaptation in Cyber-Physical Systems: from System Goals to Architecture Configurations. Tech. rep., D3S-TR-2014-01, Dep. of Distributed and Dependable Systems, Charles University in Prague (Jan 2014), \n                    \n                      http:\/\/d3s.mff.cuni.cz\/publications\/download\/D3S-TR-2014-01.pdf"},{"key":"12_CR7","unstructured":"Bures, T., Gerostathopoulos, I., Keznikl, J., Plasil, F., Tuma, P.: Formalization of Invariant Patterns for the Invariant Refinement Method. To appear in Springer LNCS volume dedicated to Wirsing-Festschrift (2015), preliminary version available at \n                    \n                      http:\/\/d3s.mff.cuni.cz\/publications\/download\/D3S-TR-2013-04.pdf"},{"key":"12_CR8","unstructured":"Bures, T., Gerostathopoulos, I., Horky, V., Keznikl, J., Kofron, J., Loreti, M., Plasil, F.: Language Extensions for Implementation-Level Conformance Checking, ASCENS deliverable 1.5 (Nov. 2012), \n                    \n                      http:\/\/www.ascens-ist.eu\/deliverables"},{"key":"12_CR9","volume-title":"Computer Science","author":"G. Buttazo","year":"2005","unstructured":"Buttazo, G., Lipari, G., Abeni, L., Caccamo, M.: Soft Real-Time Systems: Predictability vs Efficiency. In: Computer Science, Springer, Heidelberg (2005)"},{"key":"12_CR10","first-page":"79","volume-title":"Proc. of HotTopiCS workshop at ICPE \u201913","author":"I. Gerostathopoulos","year":"2013","unstructured":"Gerostathopoulos, I., Bures, T., Hnetynka, P.: Position Paper: Towards a Requirements-Driven Design of Ensemble-Based Component Systems. In: Proc. of HotTopiCS workshop at ICPE \u201913, pp. 79\u201386. ACM Press, New York (2013)"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/1-4020-8058-1_7","volume-title":"Methodologies and Software Engineering for Agent Systems","author":"P. Giorgini","year":"2004","unstructured":"Giorgini, P., Kolp, M., Mylopoulos, J., Pistore, M.: The Tropos Methodology: An Overview. In: Methodologies and Software Engineering for Agent Systems, pp. 89\u2013106. Kluwer Academic Publishers, Dordrecht (2004)"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1007\/978-3-319-16310-9_17","volume-title":"Software Engineering for Collective Autonomic Systems","author":"N. Hoch","year":"2015","unstructured":"Hoch, N., Bensler, H.-P., Abeywickrama, D., Bure\u0161, T., Montanari, U.: The E-mobility Case Study. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 513\u2013533. Springer, Heidelberg (2015)"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/978-3-319-16310-9_9","volume-title":"Software Engineering for Collective Autonomic Systems","author":"M. H\u00f6lzl","year":"2015","unstructured":"H\u00f6lzl, M., Koch, N., Puviani, M., Wirsing, M., Zambonelli, F.: The Ensemble Development Life Cycle and Best Practices for Collective Autonomic\u00a0Systems. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 325\u2013354. Springer, Heidelberg (2015)"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-642-24933-4_12","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems","author":"M.M. H\u00f6lzl","year":"2011","unstructured":"H\u00f6lzl, M.M., Wirsing, M.: Towards a System Model for Ensembles. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol.\u00a07000, pp. 241\u2013261. Springer, Heidelberg (2011)"},{"key":"12_CR15","first-page":"91","volume-title":"Proc. of CBSE \u201913","author":"J. Keznikl","year":"2013","unstructured":"Keznikl, J., Bures, T., Plasil, F., Gerostathopoulos, I., Hnetynka, P., Hoch, N.: Design of Ensemble-Based Component Systems by Invariant Refinement. In: Proc. of CBSE \u201913, pp. 91\u2013100. ACM Press, New York (2013)"},{"key":"12_CR16","first-page":"249","volume-title":"Proc. of RE\u201901","author":"A.V. Lamsweerde","year":"2001","unstructured":"Lamsweerde, A.V.: Goal-Oriented Requirements Engineering: A Guided Tour. In: Proc. of RE\u201901, pp. 249\u2013262. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-39800-4_2","volume-title":"Formal Methods for Software Architectures","author":"A. Lamsweerde van","year":"2003","unstructured":"van Lamsweerde, A.: From System Goals to Software Architecture. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 25\u201343. Springer, Heidelberg (2003)"},{"key":"12_CR18","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1145\/1453101.1453133","volume-title":"Proc. of SIGSOFT \u201908\/FSE-16","author":"A.V. Lamsweerde","year":"2008","unstructured":"Lamsweerde, A.V.: Requirements Engineering: From Craft to Discipline. In: Proc. of SIGSOFT \u201908\/FSE-16, pp. 238\u2013249. ACM Press, New York (2008)"},{"key":"12_CR19","volume-title":"Requirements Engineering: From System Goals to UML Models to Software Specifications","author":"A.V. Lamsweerde","year":"2009","unstructured":"Lamsweerde, A.V.: Requirements Engineering: From System Goals to UML Models to Software Specifications. John Wiley and Sons, Chichester (2009)"},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/978-3-319-16310-9_10","volume-title":"Software Engineering for Collective Autonomic Systems","author":"V. No\u00ebl","year":"2015","unstructured":"No\u00ebl, V., Zambonelli, F.: Methodological Guidelines for Engineering Self-organization and Emergence. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 355\u2013378. Springer, Heidelberg (2015)"},{"key":"12_CR21","first-page":"312","volume-title":"Proc. of ICMAS \u201995","author":"A. Rao","year":"1995","unstructured":"Rao, A., Georgeff, M.P.: BDI Agents: From Theory to Practice. In: Proc. of ICMAS \u201995, pp. 312\u2013319 (1995)"},{"issue":"8","key":"12_CR22","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1109\/MC.2013.267","volume":"46","author":"E. Vassev","year":"2013","unstructured":"Vassev, E., Hinchey, M.: Autonomy Requirements Engineering. IEEE Computer\u00a046(8), 82\u201384 (2013)","journal-title":"IEEE Computer"},{"key":"12_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/978-3-319-16310-9_11","volume-title":"Software Engineering for Collective Autonomic Systems","author":"E. Vassev","year":"2015","unstructured":"Vassev, E., Hinchey, M.: Engineering Requirements for Autonomy Features. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 379\u2013403. Springer, Heidelberg (2015)"},{"key":"12_CR24","first-page":"226","volume-title":"Towards Modelling and Reasoning Support for Early-Phase Requirements Engineering","author":"E. Yu","year":"1997","unstructured":"Yu, E.: Towards Modelling and Reasoning Support for Early-Phase Requirements Engineering, pp. 226\u2013235. IEEE Computer Society Press, Los Alamitos (1997)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Collective Autonomic Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-16310-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T11:54:31Z","timestamp":1559130871000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-16310-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319163093","9783319163109"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-16310-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}