Inhaltsverzeichnis
22 Beziehungen: Agile Softwareentwicklung, Chord, Daniel Jackson (Informatiker), Erfüllbarkeitsproblem der Aussagenlogik, Informatik, Invariante (Informatik), Java (Programmiersprache), Lineare temporale Logik, Massachusetts Institute of Technology, MIT Press, MIT-Lizenz, Model Checking, Modell (Logik), Plattformunabhängigkeit, Prädikatenlogik erster Stufe, Programmfehler, Softwaredesign, Softwaretechnik, Spezifikation, Symbolic Model Verifier, Transitive Hülle, Z-Notation.
Agile Softwareentwicklung
Agile Softwareentwicklung (von lateinisch agilis „flink, beweglich“) bezeichnet Ansätze im Softwareentwicklungsprozess, die die Transparenz und Veränderungsgeschwindigkeit erhöhen und zu einem schnelleren Einsatz des entwickelten Systems führen sollen, um so Risiken und Fehlentwicklungen im Entwicklungsprozess zu minimieren.
Sehen Alloy Analyzer und Agile Softwareentwicklung
Chord
Chord ist ein strukturiertes Peer-to-Peer-System, welches im Gegensatz zu den meisten unstrukturierten Systemen eine effiziente Suche nach Inhalten ermöglicht.
Sehen Alloy Analyzer und Chord
Daniel Jackson (Informatiker)
Daniel N. Jackson (* 1963) ist Professor für Informatik am Massachusetts Institute of Technology (MIT).
Sehen Alloy Analyzer und Daniel Jackson (Informatiker)
Erfüllbarkeitsproblem der Aussagenlogik
Das Erfüllbarkeitsproblem der Aussagenlogik (SAT, von ‚ Erfüllbarkeit‘) ist ein Entscheidungsproblem der theoretischen Informatik.
Sehen Alloy Analyzer und Erfüllbarkeitsproblem der Aussagenlogik
Informatik
Lambda lc.svg Sorting quicksort anim frame.svg Utah teapot simple 2.png 3-Tasten-Maus Microsoft.jpg Bei der Informatik handelt es sich um die Wissenschaft von der systematischen Darstellung, Speicherung, Verarbeitung und Übertragung von Daten, wobei besonders die automatische Verarbeitung mit Computern betrachtet wird.
Sehen Alloy Analyzer und Informatik
Invariante (Informatik)
Eine Invariante ist eine Aussage, die über die Ausführung bestimmter Programmbefehle hinweg gilt.
Sehen Alloy Analyzer und Invariante (Informatik)
Java (Programmiersprache)
Java ist eine objektorientierte Programmiersprache und eine eingetragene Marke des Unternehmens Sun Microsystems, welches 2010 von Oracle aufgekauft wurde.
Sehen Alloy Analyzer und Java (Programmiersprache)
Lineare temporale Logik
Lineare temporale Logik (LTL oder Linear temporal logic) ist eine formale modale temporale Logik, die zur Modellprüfung aufgestellt und benutzt wird.
Sehen Alloy Analyzer und Lineare temporale Logik
Massachusetts Institute of Technology
Das Massachusetts Institute of Technology (MIT) ist eine Technische Hochschule und Universität in Cambridge im US-Bundesstaat Massachusetts.
Sehen Alloy Analyzer und Massachusetts Institute of Technology
MIT Press
Logo von MIT Press. Design: Muriel Cooper The MIT Press ist ein Universitätsverlag mit Sitz in Cambridge, Massachusetts, in den Vereinigten Staaten.
Sehen Alloy Analyzer und MIT Press
MIT-Lizenz
Die MIT-Lizenz, auch X-Lizenz oder X11-Lizenz genannt, ist eine vom Massachusetts Institute of Technology stammende freizügige Open-Source-Lizenz.
Sehen Alloy Analyzer und MIT-Lizenz
Model Checking
Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel).
Sehen Alloy Analyzer und Model Checking
Modell (Logik)
In der mathematischen Logik ist ein Modell eines Axiomensystems eine mit gewissen Strukturen versehene Menge, auf die die Axiome dieses Systems zutreffen.
Sehen Alloy Analyzer und Modell (Logik)
Plattformunabhängigkeit
Die Plattformunabhängigkeit – genauer als plattformübergreifend (engl. cross-platform) und allgemeiner -portabel – bezeichnet in der Informationstechnik jene Eigenschaft, die ein Computerprogramm auf verschiedenen Computerplattformen ausführbar macht.
Sehen Alloy Analyzer und Plattformunabhängigkeit
Prädikatenlogik erster Stufe
Die Prädikatenlogik erster Stufe ist ein Teilgebiet der mathematischen Logik.
Sehen Alloy Analyzer und Prädikatenlogik erster Stufe
Programmfehler
Programmfehler oder Softwarefehler oder Software-Anomalie, häufig auch Bug genannt, sind Begriffe aus der Softwaretechnik, mit denen für Software-Systemkomponenten Abweichungen zu einem geforderten oder gewünschten Sollzustand bezeichnet werden.
Sehen Alloy Analyzer und Programmfehler
Softwaredesign
Softwaredesign (auch Softwarekonstruktion) ist der Konstruktionsprozess zur Implementierung einer Software-Lösung.
Sehen Alloy Analyzer und Softwaredesign
Softwaretechnik
Die Softwaretechnik bzw.
Sehen Alloy Analyzer und Softwaretechnik
Spezifikation
Spezifikation (aus, „Auflistung“, „Verzeichnis“) ist im Vertragsrecht die genaue Bestimmung der Anforderungen des Käufers oder Auftraggebers an die Eigenschaften eines Produktes, einer Leistung, Dienstleistung oder eines Systems.
Sehen Alloy Analyzer und Spezifikation
Symbolic Model Verifier
Der Symbolic Model Verifier (SMV) ist ein Werkzeug zur Modellprüfung.
Sehen Alloy Analyzer und Symbolic Model Verifier
Transitive Hülle
transitive Hülle steht für.
Sehen Alloy Analyzer und Transitive Hülle
Z-Notation
Z ist der Name einer Notation zur formalen Spezifikation von Software-Systemen und -Modulen.
Sehen Alloy Analyzer und Z-Notation