IBM CICS ( Customer Information Control System ) ist eine Familie von Anwendungsservern mit gemischten Programmiersprachen , die Online- Transaktionsmanagement und Konnektivität für Anwendungen auf
ExzellentHistory of human–computer interaction
Kategorie
Z notation
6 Artikel
Jape ist ein konfigurierbarer, grafischer Beweisassistent , der ursprünglich von Richard Bornat an der Queen Mary University of London und Bernard Sufrin an der Universität Oxford entwickelt wurde .
GutBritish computer scientists
Mondex war ein elektronisches Zahlungssystem mit Chipkarten , das als Guthabenkarte implementiert wurde und Mastercard gehörte .
GutFinancial services companies established in 1993
Die Z User Group ( ZUG ) wurde 1992 gegründet, um die Verwendung und Weiterentwicklung der Z-Notation zu fördern , einer formalen Spezifikationssprache zur Beschreibung und Analyse computerbasierter Systeme.
Exzellent1992 establishments in the United Kingdom
Die Z-Notation / ˈ z ɛ d / ist eine formale Spezifikationssprache zur Beschreibung und Modellierung von Computersystemen.
GutComputer-related introductions in 1977
In der Mengenlehre ist die Zermelo-Fraenkel-Mengenlehre , benannt nach den Mathematikern Ernst Zermelo und Abraham Fraenkel , ein axiomatisches System , das Anfang des 20.
ExzellentFoundations of mathematics