NTU Trường Đại học Nha Trang
Bộ GD&ĐT
Tra cứu văn bằng
E-Learning
E-Office
Computer Science research and development , Tập 28, Số 1, 2013
Mục lục:
DòngNội dung
1Editorial / Gregor Engels, Markus Luckey
2Modeling and verifying dynamic communication structures based on graph transformations / Tobias Eckardt, Christian Heinzemann, Stefan Henkler · Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer
3Objective evaluation of software architectures in driver assistance systems / Dirk Ahrens, Andreas Frey, Andreas Pfeiffer, Torsten Bertram
4Formal semantics of modular time refinement in AutoFocus / David Trachtenherz
5Model-driven software migration into service-oriented architectures / Andreas Fuhr, Tassilo Horn,. Volker Riediger, Andreas Winter
6Composing user-specific web applications from distributed plug-ins / Markus Jahn, Reinhard Wolfinger, Markus Löberbauer · Hanspeter Mössenböck