{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T17:25:15Z","timestamp":1777137915925,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":141,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540724827","type":"print"},{"value":"9783540725220","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72522-0_10","type":"book-chapter","created":{"date-parts":[[2007,6,5]],"date-time":"2007-06-05T19:02:12Z","timestamp":1181070132000},"page":"395-428","source":"Crossref","is-referenced-by-count":19,"title":["Introduction to Software Performance Engineering: Origins and Outstanding Problems"],"prefix":"10.1007","author":[{"given":"Connie U.","family":"Smith","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Alexander, C.T.: Performance Engineering: Various Techniques and Tools. In: Proceedings Computer Measurement Group Conference, Las Vegas, NV (1986)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Alexander, W., Brice, R.: Performance Modeling in the Design Process. In: Proceedings National Computer Conference, Houston, TX (1982)","DOI":"10.1145\/1500774.1500805"},{"issue":"6","key":"10_CR3","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/359114.359120","volume":"22","author":"S. Alter","year":"1979","unstructured":"Alter, S.: A Model for Automating File and Program Design in Business Application Systems. Communications of the ACM\u00a022(6), 345\u2013353 (1979)","journal-title":"Communications of the ACM"},{"issue":"2","key":"10_CR4","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1145\/69610.357984","volume":"27","author":"G.E. Anderson","year":"1984","unstructured":"Anderson, G.E.: The Coordinated Use of Five Performance Evaluation Methodologies. Communications of the ACM\u00a027(2), 119\u2013125 (1984)","journal-title":"Communications of the ACM"},{"issue":"10","key":"10_CR5","doi-asserted-by":"publisher","first-page":"1042","DOI":"10.1109\/32.99192","volume":"17","author":"R.L. Bagrodia","year":"1991","unstructured":"Bagrodia, R.L., Shen, C.: MIDAS: Integrated Design and Simulation of Distributed Systems. IEEE Transactions on Software Engineering\u00a017(10), 1042\u20131058 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR6","volume-title":"WOSP 2005","author":"S. Balsamo","year":"2005","unstructured":"Balsamo, S., Marzolla, M.: Performance Evaluation of UML Software Architectures with Multiclass Queueing Network Models. In: WOSP 2005, Palma de Mallorca, ACM Press, New York (2005)"},{"issue":"2","key":"10_CR7","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1145\/321879.321887","volume":"22","author":"F. Baskett","year":"1975","unstructured":"Baskett, F., et al.: Open, Closed, and Mixed Networks of Queues with Different Classes of Customers. Journal of the ACM\u00a022(2), 248\u2013260 (1975)","journal-title":"Journal of the ACM"},{"key":"10_CR8","volume-title":"Proceedings 4th International Conference on Modeling Techniques and Tools for Computer Performance Evaluation","author":"H. Beilner","year":"1988","unstructured":"Beilner, H., M\u00e4ter, J., Weissenburg, N.: Towards a Performance Modeling Environment: News on HIT. In: Proceedings 4th International Conference on Modeling Techniques and Tools for Computer Performance Evaluation, Plenum Publishing, New York (1988)"},{"key":"10_CR9","unstructured":"Beilner, H., M\u00e4ter, J., Wysocki, C.: The Hierarchical Evaluation Tool HIT. In: Bause, F., Beilner, H. (eds.) Performance Tools & Model Interchange Formats, pp. 6\u20139. Universit\u00e4t Dortmund, Fachbereich Informatik, Dortmund, Germany (1995)"},{"key":"10_CR10","volume-title":"Micro-Analysis of Computer System Performance","author":"B. Beizer","year":"1978","unstructured":"Beizer, B.: Micro-Analysis of Computer System Performance. Van Nostrand Reinhold, New York (1978)"},{"key":"10_CR11","first-page":"413","volume-title":"Handbook of Software Engineering","author":"B. Beizer","year":"1984","unstructured":"Beizer, B.: Software Performance. In: Vicksa, C.R., Ramamoorthy, C.V. (eds.) Handbook of Software Engineering, pp. 413\u2013436. Van Nostrand Reinhold, New York (1984)"},{"key":"10_CR12","unstructured":"Bell, T.E. (ed.): Computer Measurement Group Transactions, Special Issue on Software Performance Engineering (1988)"},{"issue":"1","key":"10_CR13","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1109\/TSE.1977.229903","volume":"3","author":"T.E. Bell","year":"1977","unstructured":"Bell, T.E., Bixler, D.X., Dyer, M.E.: An Extendible Approach to Computer-aided Software Requirements Engineering. IEEE Transactions on Software Engineering\u00a03(1), 49\u201359 (1977)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR14","unstructured":"Bell, T.E., Falk, A.M.: Performance Engineering: Some Lessons From the Trenches. In: Proceedings Computer Measurement Group Conference, Orlando, FL (1987)"},{"key":"10_CR15","volume-title":"Writing Efficient Programs","author":"J.L. Bentley","year":"1982","unstructured":"Bentley, J.L.: Writing Efficient Programs. Prentice-Hall, Englewood Cliffs (1982)"},{"key":"10_CR16","volume-title":"Proc. Third Int. Workshop on Software and Performance (WOSP02)","author":"S. Bernardi","year":"2002","unstructured":"Bernardi, S., Donatelli, S., Merseguer, J.: From UML Sequence Diagrams and Statecharts to Analysable Petri Net Models. In: Proc. Third Int. Workshop on Software and Performance (WOSP02), Rome, ACM Press, New York (2002)"},{"key":"10_CR17","volume-title":"Proc. Second Int. Workshop on Software and Performance (WOSP00)","author":"M. Bernardo","year":"2000","unstructured":"Bernardo, M., Ciancarini, P., Donatelli, L.: AEMPA: A Process Algebraic Description Language for the Performance Analysis of Software Architectures. In: Proc. Second Int. Workshop on Software and Performance (WOSP00), Ottawa, ACM Press, New York (2000)"},{"key":"10_CR18","unstructured":"BMC: BMC Software, www.bmc.com"},{"issue":"1","key":"10_CR19","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/TSE.1979.226496","volume":"5","author":"T.L. Booth","year":"1979","unstructured":"Booth, T.L.: Performance Optimization of Software Systems Processing Information Sequences Modeled by Probabilistic Languages. IEEE Transactions on Software Engineering\u00a05(1), 31\u201344 (1979)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR20","unstructured":"Booth, T.L.: Use of Computation Structure Models to Measure Computation Performance. In: Proceedings Conference on Simulation, Measurement, and Modeling of Computer Systems, Boulder, CO (1979)"},{"key":"10_CR21","unstructured":"Booth, T.L., Hart, R.O., Qin, B.: High Performance Software Design. In: Proceedings Hawaii International Conference on System Sciences, Honolulu, HI (1986)"},{"issue":"2","key":"10_CR22","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1109\/TSE.1980.230465","volume":"6","author":"T.L. Booth","year":"1980","unstructured":"Booth, T.L., Wiecek, C.A.: Performance Abstract Data Types as a Tool in Software Perfromance Analysis and Design. IEEE Transactions on Software Engineering\u00a06(2), 138\u2013151 (1980)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR23","unstructured":"Brataas, G.: Performance Engineering Method for Workflow Systems: An Integrated View of Human and Computerised Work Processes. In: Physics, Informatics, and Mathematics, p. 237. Norwegian University of Science and Technology, Trondheim, Norway (1996)"},{"issue":"3","key":"10_CR24","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1109\/32.21752","volume":"15","author":"R.J. Buhr","year":"1989","unstructured":"Buhr, R.J., et al.: Software CAD: A Revolutionary Approach. IEEE Transactions on Software Engineering\u00a015(3), 234\u2013249 (1989)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR25","volume-title":"Efficient C++: Performance Programming Techniques","author":"D. Bulka","year":"2000","unstructured":"Bulka, D., Mayhew, D.: Efficient C++: Performance Programming Techniques. Addison-Wesley Longman, Amsterdam (2000)"},{"key":"10_CR26","unstructured":"Buzen, J.P.: Queueing Network Models of Multiprograming. Harvard University (1971)"},{"issue":"2","key":"10_CR27","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/52.23129","volume":"6","author":"C.K. Chang","year":"1989","unstructured":"Chang, C.K., et al.: Modeling a Real-Time Multitasking System in a Timed PQ Net. IEEE Transactions on Software Engineering\u00a06(2), 46\u201351 (1989)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR28","unstructured":"CMG: Computer Measurement Group, http:\/\/www.cmg.org"},{"key":"10_CR29","unstructured":"Crain, P., Hanson, C.: Web Application Tuning. In: CMG, Reno (1999)"},{"key":"10_CR30","volume-title":"Proc. 2005 Workshop on Software and Performance","author":"A. D\u2019Ambrogio","year":"2005","unstructured":"D\u2019Ambrogio, A.: A Model Transformation Framework for the Automated Building of Performance Models from UML Models. In: Proc. 2005 Workshop on Software and Performance, Palma de Mallorca, ACM Press, New York (2005)"},{"key":"10_CR31","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Performance Evaluation Modelling Techniques and Tools","author":"J. Dilly","year":"1997","unstructured":"Dilly, J., et al.: Measurement Tools and Modeling Techniques for Evaluating Web Server Performance. In: Marie, R., Plateau, B., Calzarossa, M.C., Rubino, G.J. (eds.) TOOLS 1997. LNCS, vol.\u00a01245, Springer, Heidelberg (1997)"},{"key":"10_CR32","doi-asserted-by":"crossref","unstructured":"El-Sayed, H., Cameron, D., Woodside, C.M.: Automated Performance Modeling from Scenarios and SDL Designs of Telecom Systems. In: Proc. Int. Symposium on Software Engineering for Parallel and Distributed Systems (PDSE98), Kyoto, Japan (1998)","DOI":"10.1109\/PDSE.1998.668171"},{"issue":"2","key":"10_CR33","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1109\/TSE.1986.6312945","volume":"12","author":"G. Estrin","year":"1986","unstructured":"Estrin, G., et al.: SARA (System ARchitects\u2019 Apprentice): Modeling, Analysis, and Simulation Support for Design of Concurrent Systems. IEEE Transactions on Software Engineering\u00a012(2), 293\u2013311 (1986)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"10_CR34","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/C-M.1972.216939","volume":"5","author":"D. Ferrari","year":"1972","unstructured":"Ferrari, D.: Workload Characterization and Selection in Computer Performance Measurement. IEEE Computer\u00a05(4), 18\u201324 (1972)","journal-title":"IEEE Computer"},{"key":"10_CR35","volume-title":"Computer Systems Performance Evaluation","author":"D. Ferrari","year":"1978","unstructured":"Ferrari, D.: Computer Systems Performance Evaluation. Prentice-Hall, Englewood Cliffs (1978)"},{"key":"10_CR36","volume-title":"Measurement and Tuning of Computer Systems","author":"D. Ferrari","year":"1983","unstructured":"Ferrari, D., Serazzi, G., Zeigner, A.: Measurement and Tuning of Computer Systems. Prentice-Hall, Englewood Cliffs (1983)"},{"key":"10_CR37","unstructured":"Fox, G.: Take Practical Performance Engineering Steps Early. In: Proceedings Computer Measurement Group Conference, Orlando, FL (1987)"},{"key":"10_CR38","doi-asserted-by":"crossref","unstructured":"Fox, G.: Performance Engineering as a Part of the Development Lifecycle for Large-Scale Software Systems. In: Proceedings 11th International Conference on Software Engineering, Pittsburgh, PA (1989)","DOI":"10.1145\/74587.74596"},{"key":"10_CR39","doi-asserted-by":"crossref","unstructured":"Garc\u00eda, D., et al.: Performance Model Interchange Format: Semantic Validation. In: 2006 International Conference on Software Engineering Advances, Papeete Tahiti, INIRIA (2006)","DOI":"10.1109\/ICSEA.2006.261303"},{"key":"10_CR40","unstructured":"Gomaa, H., Menasce, D.A. (eds.): Session: From Specifications to Performance Models. In: Second Int. Workshop on Software and Performance (WOSP00), Ottawa, pp. 47\u201388, ACM Press (2000)"},{"issue":"2","key":"10_CR41","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1145\/361952.361965","volume":"16","author":"R.M. Graham","year":"1973","unstructured":"Graham, R.M., Clancy, G.J., DeVaney, D.B.: A Software Design and Evalation System. Communications of the ACM\u00a016(2), 110\u2013116 (1973)","journal-title":"Communications of the ACM"},{"key":"10_CR42","volume-title":"Proc. Workshop on Software and Performance","author":"G. Gu","year":"2002","unstructured":"Gu, G., Petriu, D.: XSLT Transformation from UML Models to LQN Performance Models. In: Proc. Workshop on Software and Performance, Rome, ACM Press, New York (2002)"},{"key":"10_CR43","volume-title":"WOSP 2005","author":"G. Gu","year":"2005","unstructured":"Gu, G., Petriu, D.: From UML to LQN by XML Algebra-based Model Transformations. In: WOSP 2005, Palma de Mallorca, ACM Press, New York (2005)"},{"key":"10_CR44","unstructured":"Gunther, N.: The Practical Performance Analyst: Performance-By-Design Techniques for Distributed Systems (1998), http:\/\/www.perfdynamics.com"},{"key":"10_CR45","unstructured":"Gunther, N.: E-Ticket Capacity Planning: Riding the E-Commerce Growth Curve. In: Proc. Computer Measurement Group, Orlando (2000)"},{"key":"10_CR46","unstructured":"Hanson, C., Crain, P., Wigginton, S.: User and Computer Performance Optimization. In: CMG, Reno (1999)"},{"issue":"4","key":"10_CR47","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/1035332.1035302","volume":"11","author":"G. Haring","year":"1982","unstructured":"Haring, G.: On State-dependent Workload Characterization by Software Resources. ACM SIGMETRICS Performance Evaluation Review\u00a011(4), 51\u201357 (1982)","journal-title":"ACM SIGMETRICS Performance Evaluation Review"},{"key":"10_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/BFb0024327","volume-title":"Quantitative Evaluation of Computing and Communication Systems","author":"G. Hills","year":"1995","unstructured":"Hills, G., Rolia, J.A., Serazzi, G.: Performance Engineering of Distributed Software Process Architectures. In: Beilner, H., Bause, F. (eds.) MMB 1995 and TOOLS 1995. LNCS, vol.\u00a0977, pp. 357\u2013371. Springer, Heidelberg (1995)"},{"key":"10_CR49","volume-title":"Proc. Third Int. Workshop on Software and Performance (WOSP02)","author":"R.P. Hopkins","year":"2002","unstructured":"Hopkins, R.P., et al.: Two Approaches to Integrating UML and Performance Models. In: Proc. Third Int. Workshop on Software and Performance (WOSP02), Rome, ACM Press, New York (2002)"},{"key":"10_CR50","doi-asserted-by":"crossref","unstructured":"Howes, N.R.: Toward a Real-Time Ada Design Methodology. In: Proceedings Tri-Ada 90, Baltimore, MD (1990)","DOI":"10.1145\/255471.255524"},{"key":"10_CR51","doi-asserted-by":"crossref","unstructured":"Hrischuk, C., Rolia, J.A., Woodside, C.M.: Automatic Generation of a Software Performance Model Using an Object-Oriented Prototype. In: Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, Durham, NC (1995)","DOI":"10.1109\/MASCOT.1995.378659"},{"issue":"1","key":"10_CR52","first-page":"122","volume":"25","author":"C.E. Hrischuk","year":"1999","unstructured":"Hrischuk, C.E., et al.: Trace-Based Load Characterization for Generating Performance Software Models. TSE\u00a025(1), 122\u2013135 (1999)","journal-title":"TSE"},{"key":"10_CR53","volume-title":"Proc. Second Int. Workshop on Software and Performance (WOSP00)","author":"P. Hughes","year":"2000","unstructured":"Hughes, P.: Towards a Common Process Model for Systems Development and Performance Engineering. In: Proc. Second Int. Workshop on Software and Performance (WOSP00), Ottawa, Canada, ACM Press, New York (2000)"},{"key":"10_CR54","unstructured":"HyPerformix, Inc.: http:\/\/www.hyperformix.com"},{"key":"10_CR55","volume-title":"Art of Computer Systems Performance Analysis","author":"R. Jain","year":"1991","unstructured":"Jain, R.: Art of Computer Systems Performance Analysis. John Wiley, New York (1991)"},{"issue":"4","key":"10_CR56","first-page":"135","volume":"23","author":"P.J. Jalics","year":"1977","unstructured":"Jalics, P.J.: Improving Performance The Easy Way. Datamation\u00a023(4), 135\u2013148 (1977)","journal-title":"Datamation"},{"key":"10_CR57","volume-title":"Efficiency in Program Synthesis","author":"E. Kant","year":"1981","unstructured":"Kant, E.: Efficiency in Program Synthesis. UMI Research Press, Ann Arbor (1981)"},{"key":"10_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/3-540-46429-8_19","volume-title":"Computer Performance Evaluation. Modelling Techniques and Tools","author":"P. King","year":"2000","unstructured":"King, P., Pooley, R.: Derivation of Petri Net Performance Models from UML Specifications of Communications Software. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol.\u00a01786, p. 262. Springer, Heidelberg (2000)"},{"issue":"2","key":"10_CR59","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1002\/spe.4380010203","volume":"1","author":"D.E. Knuth","year":"1971","unstructured":"Knuth, D.E.: An Empirical Study of FORTRAN Programs. Software Practice & Experience\u00a01(2), 105\u2013133 (1971)","journal-title":"Software Practice & Experience"},{"key":"10_CR60","volume-title":"The Art of Computer Programming, vol. 1","author":"D.E. Knuth","year":"1997","unstructured":"Knuth, D.E.: The Art of Computer Programming, vol. 1, 3rd edn. Addison-Wesley, Reading (1997)","edition":"3"},{"key":"10_CR61","volume-title":"The Art of Computer Programming, vol. 3: Sorting and Searching","author":"D.E. Knuth","year":"1998","unstructured":"Knuth, D.E.: The Art of Computer Programming, vol. 3: Sorting and Searching, 2nd edn. Addison-Wesley, Reading (1998)","edition":"2"},{"key":"10_CR62","unstructured":"Kopetz, H.: Design Principles of Fault Tolerant Real-Time Systems. In: Proceedings Hawaii International Conference on System Sciences, Honolulu, HI (1986)"},{"key":"10_CR63","unstructured":"L&S, Computer Technology, Inc., Performance Engineering Services Division, www.spe-ed.com"},{"issue":"1","key":"10_CR64","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/MS.1984.233391","volume":"2","author":"B.W. Lampson","year":"1984","unstructured":"Lampson, B.W.: Hints for Computer System Design. IEEE Software\u00a02(1), 11\u201328 (1984)","journal-title":"IEEE Software"},{"key":"10_CR65","volume-title":"Java 2 Performance and Idiom Guide","author":"C. Larman","year":"2000","unstructured":"Larman, C., Guthrie, R.: Java 2 Performance and Idiom Guide. Prentice Hall PTR, Upper Saddle River (2000)"},{"key":"10_CR66","volume-title":"Quantitative System Performance: Computer System Analysis Using Queuing Network Models","author":"E.D. Lazowska","year":"1984","unstructured":"Lazowska, E.D., et al.: Quantitative System Performance: Computer System Analysis Using Queuing Network Models. Prentice-Hall, Inc., Englewod Cliffs (1984)"},{"key":"10_CR67","doi-asserted-by":"crossref","unstructured":"LeMer, E.: MEDOC: A Methodology for Designing and Evaluating Large-Scale Real-Time Systems. In: Proceedings National Computer Conference, Houston, TX (1982)","DOI":"10.1145\/1500774.1500806"},{"key":"10_CR68","volume-title":"Real-Time System Design","author":"S. Levi","year":"1990","unstructured":"Levi, S., Agrawala, A.K.: Real-Time System Design. McGraw-Hill, New York (1990)"},{"issue":"12","key":"10_CR69","doi-asserted-by":"publisher","first-page":"1229","DOI":"10.1109\/32.106984","volume":"17","author":"K. Lor","year":"1991","unstructured":"Lor, K., Berry, D.M.: Automatic Synthesis of SARA Design Models from System Requirements. IEEE Transactions on Software Engineering\u00a017(12), 1229\u20131240 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR70","unstructured":"Martin, C.R.: An Integrated Software Performance Engineering Environment. Duke University (1988)"},{"key":"10_CR71","volume-title":"Scaling for E-Business: Technologies, Models, Performance, and Capacity Planning","author":"D.A. Menasc\u00e9","year":"2000","unstructured":"Menasc\u00e9, D.A., Almeida, V.A.F.: Scaling for E-Business: Technologies, Models, Performance, and Capacity Planning. Prentice-Hall, Englewood Cliffs (2000)"},{"key":"10_CR72","volume-title":"Capacity Planning and Performance Modeling","author":"D.A. Menasc\u00e9","year":"1994","unstructured":"Menasc\u00e9, D.A., Almeida, V.A.F., Dowdy, L.W.: Capacity Planning and Performance Modeling. PTR Prentice Hall, Englewood Cliffs (1994)"},{"key":"10_CR73","volume-title":"Workshop on Software and Performance","author":"D.A. Menasc\u00e9","year":"1998","unstructured":"Menasc\u00e9, D.A., Gomaa, H.: On a Language Based Method for Software Performance Engineering of Client\/Server Systems. In: Workshop on Software and Performance, Santa Fe, NM, ACM Press, New York (1998)"},{"issue":"3","key":"10_CR74","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1109\/52.55223","volume":"7","author":"K.M. Nichols","year":"1990","unstructured":"Nichols, K.M.: Performance Tools. IEEE Software\u00a07(3), 21\u201330 (1990)","journal-title":"IEEE Software"},{"key":"10_CR75","unstructured":"Nichols, K.M., Oman, P.: Special Issue in High Performance. IEEE Software 8(5) (1991)"},{"key":"10_CR76","unstructured":"OMG, UML Profile for Schedulability, Performance and Time, formal\/03-09-01, OMG Full Specification (2003)"},{"key":"10_CR77","unstructured":"Opdahl, A.: A CASE Tool for Performance Engineering During Software Design. In: Proceedings Fifth Nordic Workshop on Programming Environmental Research, Tampere, Finland (1992)"},{"key":"10_CR78","unstructured":"Opdahl, A., S\u00f8lvberg, A.: Conceptual Integration of Information System and Performance Modeling. In: Proceedings Working Conference on Information System Concepts: Improving the Understanding (1992)"},{"key":"10_CR79","unstructured":"Paterok, M., Heller, R., DeMeer, H.: Performance Evaluation of an SDL Run Time System - A Case Study. In: Proceedings 5th International Conference on Modeling Techniques and Tools for Computer Performance Evaluation, Torino, Italy (1991)"},{"key":"10_CR80","doi-asserted-by":"crossref","unstructured":"Petriu, D., Woodside, C.M.: Software Performance Models from System Scenarios in Use Case Maps. In: Proceedings 12th Int. Conf. Modeling Tools and Techniques, London (2002)","DOI":"10.1007\/3-540-46029-2_9"},{"key":"10_CR81","unstructured":"Pooley, R.: The Integrated Modeling Support Environment. In: Proceedings 5th International Conference on Modeling Techniques and Tools for Computer Performance Evaluation, Torino, Italy (1991)"},{"key":"10_CR82","unstructured":"QEST, Quantitative Evaluation of Systems. 2004++, www.qest.org"},{"key":"10_CR83","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0166-5316(89)90050-3","volume":"10","author":"B. Qin","year":"1989","unstructured":"Qin, B.: A Model to Predict the Average Response Time of User Programs. Performance Evaluation\u00a010, 93\u2013101 (1989)","journal-title":"Performance Evaluation"},{"key":"10_CR84","unstructured":"QSP, Quantitative System Performance, in 7516 34th Ave N., A.M.a.A.P. QSP, Editor: Seattle, WA 98117-4723."},{"key":"10_CR85","doi-asserted-by":"crossref","unstructured":"Riddle, W.E., et al.: Behavior Modeling During Software Design. IEEE Transactions on Software Engineering\u00a04 (1978)","DOI":"10.1109\/TSE.1978.231513"},{"key":"10_CR86","unstructured":"Rolia, J.A.: Predicting the Performance of Software Systems. University of Toronto (1992)"},{"issue":"8","key":"10_CR87","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1109\/32.403785","volume":"21","author":"J.A. Rolia","year":"1995","unstructured":"Rolia, J.A., Sevcik, K.C.: The Method of Layers. IEEE Trans. on Software Engineering\u00a021(8), 689\u2013700 (1995)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"10_CR88","volume-title":"Int. Workshop on Software and Performance","author":"J.A. Rolia","year":"1998","unstructured":"Rolia, J.A., Vetland, V.: Correlating Resource Demand Information with ARM Data for Application Services. In: Int. Workshop on Software and Performance, Santa Fe, NM, ACM Press, New York (1998)"},{"key":"10_CR89","volume-title":"Proc. Workshop on Software and Performance","author":"J. Rossell\u00f3","year":"2005","unstructured":"Rossell\u00f3, J., et al.: A Web Service for Solving Queueing Network Models Using PMIF. In: Proc. Workshop on Software and Performance, Palma de Mallorca, ACM Press, New York (2005)"},{"issue":"10","key":"10_CR90","doi-asserted-by":"publisher","first-page":"1105","DOI":"10.1109\/TSE.1987.232852","volume":"13","author":"R.A. Sahner","year":"1987","unstructured":"Sahner, R.A., Trivedi, K.S.: Performance and Reliability Analysis Using Directed Acyclic Graphs. IEEE Transactions on Software Engineering\u00a013(10), 1105\u20131114 (1987)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR91","unstructured":"Sanguinetti, J.W.: A Formal Technique for Analyzing the Performance of Complex Systems. In: Proceedings Performance Evaluation Users Group 14, Boston, MA (1978)"},{"key":"10_CR92","doi-asserted-by":"crossref","unstructured":"Schmietendorf, A., Scholz, A., Rautenstrauch, C.: Evaluating the Performance Engineering Process. In: Proc. Workshop on Software and Performance (WOSP2000), Ottawa, Canada (2000)","DOI":"10.1145\/350391.350413"},{"key":"10_CR93","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/3-540-45156-0_21","volume-title":"Performance Engineering","author":"T. Schneider","year":"2001","unstructured":"Schneider, T.: Performance Management of SAP $^{\\hbox{\\rm\\textregistered}}$ Solutions. In: Dumke, R.R., Rautenstrauch, C., Schmietendorf, A., Scholz, A. (eds.) WOSP 2000 and GWPESD 2000. LNCS, vol.\u00a02047, p. 333. Springer, Heidelberg (2001)"},{"key":"10_CR94","unstructured":"Sevcik, K.C., Smith, C.U., Williams, L.G.: Performance Prediction Techniques Applied to Electronic Commerce Systems. In: Kou, W., Yesha, Y. (eds.) Electronic Commerce Technology Trends: Challenges and Opportunities, IBM Press (2000)"},{"key":"10_CR95","doi-asserted-by":"crossref","unstructured":"Sheikh, F., Woodside, C.M.: Layered Analytic Performance Modelling of a Distributed Database System. In: ICDCS (1997)","DOI":"10.1109\/ICDCS.1997.603390"},{"key":"10_CR96","unstructured":"Sholl, H., Kim, S.: An Approach to Performance Modeling as an Aid in Structuring Real-time, Distributed System Software. In: Proceedings Hawaii International Conference on System Sciences, Honolulu, HI (1986)"},{"key":"10_CR97","doi-asserted-by":"crossref","unstructured":"Sholl, H.A., Booth, T.L.: Software Performance Modeling Using Computation Structures. IEEE Transactions on Software Engineering\u00a01(4) (1975)","DOI":"10.1109\/TSE.1975.6312874"},{"key":"10_CR98","unstructured":"Smith, C.U.: The Prediction and Evaluation of the Performance of Software from Extended Design Specifications. University of Texas (1980)"},{"key":"10_CR99","unstructured":"Smith, C.U.: Software Performance Engineering. In: Proceedings Computer Measurement Group Conference XII (1981)"},{"key":"10_CR100","unstructured":"Smith, C.U.: A Methodology for Predicting the Memory Management Overhead of New Software Systems. In: Proceedings Hawaii International Conference on System Sciences, Honolulu, HI (1982)"},{"key":"10_CR101","unstructured":"Smith, C.U.: Special Issue on Software Performance Engineering. Computer Measurement Group Transactions (1985)"},{"issue":"1","key":"10_CR102","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/6306.6307","volume":"4","author":"C.U. Smith","year":"1986","unstructured":"Smith, C.U.: Independent General Principles for Constructing Responsive Software Systems. ACM Transactions on Computer Systems\u00a04(1), 1\u201331 (1986)","journal-title":"ACM Transactions on Computer Systems"},{"issue":"10","key":"10_CR103","doi-asserted-by":"publisher","first-page":"1394","DOI":"10.1109\/32.6185","volume":"14","author":"C.U. Smith","year":"1988","unstructured":"Smith, C.U.: Applying Synthesis Principles to Create Responsive Software Systems. IEEE Transactions on Software Engineering\u00a014(10), 1394\u20131408 (1988)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR104","unstructured":"Smith, C.U.: Who Uses SPE? Computer Measurement Group Transactions, 69\u201375 (1988)"},{"key":"10_CR105","volume-title":"Performance Engineering of Software Systems","author":"C.U. Smith","year":"1990","unstructured":"Smith, C.U.: Performance Engineering of Software Systems. Addison-Wesley, Reading (1990)"},{"key":"10_CR106","unstructured":"Smith, C.U., Browne, J.C.: Performance Specifications and Analysis of Software Designs. In: Proceedings ACM Sigmetrics Conference on Simulation Measurement and Modeling of Computer Systems, Boulder, CO (1979)"},{"key":"10_CR107","doi-asserted-by":"crossref","unstructured":"Smith, C.U., Browne, J.C.: Aspects of Software Design Analysis: Concurrency and Blocking. In: Proceedings ACM Sigmetrics Conference on Simulation Measurement and Modeling of Computer Systems (1980)","DOI":"10.1145\/800199.806169"},{"key":"10_CR108","doi-asserted-by":"crossref","unstructured":"Smith, C.U., Browne, J.C.: Performance Engineering of Software Systems: A Case Study. In: Proceedings National Computer Conference, Houston, TX (1982)","DOI":"10.1145\/1500774.1500800"},{"key":"10_CR109","volume-title":"Proc. 5th Int. Workshop on Software and Performance","author":"C.U. Smith","year":"2005","unstructured":"Smith, C.U., et al.: From UML models to software performance results: An SPE process based on XML interchange formats. In: Proc. 5th Int. Workshop on Software and Performance, Palma, Illes Balears, Spain, ACM Press, New York (2005)"},{"key":"10_CR110","volume-title":"Proc. 1st Int. Conf. on Quantitative Evaluation of Systems (QEST)","author":"C.U. Smith","year":"2004","unstructured":"Smith, C.U., Llad\u00f3, C.M.: Performance Model Interchange Format (PMIF 2.0): XML Definition and Implementation. In: Proc. 1st Int. Conf. on Quantitative Evaluation of Systems (QEST), Enschede, NL, IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"10_CR111","doi-asserted-by":"crossref","unstructured":"Smith, C.U., Loendorf, D.D.: Performance Analysis of Software for an MIMD Computer. In: Proceedings ACM Sigmetrics Conference on Measurement and Modeling of Computer Systems, Seattle, WA (1982)","DOI":"10.1145\/1035293.1035317"},{"issue":"7","key":"10_CR112","doi-asserted-by":"publisher","first-page":"720","DOI":"10.1109\/32.238572","volume":"19","author":"C.U. Smith","year":"1993","unstructured":"Smith, C.U., Williams, L.G.: Software Performance Engineering: A Case Study with Design Comparisons. IEEE Transactions on Software Engineering\u00a019(7), 720\u2013741 (1993)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR113","unstructured":"Smith, C.U., Williams, L.G.: A Performance Model Interchange Format. In: Bause, F., Beilner, H. (eds.) Performance Tools and Model Interchange Formats, pp. 67\u201385. Universit\u00e4t Dortmund, Informatik IV, Dortmund, Germany (1995)"},{"key":"10_CR114","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/BFb0022203","volume-title":"Computer Performance Evaluation Modelling Techniques and Tools","author":"C.U. Smith","year":"1997","unstructured":"Smith, C.U., Williams, L.G.: Performance Engineering of Object-Oriented Systems with SPEED. In: Marie, R., Plateau, B., Calzarossa, M.C., Rubino, G.J. (eds.) TOOLS 1997. LNCS, vol.\u00a01245, pp. 135\u2013154. Springer, Heidelberg (1997)"},{"key":"10_CR115","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/3-540-68061-6_26","volume-title":"Computer Performance Evaluation","author":"C.U. Smith","year":"1998","unstructured":"Smith, C.U., Williams, L.G.: Performance Engineering Evaluation of CORBA-based Distributed Systems with SPE ED. In: Puigjaner, R., Savino, N.N., Serra, B. (eds.) TOOLS 1998. LNCS, vol.\u00a01469, p. 321. Springer, Heidelberg (1998)"},{"key":"10_CR116","doi-asserted-by":"crossref","unstructured":"Smith, C.U., Williams, L.G.: Performance Engineering Models of CORBA-based Distributed Object Systems. In: Proc. Computer Measurement Group, Anaheim (1998)","DOI":"10.1007\/3-540-68061-6_26"},{"key":"10_CR117","unstructured":"Smith, C.U., Williams, L.G.: Performance Models of Distributed System Architectures. In: Proc. Computer Measurement Group, Anaheim (1998)"},{"key":"10_CR118","doi-asserted-by":"crossref","unstructured":"Smith, C.U., Williams, L.G.: A Performance Model Interchange Format. Journal of Systems and Software\u00a049(1) (1999)","DOI":"10.1016\/S0164-1212(99)00067-9"},{"key":"10_CR119","volume-title":"Workshop on Software and Performance","author":"C.U. Smith","year":"2000","unstructured":"Smith, C.U., Williams, L.G.: Software Performance Antipatterns. In: Workshop on Software and Performance, Ottawa, Canada, ACM Press, New York (2000)"},{"key":"10_CR120","unstructured":"Smith, C.U., Williams, L.G.: SPE Models for Web Applications. In: Proc. Computer Measurement Group, Orlando (2000)"},{"key":"10_CR121","unstructured":"Smith, C.U., Williams, L.G.: New Software Performance Antipatterns: More Ways to Shoot Yourself in the Foot. In: Proc. CMG, Reno, NV (2002)"},{"key":"10_CR122","volume-title":"Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software","author":"C.U. Smith","year":"2002","unstructured":"Smith, C.U., Williams, L.G.: Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software. Addison-Wesley, Reading (2002)"},{"key":"10_CR123","unstructured":"Smith, C.U., Williams, L.G.: Best Practices for Software Performance Engineering. In: Proc. CMG, Dallas, TX (2003)"},{"key":"10_CR124","unstructured":"Smith, C.U., Williams, L.G.: More New Software Performance Antipatterns: Even More Ways to Shoot Yourself in the Foot. In: Proc. CMG, Dallas, TX (2003)"},{"key":"10_CR125","unstructured":"Smith, C.U., Wong, B.: SPE Evaluation of a Client\/Server Application. In: Proc. Computer Measurement Group, Orlando, FL (1994)"},{"key":"10_CR126","volume-title":"System Performance Evaluation: Methodologies and Applications","author":"C.U. Smith","year":"1999","unstructured":"Smith, C.U., Woodside, C.M.: Performance Validation at Early Stages of Software Development. In: Gelenbe, E. (ed.) System Performance Evaluation: Methodologies and Applications, CRC Press, Boca Raton (1999)"},{"key":"10_CR127","unstructured":"SPE ED, http:\/\/www.spe-ed.com"},{"key":"10_CR128","doi-asserted-by":"crossref","unstructured":"Steppler, M.: Performance Analysis of Communication Systems Formally Specified in SDL. In: Proc. 1st Int. Workshop on Software and Performance (WOSP98), Santa Fe, NM (1998)","DOI":"10.1145\/287318.287329"},{"key":"10_CR129","volume-title":"Probability and Statistics With Reliability, Queueing, and Computer Science Applications","author":"K.S. Trivedi","year":"1982","unstructured":"Trivedi, K.S.: Probability and Statistics With Reliability, Queueing, and Computer Science Applications. Prentice-Hall, Englewood Cliffs (1982)"},{"key":"10_CR130","unstructured":"Vetland, V.: Measurement-Based Composite Computational Work Modelling of Software. University of Trondheim (1993)"},{"key":"10_CR131","doi-asserted-by":"crossref","unstructured":"Vetland, V., Hughes, P., Solvberg, A.: A Composite Modelling Approach to Software Performance Measurement. In: Proc. ACM Sigmetrics, Santa Clara, CA (1993)","DOI":"10.1145\/166955.167040"},{"key":"10_CR132","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/BFb0024309","volume-title":"Quantitative Evaluation of Computing and Communication Systems","author":"L.G. Williams","year":"1995","unstructured":"Williams, L.G., Smith, C.U.: Information Requirements for Software Performance Engineering. In: Beilner, H., Bause, F. (eds.) MMB 1995 and TOOLS 1995. LNCS, vol.\u00a0977, pp. 86\u2013101. Springer, Heidelberg (1995)"},{"key":"10_CR133","volume-title":"Proc. 3rd Int. Workshop\u00a0on Software and Performance","author":"L.G. Williams","year":"2002","unstructured":"Williams, L.G., Smith, C.U.: PASASM: A Method for the Performance Assessment of Software Architectures. In: Proc. 3rd Int. Workshop\u00a0on Software and Performance, Rome, IT, ACM Press, New York (2002)"},{"key":"10_CR134","unstructured":"Williams, L.G., Smith, C.U.: Making the Business Case for Software Performance Engineering. In: Proc. CMG, Dallas, TX (2003)"},{"key":"10_CR135","unstructured":"Woodside, C.M.: Throughput Calculation for Basic Stochastic Rendezvous Networks. Carleton University, Ottawa, Canada (1986)"},{"key":"10_CR136","doi-asserted-by":"crossref","unstructured":"Woodside, C.M.: Throughput Calculation for Basic Stochastic Rendezvous Networks. Performance Evaluation\u00a09 (1989)","DOI":"10.1016\/0166-5316(89)90039-4"},{"key":"10_CR137","doi-asserted-by":"crossref","unstructured":"Woodside, C.M., et al.: The CAEDE Performance Analysis Tool. Ada Letters XI(3) (1991)","DOI":"10.1145\/112630.112644"},{"key":"10_CR138","doi-asserted-by":"crossref","unstructured":"Woodside, C.M., et al.: A Wideband Approach to Integrating Performance Prediction into a Software Design Environment. In: Proc. First Int. Workshop on Software and Performance (WOSP98), Santa Fe, NM (1998)","DOI":"10.1145\/287318.287326"},{"issue":"1","key":"10_CR139","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/12.368012","volume":"44","author":"C.M. Woodside","year":"1995","unstructured":"Woodside, C.M., et al.: The Stochastic Rendezvous Network Model for Performance of Synchronous Client-Server-like Distributed Software. IEEE Trans. Computers\u00a044(1), 20\u201334 (1995)","journal-title":"IEEE Trans. Computers"},{"key":"10_CR140","unstructured":"WOSP, Workshop on Software and Performance. ACM Press (1998-2007)"},{"key":"10_CR141","volume-title":"Proc. Workshop on Software and Performance","author":"X. Wu","year":"2004","unstructured":"Wu, X., Woodside, C.M.: Performance Modeling from Software Components. In: Proc. Workshop on Software and Performance, Redwood Shores, CA, ACM Press, New York (2004)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Performance Evaluation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72522-0_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T06:17:43Z","timestamp":1683872263000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72522-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540724827","9783540725220"],"references-count":141,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72522-0_10","relation":{},"subject":[]}}