Search for Author All Reviews
	Inverardi, Paola     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 5 of 9 reviews       EAGLE: engineering software in the ubiquitous globe by leveraging uncertainty Autili M., Cortellessa V., Di Ruscio D., Inverardi P., Pelliccione P., Tivoli M.  ESEC/FSE 2011 (Proceedings of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Szeged, Hungary, Sep 5-9, 2011) 488-491, 2011.  Type: Proceedings Autili et al. describe the EAGLE approach for software integration where the integrator does not know the boundary conditions for a system composed of working components. They claim that the reuse of working software demands that our s...... Jan 5 2012     Model-based software performance analysis Cortellessa V., Di Marco A., Inverardi P., Springer Publishing Company, Incorporated, New York, NY, 2011. 202 pp.  Type: Book (978-3-642136-20-7) An important challenge in the development of software-intensive systems is the integration of performance requirements in models of the intended system. The analysis and design of performance goals, and, more broadly, quality goals, in...... Aug 24 2011     Software engineering for self-adaptive systems (LNCS 5525) Cheng B., de Lemos R., Giese H., Inverardi P., Magee J. Springer-Verlag, Berlin, Heidelberg, 2009.  Type: Divisible Book The trend toward larger and more complex computing systems makes self-adaptation--the ability to dynamically adapt to changes in the operating environment--a very important topic in the context of software engineering...... Nov 12 2009     Model-Based Performance Prediction in Software Development: A Survey Balsamo S., Di Marco A., Inverardi P., Simeoni M. IEEE Transactions on Software Engineering 30(5): 295-310, 2004.  Type: Article This is a fairly comprehensive account of the model-based performance prediction methodologies available today for software development. The authors concern themselves specifically with the development phases of the software life cycle...... Nov 11 2004     Formal methods for software architectures: Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bernardo M., Inverardi P., Springer-Verlag, London, UK, 2003. 287 pp.  Type: Book (9783540200833) This book gathers together the papers that were presented at the Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SEM03), in Italy. The main focus of this conference was on t...... Jun 24 2004     Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy