Vittorio Cortellessa - Ph.D. in Computer Science from University of Roma "Tor Vergata" (1995). Post-doc fellow at the European Space Agency (ESRIN, 1997). Post-doc at University of Roma "Tor Vergata"(1998-1999). Research Assistant Professor at CSEE, West Virginia University, and Research Contractor at DISP, University of Roma "Tor Vergata" (2000-2001). Assistant Professor at University of L'Aquila (2002-2005). Since March 2005 he holds an Associate Professorship at the same institution. He has been involved in several research projects in the areas of performance analysis of software/hardware systems, component-based software systems, fault-tolerant systems and parallel discrete event simulation, which are his main research areas. Antinisca Di Marco - Ph.D. in Computer Science from University of L'Aquila in 2005. She currently holds a Post-Doc position at the Computer Science Department of University College of London, working in the Software Engineering Group. Her main research interests are: Software Architecture, Software Performance Analysis, Integration of Functional and Non-functional software validation. Paola Inverardi - She is professor at the Computer Science Department at University of L'Aquila. Her research interests are in the field of the application of formal techniques to the development of software systems. These include software specification and verification of concurrent and distributed systems, deduction systems, and Software Architectures. Current research interests mainly concentrate in the field of software architectures specifically addressing the verification and analysis of software architecture properties, both behavioral and quantitative. Recently she is working on the design and development of mobile applications.

From the reviews: "This thin book presents an introduction to the cross-knowledge needed by software developers to understand and apply current approaches for performing model-based software performance analysis. ... Software developers will benefit from the detailed descriptions of the extended modeling approaches for software performance prediction. Software researchers will benefit by recognizing the limitations of the current approaches, and by being challenged to develop more effective and usable techniques and tools for model-based performance analysis." (A. Hevner, ACM Computing Reviews, August, 2011)

• What is Software Performance Analysis.- Software Lifecycle and Software Performance.- Software Modeling Notations.- Performance Modeling Notations.- From Software Models to Performance Models.- Performance Model Solution and Results Interpretation.- Current Trends in Software Performance.

Vittorio Cortellessa - Ph.D. in Computer Science from University of Roma "Tor Vergata" (1995). Post-doc fellow at the European Space Agency (ESRIN, 1997). Post-doc at University of Roma "Tor Vergata"(1998-1999). Research Assistant Professor at CSEE, West Virginia University, and Research Contractor at DISP, University of Roma "Tor Vergata" (2000-2001). Assistant Professor at University of L'Aquila (2002-2005). Since March 2005 he holds an Associate Professorship at the same institution. He has been involved in several research projects in the areas of performance analysis of software/hardware systems, component-based software systems, fault-tolerant systems and parallel discrete event simulation, which are his main research areas. Antinisca Di Marco - Ph.D. in Computer Science from University of L'Aquila in 2005. She currently holds a Post-Doc position at the Computer Science Department of University College of London, working in the Software Engineering Group. Her main research interests are: Software Architecture, Software Performance Analysis, Integration of Functional and Non-functional software validation. Paola Inverardi - She is professor at the Computer Science Department at University of L'Aquila. Her research interests are in the field of the application of formal techniques to the development of software systems. These include software specification and verification of concurrent and distributed systems, deduction systems, and Software Architectures. Current research interests mainly concentrate in the field of software architectures specifically addressing the verification and analysis of software architecture properties, both behavioral and quantitative. Recently she is working on the design and development of mobile applications.

From the reviews: "This thin book presents an introduction to the cross-knowledge needed by software developers to understand and apply current approaches for performing model-based software performance analysis. ... Software developers will benefit from the detailed descriptions of the extended modeling approaches for software performance prediction. Software researchers will benefit by recognizing the limitations of the current approaches, and by being challenged to develop more effective and usable techniques and tools for model-based performance analysis." (A. Hevner, ACM Computing Reviews, August, 2011)

• What is Software Performance Analysis.- Software Lifecycle and Software Performance.- Software Modeling Notations.- Performance Modeling Notations.- From Software Models to Performance Models.- Performance Model Solution and Results Interpretation.- Current Trends in Software Performance.

Vittorio Cortellessa - Ph.D. in Computer Science from University of Roma "Tor Vergata" (1995). Post-doc fellow at the European Space Agency (ESRIN, 1997). Post-doc at University of Roma "Tor Vergata"(1998-1999). Research Assistant Professor at CSEE, West Virginia University, and Research Contractor at DISP, University of Roma "Tor Vergata" (2000-2001). Assistant Professor at University of L'Aquila (2002-2005). Since March 2005 he holds an Associate Professorship at the same institution. He has been involved in several research projects in the areas of performance analysis of software/hardware systems, component-based software systems, fault-tolerant systems and parallel discrete event simulation, which are his main research areas. Antinisca Di Marco - Ph.D. in Computer Science from University of L'Aquila in 2005. She currently holds a Post-Doc position at the Computer Science Department of University College of London, working in the Software Engineering Group. Her main research interests are: Software Architecture, Software Performance Analysis, Integration of Functional and Non-functional software validation. Paola Inverardi - She is professor at the Computer Science Department at University of L'Aquila. Her research interests are in the field of the application of formal techniques to the development of software systems. These include software specification and verification of concurrent and distributed systems, deduction systems, and Software Architectures. Current research interests mainly concentrate in the field of software architectures specifically addressing the verification and analysis of software architecture properties, both behavioral and quantitative. Recently she is working on the design and development of mobile applications.

From the reviews: "This thin book presents an introduction to the cross-knowledge needed by software developers to understand and apply current approaches for performing model-based software performance analysis. ... Software developers will benefit from the detailed descriptions of the extended modeling approaches for software performance prediction. Software researchers will benefit by recognizing the limitations of the current approaches, and by being challenged to develop more effective and usable techniques and tools for model-based performance analysis." (A. Hevner, ACM Computing Reviews, August, 2011)

• What is Software Performance Analysis.- Software Lifecycle and Software Performance.- Software Modeling Notations.- Performance Modeling Notations.- From Software Models to Performance Models.- Performance Model Solution and Results Interpretation.- Current Trends in Software Performance.