{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:39:35Z","timestamp":1725493175853},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540405399"},{"type":"electronic","value":"9783540450757"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-45075-0_1","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T21:49:12Z","timestamp":1193521752000},"page":"1-17","source":"Crossref","is-referenced-by-count":4,"title":["Looking for Better Integration of Design and Performance Engineering"],"prefix":"10.1007","author":[{"given":"Wei","family":"Monin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrice","family":"Dubois","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Vincent","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Combes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,24]]},"reference":[{"issue":"7","key":"1_CR1","doi-asserted-by":"publisher","first-page":"720","DOI":"10.1109\/32.238572","volume":"19","author":"C.U. Smith","year":"1993","unstructured":"C.U. Smith and L.G. Williams. Software performance engineering: A case study including performance comparison with design alternatives. IEEE Transactions on Software Engineering, 19(7):720\u2013741, July 1993.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR2","unstructured":"S. Fdida and G. Pujolle. Mod\u00e8les de Syst\u00e8mes et de R\u00e9seaux-Tome 1: Performance, Eyrolles, 1986."},{"key":"1_CR3","unstructured":"A.M. Law and W.D. Kelton. Simulation modeling and analysis, McGraw-Hill, 2nd ed., 1991."},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"P. Fishwick. Simulation model design and execution. Prentice Hall, 1995.","DOI":"10.1145\/224401.224464"},{"key":"1_CR5","unstructured":"M. Polo and B. Rumpler. M\u00e9thode et outil d\u2019aide au dimensionnement d\u2019un serveur de base de donn\u00e9es, Ing\u00e9nierie des Syst\u00e8mes d\u2019Information, Vol.5, No.4, October 1997."},{"key":"1_CR6","unstructured":"D.M. Neuse. Why simulate?, Capacity Management Review, Vol.36, No.2, Feb. 1998."},{"key":"1_CR7","unstructured":"O. Catrina and S. Budkowski. Simulation guiding and validation based on dependence relations between events. Proceedings of the 13th European Simulation Multiconference (ESM\u201999), Warsaw, June 1999."},{"key":"1_CR8","unstructured":"QNAP tool ( http:\/\/www.simulog.fr )."},{"key":"1_CR9","unstructured":"Simscript tool ( http:\/\/www.caci.com )."},{"key":"1_CR10","unstructured":"OPNET tool ( http:\/\/www.opnet.com )."},{"key":"1_CR11","unstructured":"SES\/Workbench tool, Hyperformix ( http:\/\/www.hyperformix.com )."},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"F. Bause and P. Buchholz. Qualitative and Quantitative Analysis of Timed SDL Specifications. In Proc. KiVS\u201993, Springer Informatik aktuell (1993) 486\u2013500.","DOI":"10.1007\/978-3-642-78091-2_36"},{"key":"1_CR13","unstructured":"H. M. Kabutz, Analytical performance evaluation of concurrent communicating systems using SDL and stochastic Petri nets. Doctoral thesis, department of Computer science, University of Cape Town, Republic of south Africa, 1997."},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"M. Butow, M. Mestern, C. Schapiro, and P. S. Kritzinger. Performance modelling with the formal specification language SDL. Proceedings of the FORTE\/PSTV\u201996 Conference on Formal Description Techniques, Kaiserslautern, Germany, 1996.","DOI":"10.1007\/978-0-387-35079-0_13"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"M. Steppler and M. Lott, SPEET-SDL Performance Evaluation Tool. SDL\u201997-Time for Testing, Proceedings of the 8th SDL Forum, Elsevier, 1997.","DOI":"10.1016\/B978-044482816-3\/50005-8"},{"key":"1_CR16","unstructured":"E. Heck. Performance Evaluation of Formally Specified Systems-the integration of SDL with HIT. Doctoral thesis, University of Dortmund, Krehl Verlag, 1996."},{"key":"1_CR17","unstructured":"J. Martins. A system Engineering Methodology Integrating performance evaluation and Formal Specification. PhD Thesis, Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne, April 1996."},{"key":"1_CR18","unstructured":"M. Diefenbruch. Functional and Quantitative Verification of Time-and resource Extended SDL Systems with Model-checking. Proceeding of Messung, Modellierung und Bewertung von Rechen-und Kommunikationssystemen, Freiberg, Germany, VDE-Verlag, 1997."},{"issue":"17","key":"1_CR19","doi-asserted-by":"crossref","first-page":"1801","DOI":"10.1016\/S1389-1286(99)00061-4","volume":"31","author":"A. Mitschele-Thiel","year":"1999","unstructured":"A. Mitschele-Thiel and B. M\u00fcller-Clostermann. Performance Engineering of SDL\/MSC systems, Journal on Computer Networks and ISDN Systems, Elsevier, Vol. 31 No. 17, June 1999. pp 1801\u20131816.","journal-title":"Journal on Computer Networks and ISDN Systems"},{"key":"1_CR20","volume-title":"Proceedings International Conference on Computer Aided Systems Technologies","author":"C. Schaffer","year":"1995","unstructured":"C. Schaffer, R. Raschhofer and A. Simma. EaSy-Sim: A Tool Environment for the design of Complex, Real-Time systems. Proceedings International Conference on Computer Aided Systems Technologies. Innsbruck, Springer-Verlag, 1995."},{"key":"1_CR21","unstructured":"H. M. EI-Sayed, D. Cameron and C.M. Woodside, Automated performance modeling from scenarios and SDL design of distributed systems. Proceedings of International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE\u201998), Kyoto, April 1998."},{"key":"1_CR22","volume-title":"Computer Performance Evaluation: Modeling Techniques and Tools","author":"C.U. Smith","year":"1997","unstructured":"C.U. Smith and L. G. Williams. Performance Engineering Evaluation of Object-Oriented Systems with SPEED, Computer Performance Evaluation: Modeling Techniques and Tools, No. 1245, Springer-Verlag, Berlin, 1997."},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"C. E. Hrischuk, C.M. Woodside, J.A. Rolia and R. Iversen, Trace-based load characterization for generating performance software models. IEEE Transactions on Software Engineering, Feb 1999, Vol 25 No.1.","DOI":"10.1109\/32.748921"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"D. Petriu and M. Woodside, Software Performance Models from Systems Scenarios in Use Case Maps, Performance TOOLS 2002, Springer Verlag.","DOI":"10.1007\/3-540-46029-2_9"}],"container-title":["Lecture Notes in Computer Science","SDL 2003: System Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45075-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T02:17:35Z","timestamp":1556936255000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45075-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405399","9783540450757"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-45075-0_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}