-
1
-
-
79951662439
-
-
Advances in Artificial Life, Proceedings of the 9th European Conference on Artificial Live, ECAL 2007, Lisbon, Portugal, Springer Berlin / Heidelberg
-
Advances in Artificial Life, Proceedings of the 9th European Conference on Artificial Live, ECAL 2007, Lisbon, Portugal, volume 4648 of Lecture Notes in Computer Science. Springer Berlin / Heidelberg, 2007.
-
(2007)
Lecture Notes in Computer Science
, vol.4648
-
-
-
2
-
-
0003492070
-
-
Oxford University Press,l Inc., New York, NY, USA
-
E. Bonabeau, M. Dorigo, and G. Theraulaz. Swarm intelligence: from natural to artificial systems. Oxford University Press, Inc., New York, NY, USA, 1999.
-
(1999)
Swarm Intelligence: From Natural to Artificial Systems
-
-
Bonabeau, E.1
Dorigo, M.2
Theraulaz, G.3
-
3
-
-
34548737624
-
Tool support for developing advanced mechatronic systems: Integrating the fujaba real-time tool suite with CAMeL-view
-
DOI 10.1109/ICSE.2007.88, 4222651, Proceedings - 29th International Conference on Software Engineering, ICSE 2007
-
S. Burmester, H. Giese, S. Henkler, M. Hirsch, M. Tichy, A. Gambuzza, E. Müch, and H. Vöcking. Tool support for developing advanced mechatronic systems: Integrating the fujaba real-time tool suite with camel-view. In Proc. of the 29th International Conference on Software Engineering (ICSE), Minneapolis, Minnesota, USA, pages 801-804. IEEE Computer Society Press, May 2007. (Pubitemid 47430724)
-
(2007)
Proceedings - International Conference on Software Engineering
, pp. 801-804
-
-
Burmester, S.1
Giese, H.2
Henkler, S.3
Hirsch, M.4
Tichy, M.5
Gambuzza, A.6
Munch, E.7
Vocking, H.8
-
4
-
-
34548737624
-
Tool support for developing advanced mechatronic systems: Integrating the fujaba real-time tool suite with CAMeL-view
-
DOI 10.1109/ICSE.2007.88, 4222651, Proceedings - 29th International Conference on Software Engineering, ICSE 2007
-
S. Burmester, H. Giese, S. Henkler, M. Hirsch, M. Tichy, A. Gambuzza, E. Münch, and H. Vöcking. Tool support for developing advanced mechatronic systems: Integrating the fujaba real-time tool suite with camel-view. In Proc. of the 29th International Conference on Software Engineering (ICSE), Minneapolis, Minnesota, USA, pages 801-804. IEEE Computer Society Press, May 2007. (Pubitemid 47430724)
-
(2007)
Proceedings - International Conference on Software Engineering
, pp. 801-804
-
-
Burmester, S.1
Giese, H.2
Henkler, S.3
Hirsch, M.4
Tichy, M.5
Gambuzza, A.6
Munch, E.7
Vocking, H.8
-
5
-
-
70350033987
-
Software engineering for self-adaptive systems [outcome of a Dagstuhl Seminar]
-
Springer
-
B. H. C. Cheng, R. de Lemos, H. Giese, P. Inverardi, and J. Magee, editors. Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], volume 5525 of Lecture Notes in Computer Science. Springer, 2009.
-
(2009)
Lecture Notes in Computer Science
, vol.5525
-
-
Cheng, B.H.C.1
De Lemos, R.2
Giese, H.3
Inverardi, P.4
Magee, J.5
-
6
-
-
34248326773
-
-
Software Engineering Institute Carnegie Mellon, June
-
P. Feiler, R. P. Gabriel, J. Goodenough, R. Linger, T. Longstaff, R. Kazman, M. Klein, L. Northrop, D. Schmidt, K. Sullivan, and K. Wallnau. Ultra-Large-Scale Systems: The Software Challenge of the Future. Software Engineering Institute, Carnegie Mellon, June 2006.
-
(2006)
Ultra-Large-Scale Systems: The Software Challenge of the Future
-
-
Feiler, P.1
Gabriel, R.P.2
Goodenough, J.3
Linger, R.4
Longstaff, T.5
Kazman, R.6
Klein, M.7
Northrop, L.8
Schmidt, D.9
Sullivan, K.10
Wallnau, K.11
-
7
-
-
0141426684
-
Self-organising software architectures for distributed systems
-
New York, NY, USA. ACM
-
I. Georgiadis, J. Magee, and J. Kramer. Self-organising software architectures for distributed systems. In WOSS '02: Proceedings of the first workshop on Self-healing systems, pages 33-38, New York, NY, USA, 2002. ACM.
-
(2002)
WOSS '02: Proceedings of the First Workshop on Self-healing Systems
, pp. 33-38
-
-
Georgiadis, I.1
Magee, J.2
Kramer, J.3
-
8
-
-
20344399183
-
Modular design and verification of component-based mechatronic systems with online-reconfiguration
-
Twelfth ACM SIGSOFT International Symposium on the Foundations of Software Engineering, SIGSOFT 2004/FSE-12
-
H. Giese, S. Burmester, W. Schäfer, and O. Oberschelp. Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration. In Proceedings of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA, pages 179-188. ACM Press, November 2004. (Pubitemid 40787580)
-
(2004)
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
, pp. 179-188
-
-
Giese, H.1
Burmester, S.2
Schafer, W.3
Oberschelp, O.4
-
9
-
-
77954702014
-
Modeling techniques for software-intensive systems
-
Langston University, OK
-
H. Giese, S. Henkler, M. Hirsch, V. Roubin, and M. Tichy. Modeling techniques for software-intensive systems. In Designing Software-Intensive Systems: Methods and Principles. Langston University, OK, 2008.
-
(2008)
Designing Software-Intensive Systems: Methods and Principles
-
-
Giese, H.1
Henkler, S.2
Hirsch, M.3
Roubin, V.4
Tichy, M.5
-
10
-
-
35148889990
-
Towards the compositional verification of real-time UML designs
-
ACM Press, September
-
H. Giese, M. Tichy, S. Burmester, W. Schäfer, and S. Flake. Towards the Compositional Verification of Real-Time UML Designs. In Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering (ESEC/FSE-11), pages 38-47. ACM Press, September 2003.
-
(2003)
Proceedings of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE-11)
, pp. 38-47
-
-
Giese, H.1
Tichy, M.2
Burmester, S.3
Schäfer, W.4
Flake, S.5
-
11
-
-
79951619765
-
Organization and control of autonomous railway convoys
-
Kobe, Japan
-
C. Henke, M. Tichy, T. Schneider, J. Böcker, and W. Schäfer. Organization and control of autonomous railway convoys. In Proceedings of the 9th International Symposium on Advanced Vehicle Control, Kobe, Japan, 2008.
-
(2008)
Proceedings of the 9th International Symposium on Advanced Vehicle Control
-
-
Henke, C.1
Tichy, M.2
Schneider, T.3
Böcker, J.4
Schäfer, W.5
-
12
-
-
79951587613
-
Modeling and verifying dynamic communication structures based on graph transformations
-
G. Engels, M. Luckey, and W. Schäfer, editors, Software Engineering 2010 - Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26.2.2010 in Paderborn. GI
-
S. Henkler, M. Hirsch, C. Priesterjahn, and W. Schäfer. Modeling and verifying dynamic communication structures based on graph transformations. In G. Engels, M. Luckey, and W. Schäfer, editors, Software Engineering 2010 - Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26.2.2010 in Paderborn, volume 159 of LNI, pages 153-164. GI, 2010.
-
(2010)
LNI
, vol.159
, pp. 153-164
-
-
Henkler, S.1
Hirsch, M.2
Priesterjahn, C.3
Schäfer, W.4
-
13
-
-
34748879678
-
Self-managed systems: An architectural challenge
-
DOI 10.1109/FOSE.2007.19, 4221625, FoSE 2007: Future of Software Engineering
-
J. Kramer and J. Magee. Self-managed systems: an architectural challenge. In L. C. Briand and A. L. Wolf, editors, Workshop on the Future of Software Engineering, FOSE 2007, May 23-25, 2007, Minneapolis, MN, USA, pages 259-268, 2007. (Pubitemid 47484930)
-
(2007)
FoSE 2007: Future of Software Engineering
, pp. 259-268
-
-
Kramer, J.1
Magee, J.2
-
14
-
-
58149099095
-
Hybrid planning and hierarchical optimization of mechatronic systems
-
Seoul, Korea, 14-17 Oct.
-
E. Münch, P. Adelt, M. Krüger, B. Kleinjohann, and A. Trächtler. Hybrid planning and hierarchical optimization of mechatronic systems. In Proceedings of the International Conference on Control, Automation and Systems (ICCAS), Seoul, Korea, 14 - 17 Oct. 2008.
-
(2008)
Proceedings of the International Conference on Control, Automation and Systems (ICCAS)
-
-
Münch, E.1
Adelt, P.2
Krüger, M.3
Kleinjohann, B.4
Trächtler, A.5
-
15
-
-
71049190955
-
A universal self-organization mechanism for role-based organic computing systems
-
Berlin, Heidelberg. Springer-Verlag
-
F. Nafz, F. Ortmeier, H. Seebach, J.-P. Steghöfer, and W. Reif. A universal self-organization mechanism for role-based organic computing systems. In ATC '09: Proceedings of the 6th International Conference on Autonomic and Trusted Computing, pages 17-31, Berlin, Heidelberg, 2009. Springer-Verlag.
-
(2009)
ATC '09: Proceedings of the 6th International Conference on Autonomic and Trusted Computing
, pp. 17-31
-
-
Nafz, F.1
Ortmeier, F.2
Seebach, H.3
Steghöfer, J.-P.4
Reif, W.5
-
16
-
-
55849098077
-
A journey to highly dynamic, self-adaptive service-based applications
-
E. D. Nitto, C. Ghezzi, A. Metzger, M. P. Papazoglou, and K. Pohl. A journey to highly dynamic, self-adaptive service-based applications. Autom. Softw. Eng., 15(3-4):313-341, 2008.
-
(2008)
Autom. Softw. Eng.
, vol.15
, Issue.3-4
, pp. 313-341
-
-
Nitto, E.D.1
Ghezzi, C.2
Metzger, A.3
Papazoglou, M.P.4
Pohl, K.5
-
17
-
-
78649506262
-
Fujaba4eclipse real-time tool suite
-
LNCS, Springer. to appear
-
C. Priesterjahn, M. Tichy, S. Henkler, M. Hirsch, and W. Schäfer. Fujaba4eclipse Real-Time Tool Suite. In Model-Based Engineering of Embedded Real-Time Systems (MBEERTS), LNCS, pages 1-7. Springer, 2009. to appear.
-
(2009)
Model-Based Engineering of Embedded Real-Time Systems (MBEERTS)
, pp. 1-7
-
-
Priesterjahn, C.1
Tichy, M.2
Henkler, S.3
Hirsch, M.4
Schäfer, W.5
-
19
-
-
34748847108
-
The challenges of building advanced mechatronic systems
-
DOI 10.1109/FOSE.2007.28, 4221613, FoSE 2007: Future of Software Engineering
-
W. Schäfer and H. Wehrheim. The challenges of building advanced mechatronic systems. In Workshop on the Future of Software Engineering, FOSE 2007, May 23-25, 2007, Minneapolis, MN, USA, pages 72-84. IEEE Computer Society, 2007. (Pubitemid 47484918)
-
(2007)
FoSE 2007: Future of Software Engineering
, pp. 72-84
-
-
Schafer, W.1
Wehrheim, H.2
-
20
-
-
79951664990
-
Safety security and quality
-
J. Sifakis. Safety, security and quality. ACM Comput. Surv., page 124, 1996.
-
(1996)
ACM Comput. Surv.
, pp. 124
-
-
Sifakis, J.1
|