( en | de | ru )

 

Disambiguation of "Küster, Jochen Malte"

Author of the publication

copydeleteadd this publication to your clipboard
The Role of Visual Modeling and Model Transformations in Business-driven Development.

, , , , , and . GT-VMT@ETAPS, volume 211 of Electronic Notes in Theoretical Computer Science, page 5-15. Elsevier, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jochen Küster

Jürgen Malte Küster

Eberhard Küster

Gertrud Küster

Robert Küster

 

Other publications of authors with the same name

Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model, , and . Proc. Int'l Conf. UML - The Unified Modeling Language, 2185, Toronto, Canada.(October 2001)Confluence of Typed Attributed Graph Transformation Systems, , and . 2505, page 161--176. (2002)Generating instance models from meta models., , and . Softw. Syst. Model., 8 (4): 479-500 (2009)A case study on consistency management of business and IT process models in banking., , , , and . Softw. Syst. Model., 13 (3): 913-940 (2014)Generating Instance Models from Meta Models, , and . Software and System Modeling, 8 (4): 479-500 (2009)The Role of Visual Modeling and Model Transformations in Business-driven Development., , , , , and . GT-VMT@ETAPS, volume 211 of Electronic Notes in Theoretical Computer Science, page 5-15. Elsevier, (2006)Agent-Oriented Modeling with Graph Transformation., , and . AOSE, volume 1957 of Lecture Notes in Computer Science, page 105-120. Springer, (2000)Model-Based Verification and Validation of Properties, , , and . Electr. Notes Theor. Comput. Sci., (2003)MR: UML-Modell (On the high level, our system model is composed of use case diagrams and sequence diagrams describing the interaction of the system with users of the system. On the low level, it is composed of class diagrams, statecharts and activity diagrams.) wird durch Grapftransformationen in eine formale Sprache (CSP) überführt und mit einem Model-Checker validiert und in ein Testmodell überführt..Identifying Semantic Dimensions of (UML) Sequence Diagrams., , and . pUML, volume P-7 of LNI, page 142-157. GI, (2001)A Java-Based Framework for Case Management Applications., and . BPM Forum, volume 360 of Lecture Notes in Business Information Processing, page 107-124. Springer, (2019)