Bøger af Mira Mezini

This book constitutes the revised selected papers of the 10th International Conference on Networked Systems, NETYS 2022, held as virtual event, in May 17-19, 2022. The conference was held virtually due to the COVID-19 crisis.The 18 full papers and 2 short papers presented were carefully reviewed and selected from 100 submissions. The scope of the conference covers all aspects related to the design and the development of these systems, including multi-core architectures, Concurrent and distributed algorithms, parallel/concurrent/distributed programming, distributed databases, big data applications and systems, cloud systems, networks, security, and formal verification.They were organized in topical sections as follows: Distributed System; Networking; Verification; Security.

Purpose of the Book This book presents an approach to improve the standard object-oriented pro­ gramming model. The proposal is aimed at supporting a larger range of incre­ mental behavior variations and thus promises to be more effective in mastering the complexity of today's software. The ability of dealing with the evolutionary nature of software is one of main merits of object-oriented data abstraction and inheritance. Object-orientation allows to organize software in a structured way by separating the description of different kinds of an abstract data type into different classes and loosely connecting them by the inheritance hierarchy. Due to this separation, the soft­ ware becomes free of conditional logics previously needed for distinguishing between different kinds of abstractions and can thus more easily be incremen­ tally extended to support new kinds of abstractions. In other words, classes and inheritance are means to properly model variations of behavior related to the existence of different kinds of an abstract data type. The support for extensi­ bility and reuse with respect to such kind-specific behavior variations is among the main reasons for the increasing popularity of object-oriented programming in the last two decades. However, this popularity does not prevent us from questioning the real effec­ tiveness of current object-oriented techniques in supporting incremental vari­ ations. In fact, this popularity makes a critical investigation of the variations that can actually be performed incrementally even more important.