Hochschulschrift
Kohärenzprüfung von Verhaltensspezifikationen gegen spezifische Eigenschaften des operationellen Kontexts
- Alternative title
-
Coherence check of behavioural specifications against specific properties of the operational context
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Notes
-
Duisburg, Essen, Universität Duisburg-Essen, Diss., 2011
- Event
-
Veröffentlichung
- (where)
-
Duisburg, Essen
- (who)
-
Universitätsbibliothek Duisburg-Essen
- (when)
-
2011
- Creator
- Contributor
- URN
-
urn:nbn:de:hbz:464-20110420-083423-2
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:53 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Weyer, Thorsten
- Pohl, Klaus
- Gruhn, Volker
- Universitätsbibliothek Duisburg-Essen
Time of origin
- 2011
Other Objects (12)
Validation and verification of software process models
Vom Gestalten mobiler Landschaften
Agile MDA als Ausweg aus der Softwarekrise? : Softwareentwicklung mit Fokus auf das Anwendungswissen
Validation and verification of software process models
Elektronische Signaturen in modernen Geschäftsprozessen : schlanke und effiziente Prozesse mit der eigenhändigen elektronischen Unterschrift realisieren
A General Vehicle Routing Problem
Drivers’ working hours in vehicle routing and scheduling
Mobile Process Landscaping am Beispiel von Vertriebsprozessen in der Assekuranz
Agile Software Engineering : A New System for an Expanding Business Model at SCHUFA
An Analysis Framework for Mobile Workforce Automation
A Meta-Model for the Dialog Flow Notation
An adaptive middleware for mobile information systems
Validation and verification of software process models
Vom Gestalten mobiler Landschaften
Agile MDA als Ausweg aus der Softwarekrise? : Softwareentwicklung mit Fokus auf das Anwendungswissen
Validation and verification of software process models
Elektronische Signaturen in modernen Geschäftsprozessen : schlanke und effiziente Prozesse mit der eigenhändigen elektronischen Unterschrift realisieren
A General Vehicle Routing Problem
Drivers’ working hours in vehicle routing and scheduling
Mobile Process Landscaping am Beispiel von Vertriebsprozessen in der Assekuranz
Agile Software Engineering : A New System for an Expanding Business Model at SCHUFA
An Analysis Framework for Mobile Workforce Automation
A Meta-Model for the Dialog Flow Notation
An adaptive middleware for mobile information systems
Validation and verification of software process models
Vom Gestalten mobiler Landschaften
Agile MDA als Ausweg aus der Softwarekrise? : Softwareentwicklung mit Fokus auf das Anwendungswissen
Validation and verification of software process models
Elektronische Signaturen in modernen Geschäftsprozessen : schlanke und effiziente Prozesse mit der eigenhändigen elektronischen Unterschrift realisieren
A General Vehicle Routing Problem
Drivers’ working hours in vehicle routing and scheduling
Mobile Process Landscaping am Beispiel von Vertriebsprozessen in der Assekuranz
Agile Software Engineering : A New System for an Expanding Business Model at SCHUFA
An Analysis Framework for Mobile Workforce Automation
A Meta-Model for the Dialog Flow Notation