Bøger af Paola Inverardi

Software Engineering is a multifaceted and expanding topic. It aims to provide theories, methods and tools to tackle the complexity of software systems, from development to maintenance. Its complexity is made even more severe today by rapidadvancesin technology,the pervasivenessofsoftwareinallareasofsociety, and the globalization of software development. The continuous expansion of the ?eld presents the problem of how to keep up for practitioners. For educators, the key questions are how should software engineers be educated and what are the core topics and key technologies? Even looking only at the last decade, the tremendous changes that have taken place in the software engineering industry, and in the industrial world in general,raise many questions. What are the e?ects of: Outsourcing?Distributed softwaredevelopment?Opensource?Standardization?Softwarepatents?Mod- driven development? How should these developments change the way we teach softwareengineering?Shouldtextbooksbeupdated?Shouldsoftwareengineering play a di?erent role in the computer science curriculum, for example, be more pervasive? How are instructors in universities handling these issues? All these issues were discussed at the Software Education and Training s- sions at the International Conference on Software Engineering (ICSE 2005) by leading researchers, educators, and practitioners in software engineering, who presented their-sometimes controversial-views and insights on software en- neering education in the new millennium. In this volume we have collected some of the most representative and innovative approachesthat were presented at the workshop. The authors revised their papers based on discussions at the conf- ence and the comments they received from the reviews.

In the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. Software architecture is now accepted in the software engineering research and development community as a manageable and meaningful abstraction of the system under development and is applied throughout the software development life cycle, from requirements analysis and validation, to design and down to code and execution level.This book presents the tutorial lectures given by leading authorities at the Third International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2003, held in Bertinoro, Italy, in September 2003. The book is ideally suited for advanced courses on software architecture as well as for ongoing education of software engineers using formal methods in their day-to-day professional work.

This book details both the basic concepts of software performance analysis and state-of-the-art methodologies. It starts from performance primers and goes through software and performance modeling notations to the latest transformation-based methodologies.