Formale Methode

Formale Methode

In der Informatik bezeichnet der Begriff der Formalen Methoden eine Vielzahl von natur- und ingenieurswissenschaftlichen Techniken zum Modellieren und zur rigorosen Überprüfung von Computersystemen. Formale Methoden basieren in der Regel auf der Verwendung von mathematischer Logik.

Die Rolle von Formalen Methoden in der Softwaretechnik und in der industriellen Praxis ist zurzeit umstritten.

Siehe auch

Weblinks

Peter Padawitz: Formale Methoden des Systementwurfs. Dortmund 2010 (Vorlesungsskript, http://fldit-www.cs.uni-dortmund.de/~peter/TdP96.pdf).


Wikimedia Foundation.

Игры ⚽ Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Formale Soziologie — Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Soziologie eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Soziologie auf ein akzeptables Niveau zu bringen. Hilf mit, die inhaltlichen Mängel dieses… …   Deutsch Wikipedia

  • Methode der finiten Elemente — Die Finite Elemente Methode (FEM) ist ein numerisches Verfahren zur näherungsweisen Lösung, insbesondere elliptischer partieller Differentialgleichungen mit Randbedingungen. Sie ist auch ein weit verbreitetes modernes Berechnungsverfahren im… …   Deutsch Wikipedia

  • Formale Begriffsanalyse — Ein formaler Kontext zu Eigenschaften der Zahlen 1 10. Begriffsverband zum obigen Zahlenkontext …   Deutsch Wikipedia

  • Methode (Programmierung) — Der Begriff Methode (Eng. method oder member function, zu deutsch auch Mitgliedsfunktion) wird in der Programmierung allgemein als Sammelbegriff sowie auch synonym unter anderem für Funktionen und Prozeduren verwendet. Speziell in der… …   Deutsch Wikipedia

  • Formale Spezifikation — Eine formale Spezifikation ist die Beschreibung eines Computerprogramms mittels einer Notation, deren Semantik eindeutig definiert ist (einer sogenannten formalen Sprache). Ziel ist die formalisierte, präzise Beschreibung der zu lösenden Aufgabe… …   Deutsch Wikipedia

  • formale Spezifikation — 1. Begriff: Im ⇡ Software Engineering eine Methode der ⇡ Spezifikation, bei der die Aufgaben eines ⇡ Moduls (schwieriger: eines ⇡ Softwaresystems) formal definiert werden, z.B. axiomatisch. 2. Vorteil: Exakte Vorgabe für die ⇡ Implementierung;… …   Lexikon der Economics

  • Finite-Elemente-Methode — Die Finite Elemente Methode (FEM), auch „Methode der finiten Elemente“ genannt, ist ein numerisches Verfahren zur Lösung von partiellen Differentialgleichungen. Sie ist ein weit verbreitetes modernes Berechnungsverfahren im Ingenieurwesen und ist …   Deutsch Wikipedia

  • Pollard-Rho-Methode — Grafische Darstellung der Teilergebnisse Die Pollard Rho Methoden sind Algorithmen zur Bestimmung der Periodenlänge einer Zahlenfolge, die mit einer mathematischen Funktion berechnet wird. Verschiedene schwierige mathematische Probleme wie der… …   Deutsch Wikipedia

  • Deduktive Methode — Die Deduktion (v. lat.: deducere = herabführen), auch deduktive Methode oder deduktiver Schluss, ist in der Philosophie und der Logik eine Schlussfolgerungsweise vom Allgemeinen auf das Besondere. Genauer gesagt, werden mit Hilfe der Deduktion… …   Deutsch Wikipedia

  • Discours de la méthode — Der Discours de la méthode, mit vollem Titel Discours de la méthode pour bien conduire sa raison et chercher la verité dans les sciences (dt. „Abhandlung über die Methode, seine Vernunft gut zu gebrauchen und die Wahrheit in den Wissenschaften zu …   Deutsch Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”