Formale Methoden

Formale Methoden

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 zur Zeit umstritten.

Siehe auch


Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

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

  • 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… …   Deutsch Wikipedia

  • Formale Semantik — beschäftigt sich mit der exakten Bedeutung von künstlichen oder natürlichen Sprachen. Dabei kann sowohl die Bedeutung bestehender Sprachen untersucht als auch die Bedeutung neu geschaffener Sprachen festgelegt werden. In Abgrenzung zur Semantik… …   Deutsch Wikipedia

  • Formale Verifikation — Verifizierung oder Verifikation (von lat. veritas, Wahrheit und facere, machen) ist der Nachweis, dass ein vermuteter oder behaupteter Sachverhalt wahr ist. Der Begriff wird unterschiedlich gebraucht, je nachdem, ob man sich bei der… …   Deutsch Wikipedia

  • Aristotelische Logik — Gregor Reisch, „Die Logik präsentiert ihre zentralen Themen“, Margarita Philosophica, 1503/08 (?). Die beiden Hunde veritas und falsitas jagen de …   Deutsch Wikipedia

  • Rechtsstaatsverständnis im Nationalsozialismus — „Nationalsozialistischer deutscher Rechtsstaat“ und ähnliche Ausdrücke wie „der deutsche Rechtsstaat Adolf Hitlers“ wurden von nationalsozialistischen und den Nationalsozialisten nahestehenden Juristen mehrfach verwendet[1], um sich affirmativ… …   Deutsch Wikipedia

  • System Engineering — Systems Engineering Techniken werden in komplexen Entwicklungsprojekten angewendet Systems Engineering (auch Systems Design oder Systems Design Engineering) ist ein interdisziplinärer Ansatz, um komplexe technische Systeme in großen Projekten zu… …   Deutsch Wikipedia

  • Systems Design — Systems Engineering Techniken werden in komplexen Entwicklungsprojekten angewendet Systems Engineering (auch Systems Design oder Systems Design Engineering) ist ein interdisziplinärer Ansatz, um komplexe technische Systeme in großen Projekten zu… …   Deutsch Wikipedia

  • Systems Design Engineering — Systems Engineering Techniken werden in komplexen Entwicklungsprojekten angewendet Systems Engineering (auch Systems Design oder Systems Design Engineering) ist ein interdisziplinärer Ansatz, um komplexe technische Systeme in großen Projekten zu… …   Deutsch Wikipedia

  • Systems Engineer — Systems Engineering Techniken werden in komplexen Entwicklungsprojekten angewendet Systems Engineering (auch Systems Design oder Systems Design Engineering) ist ein interdisziplinärer Ansatz, um komplexe technische Systeme in großen Projekten zu… …   Deutsch Wikipedia

  • Systems engineering — Techniken werden in komplexen Entwicklungsprojekten angewendet Systems Engineering (auch Systems Design oder Systems Design Engineering) ist ein interdisziplinärer Ansatz, um komplexe technische Systeme in großen Projekten zu entwickeln und zu… …   Deutsch Wikipedia

Share the article and excerpts

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