-
1 Systembeschreibung
Sys·tem·be·schrei·bungf INFORM, TECH system specifications pl* * *f.system description n. -
2 Systembeschreibung
fsystem description
См. также в других словарях:
Systemtheorie (Ingenieurwissenschaften) — Der Begriff der Systemtheorie wird in verschiedenen wissenschaftlichen Disziplinen angewendet und hat in Bezug auf den Primärbegriff System keine einheitliche Bedeutung. Systeme können sich als physikalische, ökologische, ökonomische, soziale… … Deutsch Wikipedia
Zustandsraumdarstellung — Die Zustandsraumdarstellung ist eine von mehreren bekannten Formen der Systembeschreibung eines dynamischen Übertragungssystems. Die Überführung einer systembeschreibenden Differenzialgleichung mit n Ableitungen der Ausgangsgröße y(t) und m… … Deutsch Wikipedia
Model Checking — (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für eine gegebene… … Deutsch Wikipedia
Modelchecking — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für … Deutsch Wikipedia
Modellprüfer — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für … Deutsch Wikipedia
Modellprüfung — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für … Deutsch Wikipedia
Modellprüfverfahren — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für … Deutsch Wikipedia
Paketquelle — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Ein Repository (engl. für deutsch: Lager, Depot), auch Repositorium … Deutsch Wikipedia
Paketquellen — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Ein Repository (engl. für deutsch: Lager, Depot), auch Repositorium … Deutsch Wikipedia
Projektarchiv — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Ein Repository (engl. für deutsch: Lager, Depot), auch Repositorium … Deutsch Wikipedia
Aulay MacAulay — (* vor 1747; † nach 1756; genaue Lebensdaten unbekannt) aus England entwickelte und erfand ein Stenografiesystem, das unter dem Verfassernamen in die Kurzschriftgeschichte einging. Über sein Leben außerhalb seines stenografischen Wirkens sind… … Deutsch Wikipedia