Segui
Wilhelm Schaefer
Wilhelm Schaefer
Professor für Informatik Universität Paderborn
Email verificata su upb.de
Titolo
Citata da
Citata da
Anno
Software engineering for self-adaptive systems: A second research roadmap
R De Lemos, H Giese, HA Müller, M Shaw, J Andersson, M Litoiu, ...
Software Engineering for Self-Adaptive Systems II: International Seminar …, 2013
23972013
Ecology and palaeoecology of marine environments
W Schäfer, I Oertel, GY Craig
(No Title), 1972
12151972
Towards pattern-based design recovery
J Niere, W Schäfer, JP Wadsack, L Wendehals, J Welsh
Proceedings of the 24th international conference on Software engineering …, 2002
3452002
Towards the compositional verification of real-time uml designs
H Giese, M Tichy, S Burmester, W Schäfer, S Flake
Proceedings of the 9th European software engineering conference held jointly …, 2003
2262003
Process mining framework for software processes
V Rubin, CW Günther, WMP Van Der Aalst, E Kindler, BF Van Dongen, ...
Software Process Dynamics and Agility: International Conference on Software …, 2007
2202007
MERLIN: Supporting cooperation in software development through a knowledge-based environment
G Junkermann, B Peuschel, W Schäfer, S Wolf
Universitätsbibliothek Dortmund, 2002
1792002
The challenges of building advanced mechatronic systems
W Schafer, H Wehrheim
Future of Software Engineering (FOSE'07), 72-84, 2007
1522007
Building integrated software development environments. Part I: tool specification
G Engels, C Lewerentz, M Nagl, W Schäfer, A Schürr
ACM Transactions on Software Engineering and Methodology (TOSEM) 1 (2), 135-167, 1992
1351992
Concepts and implementation of a rule-based process engine
B Peuschel, W Schäfer
Proceedings of the 14th international conference on Software engineering …, 1992
1301992
Software reusability
W Schäfer, R Prieto-Díaz, M Matsumoto
Ellis Horwood, 1993
1281993
A knowledge-based software development environment supporting cooperative work
B Peuschel, W Schafer, S Wolf
International Journal of Software Engineering and Knowledge Engineering 2 …, 1992
1271992
Towards practical runtime verification and validation of self-adaptive software systems
G Tamura, NM Villegas, HA Müller, JP Sousa, B Becker, G Karsai, ...
Software Engineering for Self-Adaptive Systems II: International Seminar …, 2013
1252013
Modular design and verification of component-based mechatronic systems with online-reconfiguration
H Giese, S Burmester, W Schäfer, O Oberschelp
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on …, 2004
1152004
Prism= methodology+ process-oriented environment
NH Madhavji, V Gruhn, W Deiters, W Schafer
[1990] Proceedings. 12th International Conference on Software Engineering …, 1990
1111990
Design methodology for intelligent technical systems
J Gausemeier, FJ Rammig, W Schäfer
Lecture Notes in Mechanical Engineering. Springer 1 (2), 3, 2014
1092014
Form und funktion der brachyuren-schere
W Schafer
Abh. Senkenb. Natruf. Ges. 489, 1, 1954
1061954
Towards verified model transformations
H Giese, S Glesner, J Leitner, W Schäfer, R Wagner
Proc. of the 3rd International Workshop on Model Development, Validation and …, 2006
982006
A survey of triple graph grammar tools
S Hildebrandt, L Lambers, H Giese, J Rieke, J Greenyer, W Schäfer, ...
Electronic Communications of the EASST 57, 2013
812013
Model-driven architecture for hard real-time systems: From platform independent models to code
S Burmester, H Giese, W Schäfer
Model Driven Architecture–Foundations and Applications: First European …, 2005
792005
Management of cross-domain model consistency during the development of advanced mechatronic systems
J Gausemeier, W Schäfer, J Greenyer, S Kahl, S Pook, J Rieke
DS 58-6: Proceedings of ICED 09, the 17th International Conference on …, 2009
782009
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20