{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T04:32:55Z","timestamp":1747801975822,"version":"3.41.0"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319155449"},{"type":"electronic","value":"9783319155456"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-15545-6_34","type":"book-chapter","created":{"date-parts":[[2015,3,5]],"date-time":"2015-03-05T02:19:15Z","timestamp":1425521955000},"page":"602-618","source":"Crossref","is-referenced-by-count":0,"title":["Formalization of Invariant Patterns for 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":"Jaroslav","family":"Keznikl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franti\u0161ek","family":"Pl\u00e1\u0161il","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petr","family":"T\u016fma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"Abeywickrama, D.B., Bicocchi, N., Zambonelli, F.: SOTA: Towards a General Model for Self-Adaptive Systems. In: Proc. of WETICE, pp. 48\u201353. IEEE (2012)","DOI":"10.1109\/WETICE.2012.48"},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., Plasil, F.: DEECo \u2014 an Ensemble-Based Component System. In: Proc. of CBSE 2013, Vancouver, Canada, pp. 81\u201390. ACM (June 2013)","DOI":"10.1145\/2465449.2465462"},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"Buttazzo, G.C.: Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, 3rd edn. Springer (2011)","DOI":"10.1007\/978-1-4614-0676-1"},{"key":"34_CR4","series-title":"Lecture Notes in Computer Science","first-page":"179","volume-title":"Fast Software Encryption","author":"R. Darimont","year":"1996","unstructured":"Darimont, R., van Lamsweerde, A.: Formal Refinement Patterns for Goal-Driven Requirements Elaboration. In: Gollmann, D. (ed.) FSE 1996. LNCS, vol.\u00a01039, pp. 179\u2013190. Springer, Heidelberg (1996)"},{"key":"34_CR5","doi-asserted-by":"crossref","unstructured":"Fuxman, A., Pistore, M., Mylopoulos, J., Traverso, P.: Model Checking Early Requirements Specifications in Tropos. In: Proc. of RE 2001, Toronto, ON, Canada, pp. 174\u2013181. IEEE (August 2001)","DOI":"10.1109\/ISRE.2001.948557"},{"key":"34_CR6","doi-asserted-by":"crossref","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 (2004)","DOI":"10.1007\/1-4020-8058-1_7"},{"key":"34_CR7","doi-asserted-by":"crossref","unstructured":"H\u00f6lz, M., Wirsing, M.: Towards a System Model for Ensembles. In: Formal modeling, pp. 241\u2013261. Springer (2012)","DOI":"10.1007\/978-3-642-24933-4_12"},{"key":"34_CR8","unstructured":"H\u00f6lzl, M., et al.: Engineering Ensembles: A White Paper of the ASCENS Project. ASCENS Deliverable JD1.1 (2011), http:\/\/www.ascens-ist.eu\/whitepapers"},{"key":"34_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-540-89437-7_2","volume-title":"Software-Intensive Systems and New Computing Paradigms","author":"M. H\u00f6lzl","year":"2008","unstructured":"H\u00f6lzl, M., Rauschmayer, A., Wirsing, M.: Software engineering for ensembles. In: Wirsing, M., Ban\u00e2tre, J.-P., H\u00f6lzl, M., Rauschmayer, A. (eds.) Soft-Ware Intensive Systems. LNCS, vol.\u00a05380, pp. 45\u201363. Springer, Heidelberg (2008)"},{"key":"34_CR10","doi-asserted-by":"crossref","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 2013, Vancouver, Canada, pp. 91\u2013100. ACM (June 2013)","DOI":"10.1145\/2465449.2465457"},{"key":"34_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1007\/978-3-319-11743-0_8","volume-title":"System Analysis and Modeling: Models and Reusability","author":"A. Knapp","year":"2014","unstructured":"Knapp, A., St\u00f6rrle, H.: Efficient Representation of Timed UML\u00a02 Interactions. In: Amyot, D., Fonseca i Casas, P., Mussbacher, G. (eds.) SAM 2014. LNCS, vol.\u00a08769, pp. 110\u2013125. Springer, Heidelberg (2014)"},{"key":"34_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Specifying Message Passing and Time-Critical Systems with Temporal Logic","year":"1992","unstructured":"Koymans, R. (ed.): Specifying Message Passing and Time-Critical Systems with Temporal Logic. LNCS, vol.\u00a0651. Springer, Heidelberg (1992)"},{"key":"34_CR13","doi-asserted-by":"crossref","unstructured":"Lamsweerde, A.V.: Requirements engineering in the year 00: a research perspective. In: Proceedings of ICSE 2000, Limerick, Ireland, pp. 5\u201319. ACM (June 2000)","DOI":"10.1145\/337180.337184"},{"key":"34_CR14","unstructured":"Serbedzija, N., Reiter, S., Ahrens, M., Velasco, J., Pinciroli, C., Hoch, N., Werther, B.: Requirement Specification and Scenario Description of the ASCENS Case Studies. Deliverable D7.1 (2011), http:\/\/www.ascens-ist.eu\/deliverables"}],"container-title":["Lecture Notes in Computer Science","Software, Services, and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15545-6_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,20]],"date-time":"2025-05-20T18:42:52Z","timestamp":1747766572000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-15545-6_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319155449","9783319155456"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15545-6_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}