Teaching Programming and Design-by-Contract

This paper summarizes the experience of teaching an introductory course to programming by using a correctness by construction approach at Innopolis University, Russian Federation. In this paper we claim that division in beginner and advanced groups improves the learning outcomes, present the discussion and the data that support the claim.Comment: 21th International Conference on Interactive Collaborative Learnin

A Framework For Dynamic Updating In Component-based Software Systems

Setiap sistem perisian (software) perlu dikemas kini setiap masa bagi pelbagai alasan seperti penetapan pepijat (fixing bugs) Every software system needs to be updated over time for different reasons such as fixing bugs, upgrading its components, or adapting the system in response to its environment's changes

Size Matters: Microservices Research and Applications

In this chapter we offer an overview of microservices providing the introductory information that a reader should know before continuing reading this book. We introduce the idea of microservices and we discuss some of the current research challenges and real-life software applications where the microservice paradigm play a key role. We have identified a set of areas where both researcher and developer can propose new ideas and technical solutions.Comment: arXiv admin note: text overlap with arXiv:1706.0735

Robotics Software Engineering: A Perspective from the Service Robotics Domain

Robots that support humans by performing useful tasks (a.k.a., service robots) are booming worldwide. In contrast to industrial robots, the development of service robots comes with severe software engineering challenges, since they require high levels of robustness and autonomy to operate in highly heterogeneous environments. As a domain with critical safety implications, service robotics faces a need for sound software development practices. In this paper, we present the first large-scale empirical study to assess the state of the art and practice of robotics software engineering. We conducted 18 semi-structured interviews with industrial practitioners working in 15 companies from 9 different countries and a survey with 156 respondents (from 26 countries) from the robotics domain. Our results provide a comprehensive picture of (i) the practices applied by robotics industrial and academic practitioners, including processes, paradigms, languages, tools, frameworks, and reuse practices, (ii) the distinguishing characteristics of robotics software engineering, and (iii) recurrent challenges usually faced, together with adopted solutions. The paper concludes by discussing observations, derived hypotheses, and proposed actions for researchers and practitioners.Comment: 11 pages + 1 page for references, 3 figures, 3 tables, in proceedings of ESEC/FSE 202

On the Industrial Adoption of Model Driven Engineering. Is your company ready for MDE?

Model Driven Engineering (MDE) is an approach to software development where models play a central role in all software engineering processes. Conceived to provide significant gains in productivity, portability, maintainability and interoperability, MDE is now starting to be effec- tively used in industry. Thus, companies are beginning to evaluate their possibilities for adopting it. This paper examines the current state of MDE in industry, summarizes the current obstacles for adoption, and discusses the advantages that it should bring to businesses and its limitations. Finally, some ideas for a smoother transition towards a wider adoption of MDE are outlinedModel Driven Engineering (MDE) – Ingeniería Basada en Modelos en español – es un enfoque del desarrollo del software, donde los modelos tienen un papel central en todos los procesos de ingeniería de software. Este enfoque se concibe para aportar importantes ganancias en la productividad, portabilidad, el mantenimiento, y la interoperabilidad. Además, ahora el MDE está comenzando a ser usado de forma efectiva en la industria. Por ello, las empresas están empezando a evaluar sus posibilidades para adoptarlo. Este artículo examina el actual estado del MDE en la industria, resume los presentes obstáculos para su adopción, y debate las ventajas que debería de aportar a las empresas, y sus limitaciones. Finalmente, se destacan algunas ideas para una fácil transición hacia una amplia adopción del MDE