Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCBSE 2013: Vancouver, BC, Canada
- Philippe Kruchten, Dimitra Giannakopoulou, Massimo Tivoli:
CBSE'13, Proceedings of the 16th ACM SIGSOFT Symposium on Component Based Software Engineering, part of Comparch '13, Vancouver, BC, Canada, June 17-21, 2013. ACM 2013, ISBN 978-1-4503-2122-8
Keynote
- Peter Danielson:
Ethics outside the box: empirical tools for an ethics of artificial agents. 1-2
Adaptable components
- Christian Heinzemann, Steffen Becker:
Executing reconfigurations in hierarchical component architectures. 3-12 - Hang Yin, Hongwan Qin, Jan Carlson
, Hans Hansson:
Mode switch handling for the ProCom component model. 13-22 - Gilles Vanwormhoudt, Areski Flissi:
CIAO: a component model and its OSGi framework for dynamically adaptable telephony applications. 23-32
Component verification
- Kenneth Johnson, Radu Calinescu, Shinji Kikuchi:
An incremental verification framework for component-based software systems. 33-42 - Jiri Barnat, Nikola Benes, Ivana Cerná, Zuzana Petruchová:
DCCL: verification of component systems with ensembles. 43-52 - Eden Burton, Emil Sekerinski:
Correctness of intrusive data structures using mixins. 53-58
Dependable & reusable components
- Quentin Enard, Miruna Stoicescu, Emilie Balland, Charles Consel, Laurence Duchien, Jean-Charles Fabre, Matthieu Roy:
Design-driven development methodology for resilient computing. 59-64 - Sanchit Karve, Christopher Scaffidi:
Towards mining informal online data to guide component-reuse decisions. 65-74 - Widura Schwittek, Stefan Eicker:
A study on third party component reuse in Java enterprise open source software. 75-80
Component design
- Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil:
DEECO: an ensemble-based component system. 81-90 - Jaroslav Keznikl, Tomás Bures, Frantisek Plásil, Ilias Gerostathopoulos, Petr Hnetynka, Nicklas Hoch:
Design of ensemble-based component systems by invariant refinement. 91-100 - Nima Jafroodi, Peter Grogono:
Implementing generalized alternative construct for erasmus language. 101-110
Component analysis
- Stephan Windmüller, Johannes Neubauer, Bernhard Steffen, Falk Howar, Oliver Bauer:
Active continuous quality control. 111-120 - Iman I. Yusuf, Heinz W. Schmidt:
Parameterised architectural patterns for providing cloud service fault tolerance with accurate costings. 121-130 - Pietro Abate, Johannes Schauer:
Bootstrapping software distributions. 131-142
Surveys & applications
- Marie Christin Platenius, Markus von Detten, Steffen Becker, Wilhelm Schäfer, Gregor Engels:
A survey of fuzzy service matching approaches in the context of on-the-fly computing. 143-152 - Rémi Druilhe, Matthieu Anne, Jacques Pulou, Laurence Duchien, Lionel Seinturier:
Components mobility for energy efficiency of digital home. 153-158 - Ian Gorton, Yan Liu, Carina Lansing, Todd Elsethagen, Kerstin Kleese van Dam:
Build less code deliver more science: an experience report on composing scientific environments using component-based and commodity software platforms. 159-168
Component quality assurance
- Luka Lednicki, Jan Carlson, Kristian Sandström:
Model level worst-case execution time analysis for IEC 61499. 169-178 - Federico Ciccozzi, Mehrdad Saadatmand, Antonio Cicchetti, Mikael Sjödin:
An automated round-trip support towards deployment assessment in component-based embedded systems. 179-188
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-17 20:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
