Zobrazeno 1 - 10
of 10
pro vyhledávání: '"František Plášil"'
Autor:
Tomáš Bureš, Petr Hnětynka, Martin Kruliš, František Plášil, Danylo Khalyeyev, Sebastian Hahner, Stephan Seifermann, Maximilian Walter, Robert Heinrich
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning ISBN: 9783031197581
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d3299b4df0c9d4ab18636b25213818d4
https://doi.org/10.1007/978-3-031-19759-8_14
https://doi.org/10.1007/978-3-031-19759-8_14
Publikováno v:
The Common Component Modeling Example ISBN: 9783540852889
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e9b519db2677f8f31e08afc36055766e
https://doi.org/10.1007/978-3-540-85289-6_1
https://doi.org/10.1007/978-3-540-85289-6_1
The 2010 Symposium on Component-Based Software Engineering (CBSE 2010) was the 13th in a series of successful events that have grown into the main forum for industrial and academic experts to discuss component technology. CBSE is concerned with the d
Publikováno v:
IEEE Access, Vol 9, Pp 58079-58087 (2021)
As modern software-intensive systems become larger, more complex, and more customizable, it is desirable to optimize their functionality by runtime adaptations. However, in most cases it is infeasible to fully model and predict their behavior in adva
Externí odkaz:
https://doaj.org/article/bb4fcc50d14e45abaf23b2ffe643b0e0
Models are used in all kinds of engineering disciplines to abstract from the various details of the modelled entity in order to focus on a speci?c aspect. Like a blueprint in civil engineering, a software architecture providesan abstraction from the
This volume defines a common example for modelling approaches of component based systems. It is based on the Dagstuhl research seminar CoCoME (Common Component Modelling Example), which was held from August 1-3, 2007, at Schloss Dagstuhl, Germany. Th
Autor:
Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, František Plášil
This book constitutes the refereed proceedings of the 33rd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2007, held in Harrachov, Czech Republic in January 2007. The 69 revised full papers, presented together with 11
Autor:
William I. Grosky, Frantisek Plasil
Forthe29thtime,SOFSEM(SOFtwareSEMinar)washeld.Havingtransformed over the years from a local event to a fully international conference, the c- temporary SOFSEM is a mix of a winter school and a conference striving for multidisciplinarity in computer s
Autor:
Ivan Lanese
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540695066
SOFSEM (1)
SOFSEM (1)
We present two novel semantics for i¾?-calculus. The first allows one to observe on which channel a synchronization is performed, while the second allows concurrent actions, provided that they do not compete for resources. We present both a reductio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b93441593a1ff7c162a97d180cc27d08
http://hdl.handle.net/11585/104488
http://hdl.handle.net/11585/104488