{"entities":{"Q1398131":{"pageid":1408871,"ns":120,"title":"Item:Q1398131","lastrevid":67514943,"modified":"2026-04-12T18:30:47Z","type":"item","id":"Q1398131","labels":{"en":{"language":"en","value":"Fundamental approaches to software engineering. 6th international conference FASE 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7--11, 2003. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1955938"}},"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":"Q1398131$1DEFBF6A-31EB-47BC-AC3F-0CBDE096DBB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"704578fb3901c414a5cba911789d6e6c696be78e","datavalue":{"value":{"text":"Fundamental approaches to software engineering. 6th international conference FASE 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7--11, 2003. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1398131$5831971F-E41D-46AC-B82C-18AE2572334D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f754b4ae2c8fec51254c0e22d2f92c99debae75","datavalue":{"value":"1017.00040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398131$F19114B1-ADFC-432F-ABCF-8E2965622159","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":"Q1398131$EB22DF37-B10D-40EA-9C41-5A53D9906F06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb93fa1c465ad8bc2fa283bb0b87b8516d9e8f76","datavalue":{"value":{"time":"+2003-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1398131$CC041570-7D79-4DEE-BB8A-BAF3CAB50C36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e1c792c5edcc0aba3f0249b0bb0d29c39502e58","datavalue":{"value":"http://link.springer.de/link/service/series/0558/tocs/t2621.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q1398131$88CB806E-9A84-4695-BFE4-29662778D853","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ba1fee1ab17f674c51a7a86dc15c8a6c2cefaf78","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 0989.00047).  Indexed articles:  \\textit{Young, Michal}, Symbiosis of static analysis and program testing, 1-5 [Zbl 1032.68554]  \\textit{Pahl, Claus}, An ontology for software component matching, 6-21 [Zbl 1032.68580]  \\textit{Sora, Ioana; Verbaeten, Pierre; Berbers, Yolande}, A description language for composable components, 22-36 [Zbl 1032.68581]  \\textit{Aguirre, Nazareno; Maibaum, Tom}, A logical basis for the specification of reconfigurable component-based systems, 37-51 [Zbl 1032.68056]  \\textit{Reichmann, Clemens; K\u00fchl, Markus; M\u00fcller-Glaser, Klaus D.}, An overall system design approach doing object-oriented modeling to code-generation for embedded electronic systems, 52-66 [Zbl 1032.68565]  \\textit{Fenkam, Pascal; Gall, Harald; Jazayeri, Mehdi}, Composing specifications of event based applications, 67-86 [Zbl 1032.68049]  \\textit{Merz, Stephan; Wirsing, Martin; Zappe, J\u00falia}, A spatio-temporal logic for the specification and refinement of mobile systems, 87-101 [Zbl 1032.03028]  \\textit{Scott, David; Beresford, Alastair; Mycroft, Alan}, Spatial security policies for mobile agents in a sentient computing environment, 102-117 [Zbl 1032.68566]  \\textit{Del Bianco, Vieri; Lavazza, Luigi; Mauri, Marco; Occorso, Giuseppe}, Towards UML-based formal specifications of component-based real-time software, 118-134 [Zbl 1032.68560]  \\textit{Tenzer, Jennifer; Stevens, Perdita}, Modelling recursive calls with UML state diagrams, 135-149 [Zbl 1032.68567]  \\textit{Zhao, Jianjun; Rinard, Martin}, Pipa: A behavioral interface specification language for AspectJ, 150-165 [Zbl 1032.68569]  \\textit{Vanderperren, Wim; Suv\u00e9e, Davy; Wydaeghe, Bart; Jonckers, Viviane}, PacoSuite and JAsCo: A visual component composition environment with advanced aspect separation features, 166-169 [Zbl 1032.68568]  \\textit{Heckel, Reiko; Lohmann, Marc}, Model-based development of web applications using graphical reaction rules, 170-183 [Zbl 1032.68563]  \\textit{Jin, Yan; Esser, Robert; Lakos, Charles; Janneck, J\u00f6rn W.}, Modular analysis of dataflow process networks, 184-199 [Zbl 1032.68110]  \\textit{Morasca, Sandro}, Foundations of a weak measurement-theoretic approach to software measurement, 200-215 [Zbl 1032.68065]  \\textit{Kelsen, Pierre}, An information-based view of representational coupling in object-oriented systems, 216-230 [Zbl 1032.68564]  \\textit{Kubica, Marcin}, A temporal approach to specification and verification of pointer data-structures, 231-245 [Zbl 1032.68102]  \\textit{Beckert, Bernhard; Mostowski, Wojciech}, A program logic for handling Java Card's transaction mechanism, 246-260 [Zbl 1032.68573]  \\textit{Schr\u00f6der, Lutz; Mossakowski, Till}, Monad-independent Hoare logic in HasCasl, 261-277 [Zbl 1032.03029]  \\textit{Koch, Manuel; Parisi-Presicce, Francesco}, Visual specifications of policies and their verification, 278-293 [Zbl 1032.68665]  \\textit{Gargantini, Angelo; Riccobene, Elvinia}, Automatic model driven animation of SCR specifications, 294-309 [Zbl 1032.68664]  \\textit{Goel, Anita; Gupta, S. C.; Wasan, S. K.}, Probe mechanism for object-oriented software testing, 310-324 [Zbl 1032.68562]  \\textit{Sharygina, Natasha; Browne, James C.}, Model checking software via abstraction of loop transitions, 325-340 [Zbl 1032.68666]  \\textit{Attiogb\u00e9, Christian; Poizat, Pascal; Sala\u00fcn, Gwen}, Integration of formal datatypes within state diagrams, 341-355 [Zbl 1032.68107]  \\textit{Della Penna, Giuseppe; Di Marco, Antinisca; Intrigila, Benedetto; Melatti, Igor; Pierantonio, Alfonso}, Xere: Towards a natural interoperability between XML and ER diagrams, 356-371 [Zbl 1032.68584]  \\textit{Muccini, Henry}, Detecting implied scenarios analyzing non-local branching choices, 372-386 [Zbl 1032.68579]  \\textit{Kr\u00fcger, Ingolf H.}, Capturing overlapping, triggered, and preemptive collaborations using MSCs, 387-402 [Zbl 1032.68576]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398131$B0B38BCA-DB6E-426C-A2DB-1BE895704024","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398131$B33AB1FF-A4A3-425A-9534-D000AD5EA37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398131$F20F0F65-FBF8-4742-9B09-31FF613F069B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398131$DDEB6C00-82E3-4ED8-BCE4-7FF423EA930F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7979f4843bbf3a49e4bf77ee1c1b173d23df8dd","datavalue":{"value":"1955938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398131$C9E26A32-2D6E-4DA0-B6FF-2C32FEC44F2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"accba342e342b2da758969ed736b9beaa7599a2e","datavalue":{"value":"Software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398131$AF512C7A-23B9-4ED8-AE21-49892AA7EA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1354be39b4bd2c65dd1d9655ebe465c0f1e53a0d","datavalue":{"value":"FASE 2003","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398131$1A3C6B66-306F-46C2-B55C-F5AA44C0EEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fb95eb59cd30f61f786a15b94a0a3babb8aadbd","datavalue":{"value":"ETAPS 2003","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398131$08B06F35-4C92-4B65-B6B1-71CD73B469D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c56ba45c5c29edb8ccac7985d2ee50d879c4b20","datavalue":{"value":"Warsaw (Poland)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398131$247BBC52-5137-4C0E-8D65-7883E633BB26","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":"Q1398131$59095193-9017-4FB9-A3B8-07BD2D5FBBED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f07f44e6a59ed6eb74442544583e77c4395bb010","datavalue":{"value":"10.1007/3-540-36578-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398131$C2C92E6C-513E-4B80-A600-1E9E1D408545","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19612c9970bd304f79a4e1b2f05b3e24a3ed1205","datavalue":{"value":"W949322802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398131$9866B086-5BA2-4F12-AE91-DAC21083C176","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75a3face07e6d0372bcdd923671109afc0b1c569","datavalue":{"value":{"entity-type":"item","numeric-id":2481639,"id":"Q2481639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"935a22b2e745233e768a9198c26282decff13457","datavalue":{"value":{"amount":"+0.9434997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1398131$E194AC87-332F-45DA-8BF9-3D59EB2CB387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d30e647876574ba834019fc0a18e94bfb28419e6","datavalue":{"value":{"entity-type":"item","numeric-id":1604127,"id":"Q1604127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff61df749e58493b0ffb28304dea672fd2a10d85","datavalue":{"value":{"amount":"+0.9357994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1398131$26FA7D9D-1539-40DB-88CD-6DA729EA4F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d51dac2616dd99ce84a2ced190bfb43ffad48b56","datavalue":{"value":{"entity-type":"item","numeric-id":1935966,"id":"Q1935966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b91c4a014457a5f7a2b8d261476e06bf67364f5","datavalue":{"value":{"amount":"+0.935018","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1398131$0F51D351-3FFB-431C-A677-336FCC9DA7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee91e8da2d027ce5f8e23f24f1c97471ad15fa68","datavalue":{"value":{"entity-type":"item","numeric-id":261156,"id":"Q261156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e9e5712e21f51a5d05c52c844ae73d8dc9ad3f3","datavalue":{"value":{"amount":"+0.93156564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1398131$C0594F9E-9AA6-4D56-BEB3-37538FE03C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32d7bd8b57aac5cb5d41a1bc78edf2b2b194a85f","datavalue":{"value":{"entity-type":"item","numeric-id":5952492,"id":"Q5952492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19e54bcde2408766fe9b7be2a57dd6f923ffe89a","datavalue":{"value":{"amount":"+0.9312088","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1398131$14B25DF6-3471-4935-8CE1-D28FC770DF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ade8f38827f6f02089118478187707f0a9c567","datavalue":{"value":{"entity-type":"item","numeric-id":2268735,"id":"Q2268735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e5a5a001e5dd1c3db250fe08f580a4ef40aacf9","datavalue":{"value":{"amount":"+0.92662364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1398131$A9811AED-36E2-4389-848A-6985E3C6B8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"984b2f4592f99443e37e240410d08fafad57d7be","datavalue":{"value":{"entity-type":"item","numeric-id":1884194,"id":"Q1884194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef175febaa18320dbbd42a87b7dcf5b342c1592e","datavalue":{"value":{"amount":"+0.92648214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1398131$4F4D3EB7-067A-4C14-8306-24C385CBA774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b04fff018a12f156cd5f1bc078427bec13cc98","datavalue":{"value":{"entity-type":"item","numeric-id":2388077,"id":"Q2388077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"592327cb7dc042ddebac6fc565470df8abd0e4c9","datavalue":{"value":{"amount":"+0.92359746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1398131$2F456F60-61C2-4C43-BBAC-B268EF415C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd5e7c85160ec832c083ea469edbb1b33ca91e8f","datavalue":{"value":{"entity-type":"item","numeric-id":2479549,"id":"Q2479549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4030429cac9cf6eda4b4d95fa5d1b54d4cb7d36","datavalue":{"value":{"amount":"+0.92231315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1398131$8285595A-931A-4593-9D66-0BE5824A0547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"623f099022ddfa6b6297b7e471d5481cd5413184","datavalue":{"value":{"entity-type":"item","numeric-id":2431630,"id":"Q2431630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63bce2a9fec81c15673d2799965a3c09838b4ad6","datavalue":{"value":{"amount":"+0.91935265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1398131$D948BA8E-2303-4602-84D1-1A5E2FE01FCA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fundamental approaches to software engineering. 6th international conference FASE 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7--11, 2003. Proceedings","badges":[]}}}}}