Requirements engineering für GIS-Applikationen von Kösters, Georg

Inhaltsverzeichnis

Open API - API-Management - IT-Security Workshops im Rahmen der Enterprise Computing Conference, 04. April 2019, Hamburg

Inhaltsverzeichnis
Inhaltsverzeichnis

Eine Datenspezifikationsarchitektur von Widmann, Stefan

Ressourcenadaptive Anwendungen für die operative Prozessleittechnik von Grüner, Sten

Inhaltsverzeichnis

Formal methods and software engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013 ; proceeding...

Volltext
Inhaltsverzeichnis
Abstract

Anforderungsermittlung an ein Beschreibungsmittel und Erweiterung einer Gerätebeschreibungssprache für die modulare Automatisierung im Maschinen- und Anlagenbau von Li, Fang

Inhaltsverzeichnis

Protocol Engineering von König, Hartmut 1950-

DE-634
DE-Aug4
DE-M347
DE-92
DE-859
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-739
Volltext

Protocol engineering von König, Hartmut 1950-

Inhaltsverzeichnis

Auf dem Weg zum Quantencomputer Entwurf reversibler Logik

Inhaltsverzeichnis

Spezifikation und Generierung von zeitlich-logischen Eigenschaftssätzen aus Sequenzdiagrammen von Schweikert, Martin 1981-

Inhaltstext
Ausführliche Beschreibung
Inhaltsverzeichnis

A framework for formal representation and transformational optimisation of executable specifications von Meyer, Thomas

Inhaltsverzeichnis

Requirements Engineering eingebetteter Systeme ein interdisziplinärer Modellierungsansatz von Geisberger, Eva

Establishing sufficient temporal independence efficiently a monitoring approach von Neukirchner, Moritz

Inhaltstext
Inhaltsverzeichnis

Componentware Methodik des evolutionären Architekturentwurfs von Rausch, Andreas

Verhaltensgarantien in selbst-organisierenden Systemen von Nafz, Florian 1980-

Inhaltstext
Inhaltsverzeichnis

Methodischer Übergang von Spezifikationen in ein virtuelles Steuergerätenetzwerk von Schiele, Peter

Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; Revised Selected Papers von Barner, Sharon

Volltext

Formal methods: foundations and applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8 - 11, 2010 ; revised selected papers

Inhaltstext
Inhaltsverzeichnis

Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; Revised Selected Papers von Barner, Sharon

Inhaltstext
Inhaltsverzeichnis

Modular language specification and composition von Denzler, Christoph 1968-