Schneller Zugriff als Browser!
28 Beziehungen: Airbus, Allen Emerson, Alphabet Inc., Amazon, Amir Pnueli, Automatentheorie, Christel Baier, Edmund M. Clarke, Formale Semantik, Formale Sprache, Gerätetreiber, Informatik, Joost-Pieter Katoen, Joseph Sifakis, Logik, Maschinengestütztes Beweisen, Microsoft, Microsoft Research, Model Checking, Nebenläufigkeit (Entwurfsmuster), Robin Milner, Spezifikation, Statische Code-Analyse, Theoretische Informatik, Tony Hoare, Turing Award, Typisierung (Informatik), Verifizierung.
Airbus
Die Airbus SE (von 2000 bis 2013 EADS für European Aeronautic Defence and Space) ist Europas größter Luft- und Raumfahrt- sowie (nach BAE Systems) zweitgrößter Rüstungskonzern.
Neu!!: Formale Methode und Airbus · Mehr sehen »
Allen Emerson
Allen Emerson, 2022 Ernest Allen Emerson (* 2. Juni 1954 in Dallas) ist ein US-amerikanischer Informatiker und Turing-Preisträger.
Neu!!: Formale Methode und Allen Emerson · Mehr sehen »
Alphabet Inc.
Firmenstruktur der Alphabet Inc. 2017 Alphabet Inc. ist eine börsennotierte US-amerikanische Holding mit Sitz in Mountain View im kalifornischen Silicon Valley.
Neu!!: Formale Methode und Alphabet Inc. · Mehr sehen »
Amazon
Amazon.com-Gründer Jeff Bezos (2016) ''Day 1 Tower'' von Amazon.com in Seattle Amazon.com, Inc. (kurz Amazon, deutsche Aussprache, englisch) ist ein börsennotierter US-amerikanischer, global agierender Onlineversandhändler mit einer breit gefächerten Produktpalette.
Neu!!: Formale Methode und Amazon · Mehr sehen »
Amir Pnueli
Amir Pnueli (* 22. April 1941 in Nahalal, Palästina; † 2. November 2009 in New York City, New York) war ein israelischer Informatiker, der wegweisende Verdienste um die Einführung der temporalen Logik in die Informatik sowie die Verifizierung von Programmen und Systemen geleistet und dafür 1996 mit dem Turing Award ausgezeichnet wurde.
Neu!!: Formale Methode und Amir Pnueli · Mehr sehen »
Automatentheorie
Die Automatentheorie ist ein Teilgebiet der theoretischen Informatik, das sich mit dem Studium von Automaten (Modellrechnern) und mit den von diesen Automaten lösbaren Problemen beschäftigt.
Neu!!: Formale Methode und Automatentheorie · Mehr sehen »
Christel Baier
Christel Baier (* 26. September 1965 in Karlsruhe) ist eine deutsche theoretische Informatikerin.
Neu!!: Formale Methode und Christel Baier · Mehr sehen »
Edmund M. Clarke
Edmund M. Clarke 2006 Edmund „Ed“ Melson Clarke, Jr. (* 27. Juli 1945 in Newport News, Virginia; † 22. Dezember 2020 in Mt. Lebanon, Pennsylvania) war ein US-amerikanischer Informatiker.
Neu!!: Formale Methode und Edmund M. Clarke · Mehr sehen »
Formale Semantik
Formale Semantik beschäftigt sich mit der exakten Bedeutung von Termen in künstlichen oder natürlichen Sprachen.
Neu!!: Formale Methode und Formale Semantik · Mehr sehen »
Formale Sprache
Eine formale Sprache ist eine abstrakte Sprache, bei der im Unterschied zu natürlichen Sprachen oft nicht die Kommunikation im Vordergrund steht, sondern die Definition und Anwendung formaler Systeme im engeren Sinn und der Logik im weiteren, allgemeinen Sinn.
Neu!!: Formale Methode und Formale Sprache · Mehr sehen »
Gerätetreiber
Ein Gerätetreiber (lehnübersetzt zum englischen device driver), häufig kurz nur Treiber genannt, ist ein Computerprogramm oder Softwaremodul, das die Interaktion mit angeschlossenen, eingebauten (Hardware) oder virtuellen Geräten steuert.
Neu!!: Formale Methode und Gerätetreiber · Mehr sehen »
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.
Neu!!: Formale Methode und Informatik · Mehr sehen »
Joost-Pieter Katoen
Joost-Pieter Katoen in der Logic Lane, Oxford Joost-Pieter Katoen (* 6. Oktober 1964 in Krimpen aan den IJssel) ist ein niederländischer theoretischer Informatiker.
Neu!!: Formale Methode und Joost-Pieter Katoen · Mehr sehen »
Joseph Sifakis
Joseph Sifakis 2008 Joseph Sifakis (* 26. Dezember 1946 in Iraklio, Kreta) ist ein griechisch-französischer, Kathimerini, 4.
Neu!!: Formale Methode und Joseph Sifakis · Mehr sehen »
Logik
Mit Logik (von logikè téchnē ‚Kunst des Denkens‘, ‚Kunst des Argumentierens‘) wird im Allgemeinen das vernünftige Schlussfolgern und im Besonderen dessen Lehre – die Schlussfolgerungslehre oder auch Denklehre – bezeichnet.
Neu!!: Formale Methode und Logik · Mehr sehen »
Maschinengestütztes Beweisen
Maschinengestütztes Beweisen (oder missverständlicher: automatisches Beweisen; ein Teilgebiet der automatischen Deduktion) basiert auf der Verwendung von Computerprogrammen zur Erzeugung und Überprüfung von mathematischen Beweisen logischer Theoreme.
Neu!!: Formale Methode und Maschinengestütztes Beweisen · Mehr sehen »
Microsoft
Washington Die Microsoft Corporation ist ein US-amerikanischer international tätiger Hard- und Softwareentwickler und ein Technologieunternehmen mit Sitz in Redmond, einer Stadt im Großraum Seattle im US-Bundesstaat Washington.
Neu!!: Formale Methode und Microsoft · Mehr sehen »
Microsoft Research
Microsoft Research (MSR) ist eine Abteilung von Microsoft, die 1991 gegründet wurde, um Informatikthemen zu erforschen.
Neu!!: Formale Methode und Microsoft Research · Mehr sehen »
Model Checking
Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel).
Neu!!: Formale Methode und Model Checking · Mehr sehen »
Nebenläufigkeit (Entwurfsmuster)
Die Nebenläufigkeit (englisch: concurrency pattern) ist in der Softwareentwicklung ein Entwurfsmuster, das mit dem Programmierparadigma der Nebenläufigkeit zu tun hat.
Neu!!: Formale Methode und Nebenläufigkeit (Entwurfsmuster) · Mehr sehen »
Robin Milner
Arthur John Robin Gorell Milner FRS FRSE (* 13. Januar 1934 in Yealmpton bei Plymouth; † 20. März 2010 in Cambridge) war ein britischer Professor für Informatik und Turingpreisträger.
Neu!!: Formale Methode und Robin Milner · Mehr sehen »
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.
Neu!!: Formale Methode und Spezifikation · Mehr sehen »
Statische Code-Analyse
Statische Code-Analyse oder kurz statische Analyse ist ein statisches Software-Testverfahren, das zur Übersetzungszeit durchgeführt wird.
Neu!!: Formale Methode und Statische Code-Analyse · Mehr sehen »
Theoretische Informatik
Mind-Map zu einem Teilbereich der theoretischen Informatik Die theoretische Informatik beschäftigt sich mit der Abstraktion, Modellbildung und grundlegenden Fragestellungen, die mit der Struktur, Verarbeitung, Übertragung und Wiedergabe von Informationen in Zusammenhang stehen.
Neu!!: Formale Methode und Theoretische Informatik · Mehr sehen »
Tony Hoare
Sir Tony Hoare (2011) Sir Charles Antony Richard Hoare (* 11. Januar 1934 in Colombo, Sri Lanka), besser bekannt als Tony Hoare oder C.A.R. Hoare, ist ein britischer Informatiker.
Neu!!: Formale Methode und Tony Hoare · Mehr sehen »
Turing Award
Der nach Alan Turing benannte A. M. Turing Award wird jährlich von der Association for Computing Machinery (ACM) an Personen verliehen, die sich besonders um die Entwicklung der Informatik verdient gemacht haben.
Neu!!: Formale Methode und Turing Award · Mehr sehen »
Typisierung (Informatik)
Eine Typisierung dient in der Informatik dazu, dass die Objekte (hier Objekte im mathematisch-abstrakten Sinne verstanden) der Programmiersprachen, wie z. B.
Neu!!: Formale Methode und Typisierung (Informatik) · Mehr sehen »
Verifizierung
Verifizierung oder Verifikation (von und facere ‚machen‘) ist der Nachweis, dass ein vermuteter oder behaupteter Sachverhalt wahr ist.
Neu!!: Formale Methode und Verifizierung · Mehr sehen »
