Logo
Unionpedia
Kommunikation
Jetzt bei Google Play
Neu! Laden Sie Unionpedia auf Ihrem Android™-Gerät herunter!
Installieren
Schneller Zugriff als Browser!
 

Language of Temporal Ordering Specification

Index Language of Temporal Ordering Specification

Language of Temporal Ordering Specification, kurz LOTOS, ist eine formale Beschreibungstechnik, welche im ISO-Standard ISO 8807 definiert ist.

9 Beziehungen: Internationale Organisation für Normung, Kalkül, Nebenläufigkeit, Netzwerkprotokoll, OSI-Modell, Robin Milner, Schichtenarchitektur, Testtheorie, Verteiltes System.

Internationale Organisation für Normung

ISO-3166-1-Länderkürzel, die nicht Mitglieder der ISO sind Die Internationale Organisation für Normung – kurz ISO (von) – ist die internationale Vereinigung von Normungsorganisationen und erarbeitet internationale Normen in allen Bereichen mit Ausnahme der Elektrik und der Elektronik, für die die Internationale elektrotechnische Kommission (IEC) zuständig ist, und mit Ausnahme der Telekommunikation, für die die Internationale Fernmeldeunion (ITU) zuständig ist.

Neu!!: Language of Temporal Ordering Specification und Internationale Organisation für Normung · Mehr sehen »

Kalkül

Als der oder das Kalkül („Rechnung“; von „Rechenstein“, „Spielstein“) versteht man in den formalen Wissenschaften wie Logik und Mathematik ein formales System von Regeln, mit denen sich aus gegebenen Aussagen (Axiomen) weitere Aussagen ableiten lassen.

Neu!!: Language of Temporal Ordering Specification und Kalkül · Mehr sehen »

Nebenläufigkeit

Beim Philosophenproblem (engl. ''Dining Philosophers Problem'') handelt es sich um ein Fallbeispiel aus dem Bereich der Theoretischen Informatik. Die Nebenläufigkeit, mitunter auch Parallelität genannt, ist in der Informatik die Eigenschaft eines Systems, mehrere Aufgaben, Berechnungen, Anweisungen oder Befehle gleichzeitig ausführen zu können.

Neu!!: Language of Temporal Ordering Specification und Nebenläufigkeit · Mehr sehen »

Netzwerkprotokoll

Ein Netzwerkprotokoll (auch Netzprotokoll) ist ein Kommunikationsprotokoll für den Austausch von Daten zwischen Computern bzw.

Neu!!: Language of Temporal Ordering Specification und Netzwerkprotokoll · Mehr sehen »

OSI-Modell

Das ISO/OSI-Referenzmodell ist ein Referenzmodell für Netzwerkprotokolle als Schichtenarchitektur.

Neu!!: Language of Temporal Ordering Specification und OSI-Modell · 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!!: Language of Temporal Ordering Specification und Robin Milner · Mehr sehen »

Schichtenarchitektur

Aufrufschema in einer Schichtenarchitektur Die Schichtenarchitektur (auch Schichtenmodell oder Schichtenmuster) ist ein häufig angewandtes Strukturierungsprinzip für die Architektur von Softwaresystemen.

Neu!!: Language of Temporal Ordering Specification und Schichtenarchitektur · Mehr sehen »

Testtheorie

Als Testtheorie bezeichnet man.

Neu!!: Language of Temporal Ordering Specification und Testtheorie · Mehr sehen »

Verteiltes System

Ein verteiltes System ist nach der Definition von Andrew S. Tanenbaum ein Zusammenschluss unabhängiger Computer, die sich für den Benutzer als ein einziges System präsentieren.

Neu!!: Language of Temporal Ordering Specification und Verteiltes System · Mehr sehen »

Leitet hier um:

ISO 8807.

AusgehendeEingehende
Hallo! Wir sind auf Facebook! »