I agree that this site is using cookies. You can find further informations here.
X
94  results:
?
1

On lightweight analysis of UML and OCL models:

Kuhlmann, Mirco Alexander , 2020
Copies: Zentrale;
 
?
2

Modellierung 

Grundlagen und formale Methoden  Hanser eLibrary
Kastens, Uwe ; Kleine Büning, Hans - 4., erweiterte Auflage . , [2018]
Link: https://doi.org/10.3139/..
 
?
3

UML 2.5 

das umfassende Handbuch  Rheinwerk computing
Kecher, Christoph ; Salvanos, Alexander ; Hoffmann-Elbern, Ralf - 6., aktualisierte Auflage . , 2018
Copies:  TB BHV: com 410/41(6); Zentrale:E02 a inf 321 uml/396
 
?
4

Automated Validation and Verification of UML/OCL Models Usi..:

Przigoda, Nils ; Wille, Robert ; Przigoda, Judith. , 2018
Link: https://ebookcentral.pro..
 
?
5

Automatic methods for the refinement of system models 

from the specification to the implementation  SpringerBriefs in Electrical and Computer Engineering
Seiter, Julia Stephanie ; Wille, Robert ; Drechsler, Rolf , [2017]
Copies:  Zentrale:Magazin 02.s.5386
 
?
6

SMT-based validation & verification of UML/OCL models:

Przigoda, Nils , 2017
Copies: Zentrale;
 
?
7

On formalizing UML and OCL features and their employment to..:

Hamann, Lars , 2015
Copies:  Zentrale: ts 1901
 
?
8

On formalizing UML and OCL features and their employment to..:

Hamann, Lars , 2015
Link: http://nbn-resolving.de/..
 
?
9

UML classroom 

an introduction to object-oriented modeling  Undergraduate topics in computer science
Seidl, Martina ; Scholz, Marion ; Huemer, Christian. , [2015]
Copies:  Zentrale:E02 a inf 321 uml/623
 
?
10

Modellierung 

Grundlagen und formale Methoden  Hanser eLibrary
Kastens, Uwe - 3., überarb. Aufl. . , 2014
Link: https://doi.org/10.3139/..
 
?
11

Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und Gen..:

Koycheva, Evelina , 2013
Copies:  Zentrale:Magazin 02.m.9225; TB BHV: com 768/5
 
?
12

Analyse und Design mit der UML 2.5 

objektorientierte Softwareentwicklung 
Oestereich, Bernd ; Bremer, Stefan ; Scheithauer, Axel - 11., umfassend überarbeitete und aktualisierte Auflage . , [2013]
Copies: Zentrale; TB BHV;
 
?
13

System analysis design UML version 2.0 

an object-oriented approach 
Tegarden, David - 4th ed., International student version . , 2012 [erschienen] 2012
Copies:  Zentrale:E02 a inf 321 uml/223(4)
 
?
14

Analyse und Design mit der UML 2.5 

objektorientierte Softwareentwicklung ; [inkl. Poster mit U... 
Oestereich, Bernd ; Bremer, Stefan - 10., aktualisierte und erw. Aufl. . , 2012
Copies: Zentrale; TB Technik;
 
?
15

UML classroom 

eine Einführung in die objektorientierte Modellierung 
Brandsteidl, Marion ; Seidl, Martina ; Huemer, Christian. - 1. Aufl. . , 2012
Copies:  Zentrale:E02 a inf 321 uml/164; TB BHV: com 410/51
 
1-15