You are here

Back to top

Model-Based Software Performance Analysis (Paperback)

Model-Based Software Performance Analysis Cover Image
$71.49
Usually Ships in 1-5 Days
(This item cannot be returned.)

Description


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.

About the Author


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.

Product Details
ISBN: 9783642427619
ISBN-10: 3642427618
Publisher: Springer
Publication Date: September 28th, 2014
Pages: 190
Language: English