Found 298 results
Filters: First Letter Of Last Name is B [Clear All Filters]
Automating Product Derivation in Software Product Line Engineering. Software Engineering 2009 (SE09)Software Engineering 2009 (SE09).
.
2009. A Design of a Configurable Feature Model Configurator. Proceedings of the 3rd International Workshop on Variability Modelling of Software-Intensive Systems (VAMOS 2009).
.
2009. Visual Tool Support for Configuring and Understanding Software Product Lines. 12th International Software Product Line Conference (SPLC 2008)12th International Software Product Line Conference (SPLC 2008).
.
2008. Interactive Techniques to Support the Configuration of Complex Feature Models. 1st International Workshop on Model-Driven Product Line Engineering (MDPLE 2009).
.
2009. Feature Dependencies have to be Managed Throughout the Whole Product Life-cycle. Workshop Produkt-Variabilität im Gesamten Lebenszyklus (PVLZ 2009).
.
2009. Interactive Configuration of Embedded Systems Product Lines. International Workshop on Model-driven Approaches in Product Line Engineering (MAPLE 2009).
.
2009. Modeling Directly Executable Processes for Healthcare Professionals with XMDD. Service Business Model Innovation in Healthcare and Hospital Management: Models, Strategies, ToolsService Business Model Innovation in Healthcare and Hospital Management: Models, Strategies, Tools.
.
2017. A fully model-based approach to the design of the SEcube: community web app. 2017 12th International Conference on Design Technology of Integrated Systems In Nanoscale Era (DTIS).
.
2017. RCoSE '18: Proceedings of the 4th International Workshop on Rapid Continuous Software Engineering. 4th International Workshop on Rapid Continuous Software Engineering.
.
2018. Evolving Classification Models for Prediction of Patient Recruitment in Multicentre Clinical Trials Using Grammatical Evolution. Applications of Evolutionary Computation: 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 – April 1, 2016, Proceedings, Part IApplications of Evolutionary Computation: 19th European Conference, EvoApplications 2016, Porto, Port.
.
2016. .
2017. Learning to Adapt Requirements Specifications of Evolving Systems. ICSE 2011: New Ideas and Emerging Results TrackICSE 2011: New Ideas and Emerging Results Track.
.
2011. Knowledge Compilation with Empowerment. 38th International Conference on Current Trends in Theory and Practice of Computer Science38th International Conference on Current Trends in Theory and Practice of Computer Science.
.
2012. On Unit-Refutation Complete Formulae with Existentially Quantified Variables. 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012)13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012).
.
2012. Compositional Verification of Self-Adaptive Cyber-Physical Systems. 13th ACM/IEEE International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
.
2018. Self-Adaptive Automata . 6th IEEE/ACM International FME Symposium on Formal Methods in Software Engineering, FormaliSE@ICSE .
.
2018. Compositional Verification of Self-Adaptive Cyber-Physical Systems. 13th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE .
.
2018. Towards Automated Surgical Robotics: A Requirements Engineering Approach. Proceedings of the 4th International Conference on Biomedical Robotics and BiomechatronicsProceedings of the 4th International Conference on Biomedical Robotics and Biomechatronics.
.
2012. Improving Digitization of Urban Mobility Services with Enterprise Architecture. Digital Transformation in Norwegian Enterprises. :135–150.
.
2022. How Time Changes Human Resource's View on Social Networking Sites as a Recruiting tool in the Czech Republic. System Approaches.
.
2017. EARTH COURSE: A PRIMARY SCHOOL LARGE-SCALE PILOT ON STEM EDUCATION. EDULEARN18 Proceedings.
.
2018. Water Cycle in Nature: Small-Scale STEM Education Pilot. Proceedings of EdMedia + Innovate Learning 2018.
.
2018. .
2004. The Capability Maturity Model (SW and Integrated) Tailored in Small Indigenous Software Industries. International Research Workshop for Process Improvement in Small Settings.
.
2005. Formal Versus Agile: Survival of the Fittest. IEEE Computer. 42
.
2009.