Property |
Value |
dbo:abstract
|
- In der Informatik bezeichnet der Begriff der Formalen Methoden eine Vielzahl von natur- und ingenieurswissenschaftlichen Techniken zur Modellierung und rigorosen Überprüfung von Computersystemen. Formale Methoden basieren in der Regel auf der Verwendung von mathematischer Logik. Formale Methoden sind in der Softwaretechnik und in der industriellen Praxis nicht weit verbreitet, sie werden jedoch in sicherheitskritischen Bereichen angewandt um Fehlerfreiheit zu beweisen. (de)
- In der Informatik bezeichnet der Begriff der Formalen Methoden eine Vielzahl von natur- und ingenieurswissenschaftlichen Techniken zur Modellierung und rigorosen Überprüfung von Computersystemen. Formale Methoden basieren in der Regel auf der Verwendung von mathematischer Logik. Formale Methoden sind in der Softwaretechnik und in der industriellen Praxis nicht weit verbreitet, sie werden jedoch in sicherheitskritischen Bereichen angewandt um Fehlerfreiheit zu beweisen. (de)
|
dbo:originalTitle
|
- Formale Methoden des Systementwurfs (de)
- Formale Methoden des Systementwurfs (de)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageRevisionID
| |
prop-de:autor
| |
prop-de:jahr
| |
prop-de:kommentar
| |
prop-de:online
| |
prop-de:ort
| |
dct:subject
| |
rdf:type
| |
rdfs:comment
|
- In der Informatik bezeichnet der Begriff der Formalen Methoden eine Vielzahl von natur- und ingenieurswissenschaftlichen Techniken zur Modellierung und rigorosen Überprüfung von Computersystemen. Formale Methoden basieren in der Regel auf der Verwendung von mathematischer Logik. Formale Methoden sind in der Softwaretechnik und in der industriellen Praxis nicht weit verbreitet, sie werden jedoch in sicherheitskritischen Bereichen angewandt um Fehlerfreiheit zu beweisen. (de)
- In der Informatik bezeichnet der Begriff der Formalen Methoden eine Vielzahl von natur- und ingenieurswissenschaftlichen Techniken zur Modellierung und rigorosen Überprüfung von Computersystemen. Formale Methoden basieren in der Regel auf der Verwendung von mathematischer Logik. Formale Methoden sind in der Softwaretechnik und in der industriellen Praxis nicht weit verbreitet, sie werden jedoch in sicherheitskritischen Bereichen angewandt um Fehlerfreiheit zu beweisen. (de)
|
rdfs:label
|
- Formale Methode (de)
- Formale Methode (de)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:category
of | |
is dbo:wikiPageRedirects
of | |
is foaf:primaryTopic
of | |