Filters








8 Hits in 4.3 sec

Arbeitstreffen Typtheorie - Zusammenfassung der Beiträge

(:Unkn)Unknown, Universität Ulm, Friedrich Wilhelm Von Henke, Harald Rueß
2016
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

Axel Dold, Universität Ulm
2016
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

Claus Pahl, Technische Universität Dortmund, Technische Universität Dortmund
2004
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

Christian Maeder, Technische Universität Berlin, Technische Universität Berlin, Peter Pepper
2001
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

Wolfgang Franke, Thorsten Frenzel, Jörg Hilker, Matthias Patoka, Ruxandra Privighitorita, Thorsten Proske, Hans Gerald Sobottka, Christian Stroetmann, Technische Universität Dortmund, Technische Universität Dortmund
2004
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

Matthias Koning, Universitätsbibliothek Der FU Berlin
2021
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

Eva Susanne Krappel
2010 unpublished
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

Anna Maria Brandstätter
2012 unpublished
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