A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
Arbeitstreffen Typtheorie - Zusammenfassung der Beiträge
2016
Preserved Fulltext
Durch die Abst utzung auf Typentheorie bleiben sie aber dennoch vollst andig formal und veri zierbar korrekt. ...
durch Lego { ausgehend von einer formalen Spezi kation ein korrektes imperatives Programm entwickeln l a t. ...
doi:10.18725/oparu-3869
fatcat:r7t73acwgzd45onkpzvmasa4h4
Formalisierung schematischer Algorithmen
2016
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Die vorliegende Arbeit beschreibt die korrekte Formalisierung eines Software-Entwicklungsschrittes mit Funktionalen h oherer Ordnung am Beispiel des schematischen Algorithmus Globalen Suche. ...
Einleitung Software-Entwicklung durch " schrittweise Verfeinerung\ stellt eine weitverbreitete und anerkannte Methode dar, mit formalen Methoden sichere und korrekte Software zu erhalten. ...
Diese Methodik wird insbesondere im Verbund-Projekt KORSO (Korrekte Software) 23] v erfolgt. ...
doi:10.18725/oparu-1682
fatcat:fxrcklp72rgp5cpnbxxy6im4le
Grundlagen für die formale Spezifikation modularer zustandsbasierter Systeme
2004
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Zur Beschreibung von modularen Software-Systemen werden formale Parametrisierungs- und Schnittstellenkonzepte erarbeitet. ...
Hierzu wird ein Korrektheitsbegriff definiert, der durch das Beweissystem operationalisiert wird. ...
Formale Methoden in der Software-Entwicklung
Einf uhrende Betrachtungen Das Prinzip der Formalit at wurde schon angesprochen. Formale Methoden sind hier grundlegend. ...
doi:10.17877/de290r-13051
fatcat:o6dyi7syqnglfninbuexlcsdqm
Zur Kontextanalyse einer algebraischen Programmiersprache
2001
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Inzwischen hat sich dafür eine Listennotation durchgesetzt, bei der aktuelle und formale Parameter per Position zugeordnet werden. ...
Der ursprüngliche Entwurf von PASCAL war durch die effiziente One-Pass-Technik auf so genannte lineare Sichtbarkeit beschränkt. ...
Korso [W + 92, BJ95], standen formale Methoden und die Vision von beweisbar korrekter Software. ...
doi:10.14279/depositonce-286
fatcat:qtfxmwahrzd45czznaxaqy3qsm
PROMETHEUS - Spezifikation eines rechnergestützten Behandlungsmanagementsystems im Krankenhaus
2004
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Methoden unterst utzen alle Phasen der Entwick-
lung von Software-Systemen, z.B. ...
Die korrekte Funk-
tion eines solchen Systems ist nur eine Seite: wichtig bei der Betrachtung der einzelnen Facetten ist
auch die Akzeptanz durch d i e A n wender. ...
doi:10.17877/de290r-16088
fatcat:slfrsb3355hp7ka6w53qy3spgu
Queere Trampelpfade in Zukünften von Stadt
2021
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Es wurden sieben Themenkomplexe herausgearbeitet, die aus einer queeren Perspektive in den Zukunftsbildern durch die Grenzen von heteronormativem Denken limitiert sind. ...
Die Transkription der aufgezeichneten Vide-
odaten wurde durch den Autor computergestützt mit Hilfe der Software f4transkript durchge-
führt. 15 Für die Transkription wurde ein wenig komplexes Transkriptionssystem ...
Sie besteht aus einem Korso aus Fahrradfahrenden, die monatlich unter anderem für mehr Gleichberechtigung von nicht-motorisierter Mobilität protestieren. ...
doi:10.17169/refubium-31428
fatcat:ekm7jtgwjzfkppwrpebg4ehdwi
Die Macht der Verbände und ihre Zukunft in der Europäischen Union
2010
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Die Effizienz und Effektivität bzw. die Zukunftsfähigkeit der Verbände wird mit den Methoden der systemischen Organisationentwicklung untersucht. ...
Durch den Siegeszug der neoliberalen Ökonomie als globales System (seit den 90er Jahren) wurden nicht nur der Staat als gesellschaftliches Steuerungsinstrument zurückgedrängt, sondern natürlich auch das ...
Das formale Gerüst der Methoden bietet Sicherheit vergleichbar mit einer "Bürokratie von unten". Veränderungs-bzw. ...
doi:10.25365/thesis.12303
fatcat:gu2juekx25eadnxxf6mijyulea
Der menschliche Körper als Ausdrucksmedium
2012
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Durch den Sozialisationsprozess, so der Ausgangspunkt dieser Arbeit, wird jedoch nicht nur die Psyche beeinflusst, sondern auch die Körperlichkeit. ...
Durch die kritische Betrachtung und intensive Beschäftigung mit dem Körper kann darüber hinaus ein ausgeprägteres Körperbewusstsein konstatiert werden. ...
Der gesamte Korso soll in einer quadratischen Haltung verbleiben und die Extremitäten gänzlich ohne Auswirkung auf diesen bewegt werden. ...
doi:10.25365/thesis.20358
fatcat:s6pj3mfjr5fp3gdjo3iovfaalm