{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:46:26Z","timestamp":1725551186421},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642122606"},{"type":"electronic","value":"9783642122613"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12261-3_28","type":"book-chapter","created":{"date-parts":[[2010,4,7]],"date-time":"2010-04-07T10:28:06Z","timestamp":1270636086000},"page":"296-309","source":"Crossref","is-referenced-by-count":3,"title":["On the Specification of Non-functional Properties of Systems by Observation"],"prefix":"10.1007","author":[{"given":"Javier","family":"Troya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 E.","family":"Rivera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Vallecillo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"Troya, J., Rivera, J.E., Vallecillo, A.: On the specification of non-functional properties of systems by observation. In: Proc. of the 2nd International Workshop on Non-Functional Properties for DSMLs (NFPinDSML 2009), Denver, CO. CEUR Workshop Proceedings, vol.\u00a0553 (2009), http:\/\/CEUR-WS.org\/Vol-553\/paper1.pdf"},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"Balsamo, S., Marco, A.D., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: A survey\u00a030(5), 295\u2013310 (2004)","DOI":"10.1109\/TSE.2004.9"},{"key":"28_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-540-71289-3_6","volume-title":"Fundamental Approaches to Software Engineering","author":"V. Cortellessa","year":"2007","unstructured":"Cortellessa, V., Marco, A.D., Inverardi, P.: Integrating performance and reliability analysis in a non-functional MDA framework. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol.\u00a04422, pp. 57\u201371. Springer, Heidelberg (2007)"},{"key":"28_CR4","unstructured":"OMG: UML Profile for Schedulability, Performance, and Time Specification. OMG, Needham (MA), USA (2005)"},{"key":"28_CR5","unstructured":"OMG: UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms. OMG, Needham (MA), USA, ptc\/04-09-01 (2004)"},{"key":"28_CR6","unstructured":"OMG: A UML Profile for MARTE: Modeling and Analyzing Real-Time and Embedded Systems. OMG, Needham (MA), USA (2008)"},{"key":"28_CR7","unstructured":"Czarnecki, K., Helsen, S.: Classification of model transformation approaches. In: OOPSLA 2003 Workshop on Generative Techniques in the Context of MDA (2003)"},{"key":"28_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-00434-6_5","volume-title":"Software Language Engineering","author":"J.E. Rivera","year":"2009","unstructured":"Rivera, J.E., Guerra, E., de Lara, J., Vallecillo, A.: Analyzing rule-based behavioral semantics of visual modeling languages with Maude. In: Ga\u0161evi\u0107, D., L\u00e4mmel, R., Van Wyk, E. (eds.) SLE 2008. LNCS, vol.\u00a05452, pp. 54\u201373. Springer, Heidelberg (2009)"},{"key":"28_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-78743-3_6","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Lara de","year":"2008","unstructured":"de Lara, J., Vangheluwe, H.: Translating model simulators to analysis models. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 77\u201392. Springer, Heidelberg (2008)"},{"issue":"11\/12","key":"28_CR10","doi-asserted-by":"publisher","first-page":"778","DOI":"10.1177\/0037549709341635","volume":"85","author":"J.E. Rivera","year":"2009","unstructured":"Rivera, J.E., Vallecillo, A., Dur\u00e1n, F.: Formal specification and analysis of Domain Specific Languages using Maude. Simulation: Transactions of the Society for Modeling and Simulation International\u00a085(11\/12), 778\u2013792 (2009)","journal-title":"Simulation: Transactions of the Society for Modeling and Simulation International"},{"key":"28_CR11","volume-title":"Proc. of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2009), Corvallis, Oregon (US)","author":"J.E. Rivera","year":"2009","unstructured":"Rivera, J.E., Dur\u00e1n, F., Vallecillo, A.: A graphical approach for modeling time-dependent behavior of DSLs. In: Proc. of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2009), Corvallis, Oregon (US). IEEE Computer Society, Los Alamitos (2009)"},{"key":"28_CR12","unstructured":"Toncar, V.: VoIP Basics: About Jitter (2007), http:\/\/toncar.cz\/Tutorials\/VoIP\/VoIP_Basics_Jitter.html"},{"key":"28_CR13","doi-asserted-by":"crossref","unstructured":"Liao, Y., Cohen, D.: A specification approach to high level program monitoring and measuring\u00a018(11), 969\u2013978 (1992)","DOI":"10.1109\/32.177366"},{"key":"28_CR14","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1109\/DSN.2002.1029005","volume-title":"Proceedings of the 2002 International Conference on Dependable Systems and Networks","author":"M.Y. Chen","year":"2002","unstructured":"Chen, M.Y., Kiciman, E., Fratkin, E., Fox, A., Brewer, E.: Pintpoint: Problem determination in large, dynamic internet services. In: Proceedings of the 2002 International Conference on Dependable Systems and Networks, pp. 595\u2013604. IEEE Computer Society, Washington (2002)"},{"key":"28_CR15","unstructured":"Rohr, M., van Hoorn, A., Matevska, J., Sommer, N., Stoever, L., Giesecke, S., Hasselbring, W.: Kieker: Continuous monitoring and on demand visualization of Java software behavior. In: Proceedings of the IASTED International Conference on Software Engineering 2008, pp. 80\u201385. ACTA Press (2008)"},{"key":"28_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"G. Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.: An overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 327\u2013353. Springer, Heidelberg (2001)"},{"key":"28_CR17","unstructured":"Spinczyk, O., Gal, A., Schroder-Preikschat, W.: AspectC++: an aspect-oriented extension to the C++ programming language. In: Proc. of 40th International Conference on Tools Pacific, pp. 53\u201360 (2002)"},{"key":"28_CR18","doi-asserted-by":"crossref","unstructured":"Mahrenholz, D., Spinczyk, O., Schroeder-Preikschat, W.: Program instrumentation for debugging and monitoring with Aspectc++. In: Proc. of ISORC 2002, pp. 249\u2013256 (2002)","DOI":"10.1109\/ISORC.2002.1003713"},{"key":"28_CR19","doi-asserted-by":"crossref","unstructured":"Gibbs, T., Malloy, B.: Weaving aspects into C++ applications for validation of temporal invariants. In: Proc. of SMR 2003 (2003)","DOI":"10.1109\/CSMR.2003.1192433"},{"key":"28_CR20","volume-title":"Architecting Dependable Systems","author":"D. Garlan","year":"2003","unstructured":"Garlan, D., Cheng, S., Schmerl, B.: Increasing system dependability through architecture-based self-repair. In: Architecting Dependable Systems. Springer, Heidelberg (2003)"},{"key":"28_CR21","doi-asserted-by":"crossref","unstructured":"Oreizy, P., Gorlick, M., Taylor, R., Heimbigner, D., Johnson, G., Medvidovic, N., Quilici, A., Rosenblum, D., Wolf, A.: An architecture-based approach to self-adaptive software. In: IEEE Intelligent Systems (1999)","DOI":"10.1109\/5254.769885"},{"key":"28_CR22","doi-asserted-by":"crossref","unstructured":"Diaconescu, A., Mos, A., Murphey, J.: Automatic performance management in component based systems. In: Proc. of ICAC 2004, pp. 214\u2013221 (2004)","DOI":"10.1109\/ICAC.2004.1301366"}],"container-title":["Lecture Notes in Computer Science","Models in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12261-3_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:52:05Z","timestamp":1606186325000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12261-3_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642122606","9783642122613"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12261-3_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}