{"entities":{"Q2744183":{"pageid":2754922,"ns":120,"title":"Item:Q2744183","lastrevid":79311929,"modified":"2026-05-06T13:37:41Z","type":"item","id":"Q2744183","labels":{"en":{"language":"en","value":"Specification of object-oriented systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1648687"}},"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":"Q2744183$3806777C-78BE-4466-91B9-BB7912B69989","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90747cc1cfd7a61241d14e6643a91439a99fb4a2","datavalue":{"value":"0974.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2744183$58374419-62F5-44E8-B732-CF2826D93257","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b13afbf17958d455cfbeb8cfdcc6d1da17f775c","datavalue":{"value":{"entity-type":"item","numeric-id":2744182,"id":"Q2744182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2744183$6C6A7AF4-9436-460F-9040-76A56B78E08C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"175f29debcecd1c84977f0ceae8e3095d272950b","datavalue":{"value":{"time":"+2001-09-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2744183$8A2600F1-331F-49E6-8A33-4DD9556B01EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2744183$87E3AF08-5A9A-4192-B887-40E4FC3642D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3132696658d626de661c8acb2aa42ffac7149593","datavalue":{"value":"1648687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2744183$CD9316CF-CF9E-4D5F-8289-6339DD74B06D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77c51c1fc07b5245d5584923766bce08b518174f","datavalue":{"value":"modular design","type":"string"},"datatype":"string"},"type":"statement","id":"Q2744183$1368BD84-E9F8-4915-BDBE-3619178DE4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2744183$2DD1B438-1F5A-435B-A4B0-2FEB6E217720","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":"Q2744183$62EDD15F-DC1E-43C4-B4BB-FA19D60A45FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a52dc4e7975fc28411cec0ab223434a55209d091","datavalue":{"value":{"entity-type":"item","numeric-id":4340551,"id":"Q4340551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53cf08378a6546f62dc385df5322665712b6be9d","datavalue":{"value":{"amount":"+0.9503723","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":"Q2744183$321C3721-DF43-4750-A56A-4690715E4470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"843388e57421ecc1497eefc12eb5e3d369883aad","datavalue":{"value":{"entity-type":"item","numeric-id":4702602,"id":"Q4702602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed88b3bc2174c754e1a64245503b27ba5d92c4a2","datavalue":{"value":{"amount":"+0.9375442","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":"Q2744183$27D59D35-35C0-438D-BBB0-BAF97CCBB6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0cfe5316668a61004dc55e01e01fdf1a79bee10","datavalue":{"value":{"entity-type":"item","numeric-id":4375195,"id":"Q4375195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9714f6d33dc3bb907072b12d80b66f463aa58ea","datavalue":{"value":{"amount":"+0.9118514","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":"Q2744183$830F3B63-631E-4BFB-8C7E-40FC70F78ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"636e0f6b9fac92841d161e6efdaff937fb222950","datavalue":{"value":{"entity-type":"item","numeric-id":4223006,"id":"Q4223006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9714f6d33dc3bb907072b12d80b66f463aa58ea","datavalue":{"value":{"amount":"+0.9118514","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":"Q2744183$1FB63284-E8D8-4FE6-8F74-7508953002AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74155af54675881f8d3cbf9c4743e59f4df3e56","datavalue":{"value":{"entity-type":"item","numeric-id":5687554,"id":"Q5687554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c84f172c39214e41bfe3fcb1a85c4526ad74a96","datavalue":{"value":{"amount":"+0.9081878","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":"Q2744183$0C45B284-29C3-4F2F-95A8-6008C2795A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b23c900a262ae38470ebe44bc5942d2438efc238","datavalue":{"value":{"entity-type":"item","numeric-id":5390275,"id":"Q5390275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb9721a49edfab0b8f813a62d5f2da1b073eb460","datavalue":{"value":{"amount":"+0.9048074","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":"Q2744183$E18073E2-2FDD-4878-BA3F-76DDE5907029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"084ddde5e5f144d2d7434e6d50567eb56848ac0d","datavalue":{"value":{"entity-type":"item","numeric-id":4319801,"id":"Q4319801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e68a14dda348a92b51ef226ce1e27ae2a67751f4","datavalue":{"value":{"amount":"+0.8974553","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":"Q2744183$23D1F3FF-CD26-4926-8AD6-98D75B02B4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0368b0702b971e0604191018c0c2b53d0d24751","datavalue":{"value":{"entity-type":"item","numeric-id":4849647,"id":"Q4849647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24124e82b0372b347ece351e5e3e59cf11b1115e","datavalue":{"value":{"amount":"+0.89633906","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":"Q2744183$8830A12C-B445-4866-A87C-F983EA959A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15b2697f8b06c6eb2861be38f10afeb23a395478","datavalue":{"value":{"entity-type":"item","numeric-id":2765661,"id":"Q2765661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aad1f3c079a76d05e0cad56126f91831595cfe6","datavalue":{"value":{"amount":"+0.89550793","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":"Q2744183$964AEC13-09A2-4815-94CE-CEE7CB3FA91E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94c67c56af5eaa23a8c47333efbdb6a5c355e132","datavalue":{"value":{"text":"Specification of object-oriented systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2744183$7A188A65-0F83-4607-9A75-5799EB2CEB03","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3db1b6ee57b1a79cb66b282180cf7e354cf428f6","datavalue":{"value":"Einleitung: Im Rahmen der Softwareentwicklung gab es in den letzten Jahrzehnten zwei parallele Entwicklungen, die zu einer ver\u00e4nderten Art der Systemerstellung f\u00fchren sollten. Zum einen sind Methoden zum strukturierten und modularen Entwurf komplexer Softwaresysteme entwickelt worden, die letztendlich auch zum Ansatz der objektorientierten Programmierung gef\u00fchrt haben. Zum anderen sind ausgehend von den grundlegenden Arbeiten von Guttag (1975) und Liskov und Zilles (1974) algebraische Spezifikationsmethoden zur Unterst\u00fctzung des Programmentwurfs entwickelt worden.NEWLINENEWLINENEWLINEIn dieser Arbeit soll ein Beitrag dazu geleistet werden, diese beiden Ans\u00e4tze st\u00e4rker miteinander zu verbinden und Techniken aus dem Bereich der algebraischen Spezifikationen einzusetzen, um den Entwurf korrekter objektorientierter Systeme zu unterst\u00fctzen. Bevor wir n\u00e4her auf den in dieser Arbeit vorgestellten Ansatz eingehen, betrachten wir algebraische Spezifikationen, objektorientierte Programmierung und die Spezifikation von Objekten.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2744183$D34EF8E3-5A8B-42DE-8638-BF03FFF65024","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specification of object-oriented systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Specification_of_object-oriented_systems"}}}}}