{"entities":{"Q2388077":{"pageid":2398820,"ns":120,"title":"Item:Q2388077","lastrevid":78619103,"modified":"2026-05-06T12:02:02Z","type":"item","id":"Q2388077","labels":{"en":{"language":"en","value":"Fundamental approaches to software engineering. 8th international conference, FASE 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4--8, 2005. Proceedings."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2203250"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388077$0276256A-D4A0-4674-9FA1-F8C097CF8F3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09569fabbb5ef95509633708f928def41c1d6210","datavalue":{"value":{"text":"Fundamental approaches to software engineering. 8th international conference, FASE 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4--8, 2005. Proceedings.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2388077$1B8BE05D-7500-4A65-8F37-81B03904B2E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e00b65093d974fa91f2f0c2374014b5f267657a","datavalue":{"value":"1068.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388077$41488FD5-4697-40C2-B358-E18A079307E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388077$E916D9BA-EE1D-4499-91FC-98E7EB843A91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb3ce9d676f817a28ceac9c1eb568961e7d7cff7","datavalue":{"value":{"time":"+2005-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2388077$E32B2EF8-4ADD-4B9A-8A57-E8C31F856EE9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5e59f576ce4a836582faa61a26b4fbc345fbd900","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1048.68011).  Indexed articles:  \\textit{Martens, Axel}, Analyzing web service based business processes, 19-33 [Zbl 1119.68305]  \\textit{Ehrig, Hartmut; Ehrig, Karsten; de Lara, Juan; Taentzer, Gabriele; Varr\u00f3, D\u00e1niel; Varr\u00f3-Gyapay, Szilvia}, Termination criteria for model transformation, 49-63 [Zbl 1119.68344]  \\textit{Taentzer, Gabriele; Rensink, Arend}, Ensuring structural constraints in graph-based models with type inheritance, 64-79 [Zbl 1119.68365]  \\textit{Reussner, Ralf H.; Happe, Jens; Habel, Annegret}, Modelling parametric contracts and the state space of composite components by graph grammars, 80-95 [Zbl 1119.68347]  \\textit{Larsen, Kim G.; Larsen, Ulrik; Wasowski, Andrzej}, Color-blind specifications for transformations of reactive synchronous programs, 160-174 [Zbl 1119.68345]  \\textit{Berg, Therese; Grinchtein, Olga; Jonsson, Bengt; Leucker, Martin; Raffelt, Harald; Steffen, Bernhard}, On the correspondence between conformance testing and regular inference, 175-189 [Zbl 1119.68366]  \\textit{Naumann, David A.}, Observational purity and encapsulation, 190-204 [Zbl 1119.68346]  \\textit{Chechik, Marsha; Gurfinkel, Arie}, A framework for counterexample generation and exploration, 220-236 [Zbl 1119.68368]  \\textit{Mooij, Arjan J.; Goga, Nicolae; Romijn, Judi M. T.}, Non-local choice and beyond: intricacies of MSC choice nodes, 273-288 [Zbl 1236.68185]  \\textit{Furia, Carlo A.; Rossi, Matteo; Mandrioli, Dino; Morzenti, Angelo}, Automated compositional proofs for real-time systems, 326-340 [Zbl 1119.68427]  \\textit{Hausmann, Daniel; Mossakowski, Till; Schr\u00f6der, Lutz}, Iterative circular coinduction for CoCasl in Isabelle/HOL, 341-356 [Zbl 1119.68370]  \\textit{Mostowski, Wojciech}, Formalisation and verification of Java Card security properties in dynamic logic, 357-371 [Zbl 1119.68351]","type":"string"},"datatype":"string"},"type":"statement","id":"Q2388077$3D1483D7-8D25-42C6-AF52-F71D5ADC282B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388077$40F0F2BD-4872-4D7E-8699-B85DC6381653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388077$C8EF44A7-9186-4646-B4CB-F393DE8AEF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388077$D1610293-86BD-411F-86E0-E9104C0D3587","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"788fd16811d61c73a2d9f36172430b800f0d2c93","datavalue":{"value":"2203250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388077$6E1DC4C9-3AD5-4A5A-9156-767067EF82A0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db773f0783d22fb6bffa08127db508527f4adb91","datavalue":{"value":{"entity-type":"item","numeric-id":24995,"id":"Q24995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388077$3F8785EB-EF75-4585-B664-5BCC2B1BFC16","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388077$D8A9F01E-381D-4722-9767-0F13D1393E9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8deaa91f770f2457ad7b5910261ebc436a8f6197","datavalue":{"value":"https://doi.org/10.1007/b107062","type":"string"},"datatype":"url"},"type":"statement","id":"Q2388077$8EDF55BF-E413-4798-8A3D-7E4BC9B0F6F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e87dfa0acdbc2f1ed8f4aa8d6f9d0b5ed4b13364","datavalue":{"value":"W2479217507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388077$2B87910D-ACC4-4E3A-B186-C9EFFA4DA683","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3db4684485b052bd5119b365afe582375e34e988","datavalue":{"value":"10.1007/B107062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388077$7897DF34-EBC0-468D-A669-EEE6A44BB68D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fundamental approaches to software engineering. 8th international conference, FASE 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4--8, 2005. Proceedings.","badges":[]}}}}}