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

On lightweight analysis of UML and OCL models:

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

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

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

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
 
?
4

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

Przigoda, Nils , 2017
Exemplare: Zentrale;
 
?
5

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

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

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

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

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
 
?
8

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)
 
?
9

Reusing OCL in the definition of imperative languages:

Büttner, Fabian , 2011
Exemplare: Zentrale;
 
?
10

Requirements engineering 

from system goals to UML models to software specifications 
Van Lamsweerde, Axel ; Lamsweerde, Axel van , 2009
Exemplare:  Zentrale:E02 a inf 321 uml/027; TB BHV: com 423/20
 
?
11

Practical UML statecharts in C/C++ 

event-driven programming for embedded systems ; [focuses on... 
Samek, Miro - 2. ed. . , 2009
Exemplar:  Zentrale:E02 a inf 311 ezs/322(2)
 
?
12

Model-driven testing 

using the UML testing profile ; with 4 tables 
Baker, Paul , 2008
Exemplar:  Zentrale:E02 a inf 322 tst/523
 
?
13

SysML for systems engineering 

Professional applications of computing series ; 7
Holt, Jon ; Perry, Simon , 2008
Exemplar:  Zentrale:E02 a inf 321 uml/549
 
?
14

Real time UML 

advances in the UML for real-time systems ; [covers UML 2.0  The Addison-Wesley object technology series
Douglass, Bruce Powel - 3. ed., [Nachdr.] . , 2007
Exemplar:  Zentrale:E02 a inf 321 uml/680(3)
 
?
15

Real-time UML workshop for embedded systems 

Embedded technology series
Douglass, Bruce Powel , 2007
Exemplar:  Zentrale: hs 6153
 
1-15