{"entities":{"Q4339214":{"pageid":6368814,"ns":120,"title":"Item:Q4339214","lastrevid":108244766,"modified":"2026-11-05T14:15:06Z","type":"item","id":"Q4339214","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1017505"}},"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":"Q4339214$68D3DDAA-12AD-4A2B-A58D-497F5C087DD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8da3e0b9f8758cd328148d897ef02249ba871f12","datavalue":{"value":"0867.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4339214$8FBF35AF-7966-4EC7-B701-9A39D2285420","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a635f296dd9e7d630e6b4ce6548540e4b6ee9453","datavalue":{"value":{"entity-type":"item","numeric-id":2629416,"id":"Q2629416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4339214$4DBE76B4-8546-441F-8A2C-0053DC0D6360","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05676b046775971ceb80c277a6517c369694b98b","datavalue":{"value":{"time":"+1997-06-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":"Q4339214$AD1F1599-FDCB-413A-9A19-4EEACD210816","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4339214$C2CFF7D7-CD38-49FA-ADE0-72CEE940A193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4339214$4EE8D698-55CE-4171-9CB7-DEB46B42C904","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10dddfda333a98b834697d50bbcfd9d586237cdf","datavalue":{"value":"1017505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4339214$9FE842D3-395F-485B-95D3-CBD1C2181A4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9b1178984b5ba04dd851ee822040e0b4bbb305b","datavalue":{"value":"graphical user interfaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4339214$F409A99D-08D2-49F1-B0E8-6BD451287490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f499971506bb7d13eebf3a41582911b6f7a30bdf","datavalue":{"value":"spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q4339214$CEAC9CA6-369E-495C-A5D9-3D0CF656FD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f8ca6f67bcc526dc6bbd7d2c3fecb3490aee050","datavalue":{"value":"ISABELLE","type":"string"},"datatype":"string"},"type":"statement","id":"Q4339214$64F3155F-973A-4AA2-BD4B-A4F0CBA3EB86","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":"Q4339214$5D374448-DF70-45ED-84C7-1955055E5AC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba1cb4b4fc70e2a1217de6c13890798ec71f3f4","datavalue":{"value":{"entity-type":"item","numeric-id":6157245,"id":"Q6157245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64046030be7573f72f039a0eadc914697ac778d7","datavalue":{"value":{"amount":"+0.87463707","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":"Q4339214$A9B32E23-DA50-4FBB-B2CE-27E62178E0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9775782527c47551eeb72e0ed075d7237a6fa56e","datavalue":{"value":{"entity-type":"item","numeric-id":3707394,"id":"Q3707394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f70710754c55b02635a113881573ca3500290028","datavalue":{"value":{"amount":"+0.8737153","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":"Q4339214$68428C04-AAB5-4CE2-B1F7-A99471DDF793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bfdce57572d9f82033433a2426d69655d7b963a","datavalue":{"value":{"entity-type":"item","numeric-id":3122696,"id":"Q3122696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa45affa0922bef0f9d73ec1e8fb7ce95340fb26","datavalue":{"value":{"amount":"+0.8695222","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":"Q4339214$18FA0E59-CD0F-4495-AC85-3EF1A1B8A0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49ac4bb5605a3fca0fa842731bf5956f07026ffc","datavalue":{"value":{"entity-type":"item","numeric-id":5313006,"id":"Q5313006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47566f9329e48010b85deffa261dc7a794a72231","datavalue":{"value":{"amount":"+0.8637641","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":"Q4339214$01AE025C-D962-4A4A-A087-30C066EFD688","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0b002571c7757f4d0a873b7cdec3151a1aa24701","datavalue":{"value":"Diese Arbeit befa\u00dft sich mit der formalen Entwicklung graphischer Benutzerschnittstellen. Ziel der Arbeit ist, bekannte (klassische) algebraische Methoden f\u00fcr den Entwurf von Softwaresystemen an den Entwurf von Benutzerschnittstellen anzupassen, d.h. diese Methoden entsprechend zu instantiieren und zu erweitern. Dies umfa\u00dft Methoden f\u00fcr die Spezifikationen und Implementierungen der grundlegenden Komponenten, die Validierung der Spezifikationen, die Verifikation der Implementierungen, und die Wiederverwendung von Komponenten graphischer Benutzeroberfl\u00e4chen. Die grundlegenden Komponenten werden zun\u00e4chst formal beschrieben. Die einfachen interaktiven Komponenten, wie z.B. Buttons, werden durch Zustands\u00fcbergangssysteme modelliert und dann nach SPECTRUM transformiert. Die komplizierten interaktiven Komponenten, wie z.B. Menus und Windows, werden spezifiziert durch die Anwendungen der Operatoren, die f\u00fcr ``specifying in the large'' in der Spezifikationssprache definiert worden sind. Die Repr\u00e4sentationskomponenten, wie z.B. Display Windows und Glues, werden auch spezifiziert. Die Spezifikationen sind in der funktionellen Programmsprache SML implementiert. Das Theorembeweissystem ISABELLE wird verwendet, um die kritischen Eigenschaften von interaktiven Komponenten zu validieren. Eine Methode, basierend auf Programmtransformationstechniken und Realisierungen von Spezifikationen, wird entwickelt, um die Korrektheit der Implementierung von Spezifikationen zu verifizieren. Die Wiederverwendbarkeit von Softwarekomponenten wird in dieser Arbeit diskutiert. Eine Bibliothek von wiederverwendbaren Komponenten, die aus Spezifikationen und Implementierungen bestehen, wird entwickelt und durch Entwicklungsgraphen dargestellt. Eine operator-orientierte Methode f\u00fcr die systematische Wiederverwendung ist presentiert in der formalen Entwicklungen der graphischen Benutzerschnittstellen eines Editors und der Fallstudie HDMSA aus dem KORSO-Projekt.","type":"string"},"datatype":"string"},"type":"statement","id":"Q4339214$DEF56245-9CF4-481B-94DA-C5BF38184F44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4339214","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4339214"}}}}}