Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Generative and Transformational Techniques in Software Engineering II, p.408-424
Link zum Volltext



Software and systems modeling, 2020, Vol.19 (1), p.39-65
2020
Link zum Volltext


Software and systems modeling, 2010, Vol.9 (1), p.7-20
2010
Link zum Volltext




Software Foundations for Data Interoperability, p.3-12
Link zum Volltext


Software and systems modeling, 2013-02, Vol.12 (1), p.175-199
2013
Link zum Volltext

Fundamental Approaches to Software Engineering, p.32-46
Link zum Volltext

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, p.28-34
Link zum Volltext

Leveraging Applications of Formal Methods, Verification and Validation, p.357-377
Link zum Volltext

Model Driven Engineering Languages and Systems, 2007, p.1-15
2007
Link zum Volltext

Computer science education, 2018-01, Vol.28 (1), p.5-22
2018
Link zum Volltext

Foreword
Theoretical computer science, 2018-09, Vol.741, p.1-2
2018
Link zum Volltext

Editorial
Formal aspects of computing, 2018-01, Vol.30 (1), p.1-1
2018
Link zum Volltext

Editorial
Formal aspects of computing, 2018, Vol.30 (1), p.1-1
2018
Link zum Volltext

Editorial
Formal aspects of computing, 2018-01, Vol.30 (1), p.1-1
2018
Link zum Volltext

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2017, p.1-11
2017
Link zum Volltext

Fundamental Approaches to Software Engineering, p.282-296
Link zum Volltext

Software and systems modeling, 2015-10, Vol.14 (4), p.1321-1322
2015
Link zum Volltext

Graph Transformations, p.1-17
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n