{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:52:40Z","timestamp":1740099160905,"version":"3.37.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319923772"},{"type":"electronic","value":"9783319923789"}],"license":[{"start":{"date-parts":[[2018,10,17]],"date-time":"2018-10-17T00:00:00Z","timestamp":1539734400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-319-92378-9_1","type":"book-chapter","created":{"date-parts":[[2018,10,16]],"date-time":"2018-10-16T05:55:07Z","timestamp":1539669307000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Systems Modelling: Methodologies and Tools"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0385-2711","authenticated-orcid":false,"given":"Antonio","family":"Puliafito","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kishor S.","family":"Trivedi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,10,17]]},"reference":[{"key":"1_CR1","volume-title":"Software Requirements: Styles and Techniques","author":"S Lauesen","year":"2002","unstructured":"S. Lauesen, Software Requirements: Styles and Techniques (Addison-Wesley, Harlow, 2002)"},{"issue":"6","key":"1_CR2","doi-asserted-by":"publisher","first-page":"172","DOI":"10.7753\/IJSEA0306.1003","volume":"3","author":"Harsimran Kaur","year":"2014","unstructured":"H. Kaur, A. Sharma, Non-functional requirements research: survey. Int. J. Sci. Eng. Appl. 3(6) (2014). ISSN-2319-7560","journal-title":"International Journal of Science and Engineering Applications"},{"issue":"12","key":"1_CR3","doi-asserted-by":"publisher","first-page":"1264","DOI":"10.1108\/01443570510633648","volume":"25","author":"A Neely","year":"2005","unstructured":"A. Neely, The evolution of performance measurement research: developments in the last decade and a research agenda for the next. Int. J. Oper. Prod. Manag. 25(12), 1264\u20131277 (2005)","journal-title":"Int. J. Oper. Prod. Manag."},{"issue":"3","key":"1_CR4","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1108\/14635770310477744","volume":"10","author":"R Dattakumar","year":"2003","unstructured":"R. Dattakumar, R. Jagadeesh, A review of literature on benchmarking. Benchmarking: Int. J. 10(3), 176\u2013209 (2003)","journal-title":"Benchmarking: Int. J."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"K.S. Trivedi, Probability and Statistics with Reliability, Queuing, and Computer Science Applications, 2nd edn. (Wiley, Hoboken, 2001); revised paperback, 2016","DOI":"10.1002\/9781119285441"},{"key":"1_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2367-3","volume-title":"Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package","author":"RA Sahner","year":"1996","unstructured":"R.A. Sahner, K.S. Trivedi, A. Puliafito, Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package (Kluwer Academic Publishers, Dordrecht, 1996)"},{"key":"1_CR7","doi-asserted-by":"publisher","DOI":"10.1017\/9781316163047","volume-title":"Reliability and Availability Engineering: Modeling, Analysis, and Applications","author":"KS Trivedi","year":"2017","unstructured":"K.S. Trivedi, A. Bobbio, Reliability and Availability Engineering: Modeling, Analysis, and Applications (Cambridge University Press, Cambridge, 2017)"},{"key":"1_CR8","doi-asserted-by":"publisher","DOI":"10.1002\/0471791571","volume-title":"Queueing Networks and Markov Chains","author":"G Bolch","year":"2006","unstructured":"G. Bolch, S. Greiner, H. de Meer, K. Trivedi, Queueing Networks and Markov Chains, 2nd edn. (Wiley, Hoboken, 2006)","edition":"2"},{"volume-title":"Handbook of Simulation: Principles, Methodology, Advances, Applications, and Practice","year":"1998","key":"1_CR9","unstructured":"J. Banks (ed.), Handbook of Simulation: Principles, Methodology, Advances, Applications, and Practice (Wiley, Hoboken, 1998)"},{"key":"1_CR10","volume-title":"Parallel and Distributed Simulation Systems","author":"RM Fujimoto","year":"2000","unstructured":"R.M. Fujimoto, Parallel and Distributed Simulation Systems (Wiley, Hoboken, 2000)"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/55595.55616","volume-title":"Proceedings of the 1988 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems","author":"JT Blake","year":"1988","unstructured":"J.T. Blake, A.L. Reibman, K.S. Trivedi, Sensitivity analysis of reliability and performability measures for multiprocessor systems, in Proceedings of the 1988 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, (ACM, New York, 1988), pp. 177\u2013186"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"667","DOI":"10.1109\/TSC.2013.44","volume":"7","author":"R Ghosh","year":"2014","unstructured":"R. Ghosh, F. Longo, R. Xia, V. Naik, K. Trivedi, Stochastic model driven capacity planning for an infrastructure-as-a-service cloud. IEEE Trans. Serv. Comput. 7, 667\u2013680 (2014)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1287\/mnsc.34.1.39","volume":"34","author":"R Suri","year":"1988","unstructured":"R. Suri, M. Zazanis, Perturbation analysis gives strongly consistent sensitivity estimates for the M\/G\/1 queue. Manag. Sci. 34, 39\u201364 (1988)","journal-title":"Manag. Sci."},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/S1569-190X(02)00063-1","volume":"10","author":"S-J Hsieh","year":"2002","unstructured":"S.-J. Hsieh, Hybrid analytic and simulation models for assembly line design and production planning. Simul. Model. Pract. Theory 10, 87\u2013108 (2002)","journal-title":"Simul. Model. Pract. Theory"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"J.P.C. Kleijnen, Validation of models: statistical techniques and data availability, in Proceedings of the IEEE 1999 Winter Simulation Conference, Phoenix, AZ, USA, 5\u20138 Dec 1999","DOI":"10.1145\/324138.324450"},{"key":"1_CR16","volume-title":"Optimization Techniques in Operation Research","author":"CB Gupta","year":"2008","unstructured":"C.B. Gupta, Optimization Techniques in Operation Research (I K International Publishing House, New Delhi, 2008)"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"648","DOI":"10.1109\/TC.1982.1676062","volume":"31","author":"JF Meyer","year":"1982","unstructured":"J.F. Meyer, Closed-form solutions of performability. IEEE Trans. Comput. 31, 648\u2013657 (1982)","journal-title":"IEEE Trans. Comput."}],"container-title":["EAI\/Springer Innovations in Communication and Computing","Systems Modeling: Methodologies and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-92378-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,26]],"date-time":"2019-10-26T16:26:34Z","timestamp":1572107194000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-92378-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,17]]},"ISBN":["9783319923772","9783319923789"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-92378-9_1","relation":{},"ISSN":["2522-8595","2522-8609"],"issn-type":[{"type":"print","value":"2522-8595"},{"type":"electronic","value":"2522-8609"}],"subject":[],"published":{"date-parts":[[2018,10,17]]}}}