Urmăriți
Wilhelm Schaefer
Wilhelm Schaefer
Professor für Informatik Universität Paderborn
Adresă de e-mail confirmată pe upb.de
Titlu
Citat de
Citat de
Anul
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
23282013
Ecology and palaeoecology of marine environments
W Schäfer, I Oertel, GY Craig
(No Title), 1972
11951972
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
3442002
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
2252003
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
2092007
MERLIN: Supporting cooperation in software development through a knowledge-based environment
G Junkermann, B Peuschel, W Schäfer, S Wolf
Universitätsbibliothek Dortmund, 2002
1762002
The challenges of building advanced mechatronic systems
W Schafer, H Wehrheim
Future of Software Engineering (FOSE'07), 72-84, 2007
1492007
The challenges of building advanced mechatronic systems
W Schafer, H Wehrheim
Future of Software Engineering (FOSE'07), 72-84, 2007
1492007
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
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
1232013
Software reusability
W Schäfer, R Prieto-Díaz, M Matsumoto
Ellis Horwood, 1993
1231993
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
1142004
Prism= methodology+ process-oriented environment
NH Madhavji, V Gruhn, W Deiters, W Schafer
[1990] Proceedings. 12th International Conference on Software Engineering …, 1990
1091990
Design methodology for intelligent technical systems
J Gausemeier, FJ Rammig, W Schäfer
Lecture Notes in Mechanical Engineering. Springer 1 (2), 3, 2014
1062014
Form und funktion der brachyuren-schere
W Schafer
Abh. Senkenb. Natruf. Ges. 489, 1, 1954
1051954
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
962006
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
792013
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
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20