Developing high quality software

References

• Balsamo , S. , Di Marco , A. , Inverardi , P. and Simeoni , M. 2004 . Model-based performance prediction in software development: a survey . IEEE Trans. Softw. Eng. , 30 ( 5 ) : 295 – 310 .
   Web of Science ®Google Scholar
• Balsamo , S. , Marzolla , M. and Mirandola , R. 2006 . “ Efficient performance models in component-based software engineering ” . In EUROMICRO ’06: Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications , 64 – 71 . Washington, DC : IEEE Computer Society .
   Google Scholar
• Bernardi , S. and Merseguer , J. 2007 . Performance evaluation of UML design with stochastic well-formed nets . J. Syst. Softw. , 80 ( 11 ) : 1843 – 1865 .
   Google Scholar
• Distefano , S. , Puliafito , A. and Scarpa , M. 2005 . “ Software performance analysis in UML models ” . In Proceedings of the Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex System (FIRB-2005) , IEEE .
   Google Scholar
• S. Distefano, D. Paci, A. Puliafito, and M. Scarpa, Deriving a PN Performance Model from UML Design by PCM Intermediate Model, Technical report, University of Messina, 2004
   Google Scholar
• Distefano , S. , Paci , D. , Puliafito , A. and Scarpa , M. 2004 . “ UML design and software performance modeling ” . In The 19th International Symposium on Computer and Information Sciences (ISCIS'04), Antalya, Turkey 27 – 29 .
   Google Scholar
• Distefano , S. , Paci , D. , Puliafito , A. and Scarpa , M. 2005 . Design and Implementation of a Performance Plug-in for the ArgoUML Tool , Proceedings of The International Conference of Software Engineering (SE 2005) Insbruck, Austria : IASTED .
   Google Scholar
• Feiler , P.H. , Gluch , D.P. and Hudak , J.J. 2006 . The architecture analysis & design language (AADL): an introduction , Carnegie Mellon University/Software Engineering Institute, February
   Google Scholar
• Grassi , V. , Mirandola , R. and Sabetta , A. 2007 . Filling the gap between design and performance/reliability models of component-based systems: A model-driven approach . J. Syst. Softw. , 80 ( 4 ) : 528 – 558 .
   Google Scholar
• Gu , G.P. and Petriu , D.C. 2002 . “ XSLT transformation from UML models to LQN performance models ” . In Proceedings of 3rd Int. Workshop on Software and Performance WOSP’ 2002 Rome Italy 227 – 234 .
   Google Scholar
• Gu , G.P. and Petriu , D.C. 2005 . “ From UML to LQN by XML algebra-based model transformations ” . In WOSP ’05: Proceedings of the 5th International Workshop On Software And Performance , 99 – 110 . New York, NY : ACM .
   Google Scholar
• Horváth , A. , Puliafito , A. , Scarpa , M. , Telek , M. and Tomarchio , O. 1998 . “ Design and implementation of a WEB-based non-Markovian stochastic Petri Net tool ” . In Proceedings of the 13th Int. Symposium on Computer and Information Sciences ISCIS’98 101 – 109 .
   Google Scholar
• López-Grao , J.P. , Merseguer , J. and Campos , J. 2004 . “ From UML activity diagrams to stochastic Petri Nets: application to software performance engineering ” . In WOSP ’04: Proceedings of the 4th International Workshop on Software and Performance , 25 – 36 . New York : ACM .
   Google Scholar
• Marzolla , M. and Balsamo , S. 2004 . “ UML-PSI: the UML performance simulator ” . In Proceedings of the First International Conference on the Quantitative Evaluation of Systems (QEST 2004) , 340 – 341 . Enschede, The Netherlands : IEEE Computer Society .
   Google Scholar
• Merseguer , J. , Campos , J. , Bernardi , S. and Donatelli , S. 2002 . “ A compositional semantics for UML state machines aimed at performance evaluation ” . In Proceedings of the 6th International Workshop on Discrete Event Systems, (Zaragoza, Spain) , Edited by: Giua , A. and Silva , M. 295 – 302 . Zaragoza : IEEE Computer Society Press .
   Google Scholar
• Object Management Group (OMG). Unified modelling language (UML), v1.3, 2000
   Google Scholar
• Object Management Group (OMG). XML metadata interchange, v1.2, 2002
   Google Scholar
• Object Management Group. UML Profile for Schedulability, Performance and Time Specification, ver 1.1, 2005
   Google Scholar
• Object Management Group. UML profile for modeling quality of service and fault tolerance characteristics and mechanisms, 2006
   Google Scholar
• Petriu , D.B. and Woodside , M. 2004 . “ A metamodel for generating performance models from UML designs ” . In Proceedings of UML 2004, Lisbon, Lecture Notes in Computer Science (LNCS 3273) vol. 3273 , 41 – 53 .
   Google Scholar
• Petriu , D.B. and Woodside , M. 2007 . An intermediate metamodel with scenarios and resources for generating performance models from UML designs . Softw. Systems Model. (SoSyM) , 6 ( 2 ) : 163 – 184 .
   Google Scholar
• Puliafito , A. , Telek , M. and Trivedi , K.S. 1997 . “ The evolution of stochastic Petri Nets ” . In Proceedings of World Congress on Systems Simulation (WCSS ’97) 3 – 15 . Keynote paper
   Google Scholar
• Ramirez , A. , Vanpeperstraete , P. , Rueckert , A. , Odutola , K. , Bennett , J. and Tolke , L. ArgoUML User Manual, A Tutorial and Reference Description University of California, 2000–2007. Available at: http://argouml.tigris.org
   Google Scholar
• Rugina , A.-E. , Kanoun , K. and Kaâniche , M. 2006 . “ A system dependability modeling framework using aadl and gspns ” . In Proceedings of WADS06, Lecture Notes in Computer Science , vol. 4615 , 14 – 38 . Springer .
   Google Scholar
• Smith , C.U. 1990 . Performance Engineering of Software Systems , Boston, MA : Addison-Wesley Longman Publishing Co., Inc. .
   Google Scholar
• Smith , C.U. and Williams , L.G. 2002 . Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software , Redwood City, CA : Addison Wesley Longman Publishing Co., Inc. .
   Google Scholar
• Smith , C.U. , Lladó , C.M. , Cortellessa , V. , Di Marco , A. and Williams , L.G. 2005 . “ From UML models to software performance results: an spe process based on xml interchange formats ” . In Proceedings of the Fifth International Workshop on Software and Performance, WOSP 2005 87 – 98 . ACM
   Google Scholar
• Smith , C.U. , García , D. , Lladó , C.M. and Puigjaner , R. 2006 . “ Performance model interchange format: semantic validation ” . In Proceedings of International Conference on Software Engineering Advances
   Google Scholar
• Standard Performance Evaluation Corporation. Spec website, 2008, http://www.spec.org/
   Google Scholar
• Stevens , P. 2003 . Small-scale XMI programming: a revolution in UML tool use? . J. Autom. Softw. Eng. , 10 ( 1 ) : 7 – 21 .
   Google Scholar
• University Of California. ArgoUML, 2004, http://argouml.tigris.org
   Google Scholar
• University Of Messina. Argo Performance Plug-in, 2004, http://argoperformance.tigris.org
   Google Scholar