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...

Safer Refactorings
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, p.517-531
Link zum Volltext

Computational Science and Its Applications – ICCSA 2019, p.544-559
Link zum Volltext

Computational Science and Its Applications – ICCSA 2021, p.336-352
Link zum Volltext

SOFSEM 2020: Theory and Practice of Computer Science, p.467-478
Link zum Volltext


Does Refactoring Improve Reusability?
Lecture notes in computer science, 2006, p.287-297
2006
Link zum Volltext

Open Access
Generic Model Refactorings
Model Driven Engineering Languages and Systems, 2009, p.628-643
2009
Link zum Volltext


Service-Oriented Computing – ICSOC 2019 Workshops, p.17-29
Link zum Volltext

Refactoring Proofs with Tactician
Software Engineering and Formal Methods, p.53-67
Link zum Volltext



Model Driven Engineering Languages and Systems, 2005, p.280-294
2005
Link zum Volltext

High Performance Computing and Communications, 2006, p.220-229
2006
Link zum Volltext





ECOOP 2011 – Object-Oriented Programming, p.255-280
Link zum Volltext



Refactoring UML Models
Lecture notes in computer science, 2001, p.134-148
2001
Link zum Volltext

Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology – ISAT 2017, p.39-48
Link zum Volltext

Programming Languages and Systems, p.644-671
Link zum Volltext
Aktive Filter
PublikationsformBuchkapitel
KollektionSpringer Book Series
SpracheEnglisch
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt