Found 3401 results
Generating Counterexamples for Model Checking by Transformation. {\rm Proceedings of the Fourth International Workshop on} Verification and Program Transformation, {\rm Eindhoven, The Netherlands, 2nd April 2016}.
.
2016. .
2016. GeNePi: a Multi-Objective Machine Reassignment Algorithm for Data Centres. 9th International Workshop on Hybrid Metaheuristics.
.
2014. A GA-Inspired Approach to the Reduction of Edge Crossings in Force-Directed Layouts. Proceedings of the 2016 on Genetic and Evolutionary Computation Conference Companion.
.
2016. .
2022. .
2019. A Framework for the Analysis of Coordination in Global Software Development. International Workshop on Global Software Development for the Practitioner (GSD’06).
.
2006. A Framework for considering Opportunities and Threats in Distributed Software Development. In Proceedings of the International Workshop on Distributed Software Engineering (DiSD).
.
2005. Foundations of Semantics and Model Checking in a Software Engineering Course. First Workshop on Formal Methods in Software Engineering Education and Training (FMSEE&T '15), co-located with 20th International Symposium on Formal Methods (FM 2015).
.
2015. A Formal Semantics for Decision-oriented Variability Modeling with DOPLER. Proceedings of the 4th International Workshop on Variability Modelling of Software-Intensive Systems VAMOS 2010.
.
2010. A Formal Approach to Reuse Successful Traceability Practices in SPL Projects. 25th Symposium On Applied Computing (SAC 2010).
.
2010. FLINTS: A Tool for Architectural-level Modeling of Features in Software Systems. Proccedings of the 10th European Conference on Software Architecture Workshops.
.
2016. .
2021. Feature-Oriented Reflexion Modelling. 2nd Workshop on Software Architecture Erosion and Architectural Consistency (SAEroCon 2015)..
.
2015. Feature Dependencies have to be Managed Throughout the Whole Product Life-cycle. Workshop Produkt-Variabilität im Gesamten Lebenszyklus (PVLZ 2009).
.
2009. FacetS: First Class Entities for an Open Dynamic AOP Language. Proceedings of the Open and Dynamic Aspect Languages Workshop.
.
2006. Extracting Component-oriented Behavior for Self-healing Enabling. Proceedings of the 7th IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe’10).
.
2010. An Extensible Monitoring and Adaptation Framework.. In Proceedings of ICSOC/ServiceWave’09 – 2nd Workshop on Monitoring, Adaptation and Beyond (MONA+).
.
2009. Extended No Reference Objective Quality Metric for Stereoscopic 3D Video. IEEE International Conf. on Communications Workshop (ICCW).
.
2015. Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework. Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development.
.
2016. Exploring position independent initialisation in grammatical evolution. 2016 IEEE Congress on Evolutionary Computation (CEC).
.
2016. Exploiting Hyper-Loop Parallelism in Vectorization to Improve Memory Performance on CUDA GPGPU. Trustcom/BigDataSE/ISPA, 2015 IEEE.
.
2015. An Experiential Report on the Limitations of Experimentation as a Means of Empirical Investigation. Proceedings of 19th Annual Psychology of Programming Workshop (PPIG 07).
.
2007. Experiences of Applying Model-based Analysis to Support the Development of Automotive Software Product Lines. Proceedings of the 5th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2011).
.
2011. Experiences in Conducting a Product Line Situation Analysis at Bosch. Automotive Report.
.
2006.