Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
94  Ergebnisse:
?
1

On lightweight analysis of UML and OCL models:

Kuhlmann, Mirco Alexander , 2020
Exemplare: 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

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

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

UML 2.5 

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

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

Przigoda, Nils , 2017
Exemplare: Zentrale;
 
?
6

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]
Exemplar:  Zentrale:Magazin 02.s.5386
 
?
7

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

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

UML classroom 

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

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

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

Modellierung 

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

System analysis design UML version 2.0 

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

Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und Gen..:

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

Analyse und Design mit der UML 2.5 

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

UML 2 glasklar 

Praxiswissen für die UML-Modellierung 
Rupp, Chris ; Queins, Stefan - 4., aktualisierte und erweiterte Auflage . , [2012]
Exemplare: Zentrale; TB BHV; TB Technik;
 
?
15

Modellbasierte Systementwicklung mit SysML:

Alt, Oliver , 2012
Exemplar:  Zentrale:E02 a inf 321 uml/956
 
1-15