{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T02:10:11Z","timestamp":1738289411876,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540709299"},{"type":"electronic","value":"9783540709305"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70930-5_11","type":"book-chapter","created":{"date-parts":[[2008,7,16]],"date-time":"2008-07-16T15:58:24Z","timestamp":1216223904000},"page":"161-181","source":"Crossref","is-referenced-by-count":0,"title":["Reusable Services and Semi-automatic Service Composition for Automotive Software"],"prefix":"10.1007","author":[{"given":"Holger","family":"Giese","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1109\/ICSE.2003.1201228","volume-title":"ICSE 2003: Proceedings of the 25th International Conference on Software Engineering","author":"K. Grimm","year":"2003","unstructured":"Grimm, K.: Software technology in an automotive company: major challenges. In: ICSE 2003: Proceedings of the 25th International Conference on Software Engineering, Washington, DC, USA, pp. 498\u2013503. IEEE Computer Society, Los Alamitos (2003)"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1145\/1017753.1017787","volume-title":"EMSOFT 2004: Proceedings of the 4th ACM international conference on Embedded software","author":"B. Hardung","year":"2004","unstructured":"Hardung, B., K\u00f6lzow, T., Kr\u00fcger, A.: Reuse of software in distributed embedded automotive systems. In: EMSOFT 2004: Proceedings of the 4th ACM international conference on Embedded software, pp. 203\u2013210. ACM Press, New York (2004)"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/MS.2003.1159025","volume":"20","author":"M. Weber","year":"2003","unstructured":"Weber, M., Weisbrod, J.: Requirements engineering in automotive development: Experiences and challenges. IEEE Software\u00a020, 16\u201324 (2003)","journal-title":"IEEE Software"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/MS.2002.1020289","volume":"19","author":"S. Thiel","year":"2002","unstructured":"Thiel, S., Hein, A.: Modeling and using product line variability in automotive systems. IEEE Software\u00a019, 66\u201372 (2002)","journal-title":"IEEE Software"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/940071.940078","volume-title":"Proc.\u00a0of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering (ESEC\/FSE-11)","author":"H. Giese","year":"2003","unstructured":"Giese, H., Tichy, M., Burmester, S., Sch\u00e4fer, W., Flake, S.: Towards the Compositional Verification of Real-Time UML Designs. In: Proc.\u00a0of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering (ESEC\/FSE-11), pp. 38\u201347. ACM Press, New York (2003)"},{"key":"11_CR6","volume-title":"Informatics in Control, Automation and Robotics","author":"S. Burmester","year":"2006","unstructured":"Burmester, S., Giese, H., Oberschelp, O.: Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems. In: Informatics in Control, Automation and Robotics, Springer, Heidelberg (2006)"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1145\/1029894.1029920","volume-title":"Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004)","author":"H. Giese","year":"2004","unstructured":"Giese, H., Burmester, S., Sch\u00e4fer, W., Oberschelp, O.: Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration. In: FSE 2004, pp. 179\u2013188. ACM Press, New York (2004)"},{"key":"11_CR8","unstructured":"Rosenmayr, M., Sch\u00f6llmann, M., Schmidt, R.: Intelligentes energiemanagement. In: Internationaler CTI-Automobil-Technologie-Kongress AutoTec. (2005)"},{"key":"11_CR9","volume-title":"Component Software, Beyond Object-Oriented Programming","author":"C. Szyperski","year":"1998","unstructured":"Szyperski, C.: Component Software, Beyond Object-Oriented Programming. Addison-Wesley, Reading (1998)"},{"key":"11_CR10","unstructured":"Giese, H.: Towards Scenario-Based Synthesis for Parametric Timed Automata. In: Proc. of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM), Portland, USA (ICSE 2003 Workshop 8) (2003)"},{"key":"11_CR11","volume-title":"Design Patterns, Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns, Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1994)"},{"key":"11_CR12","unstructured":"Buschmann, F., Meunier, R., Rohnert, H., Somerlad, P., Stal, M.: Pattern-Oriented Software Architecture - A System of Patterns, 1st edn. John Wiley & Sons, Inc, Chichester (1996)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Larsen, K., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. Springer International Journal of Software Tools for Technology\u00a01 (1997)","DOI":"10.1007\/s100090050010"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1007\/11557432_40","volume-title":"Model Driven Engineering Languages and Systems","author":"M. Deubler","year":"2005","unstructured":"Deubler, M., Meisinger, M., Rittmann, S., Kr\u00fcger, I.: Modeling Crosscutting Services with UML Sequence Diagrams. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 522\u2013536. Springer, Heidelberg (2005)"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/11495628_14","volume-title":"Scenarios: Models, Transformations and Tools","author":"I.H. Kr\u00fcger","year":"2005","unstructured":"Kr\u00fcger, I.H., Mathew, R.: Component Synthesis from Service Specifications. In: Leue, S., Syst\u00e4, T.J. (eds.) Scenarios: Models, Transformations and Tools. LNCS, vol.\u00a03466, pp. 255\u2013277. Springer, Heidelberg (2005)"},{"key":"11_CR16","unstructured":"Giese, H.: A Formal Calculus for the Compositional Pattern-Based Design of Correct Real-Time Systems. Technical Report tr-ri-03-240, Lehrstuhl f\u00fcr Softwaretechnik, Universit\u00e4t Paderborn, Paderborn, Deutschland (2003)"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Hestermeyer, T., Oberschelp, O., Giese, H.: Structured Information Processing For Self-optimizing Mechatronic Systems. In: Araujo, H., Vieira, A., Braz, J., Encarnacao, B., Carvalho, M. (eds.) Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal, pp. 230\u2013237. INSTICC Press (2004)","DOI":"10.5220\/0001138102300237"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Giese, H., Vilbig, A.: Separation of Non-Orthogonal Concerns in Software Architecture and Design. In: Software and System Modeling (SoSyM), pp. 136\u2013169 (2006)","DOI":"10.1007\/s10270-005-0103-4"},{"key":"11_CR19","unstructured":"Seibel, A.: Behavioral synthesis of potential component real-time behavior. Master\u2019s thesis, University of Paderborn, Department of Computer Science, Paderborn, Germany (2007)"},{"key":"11_CR20","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0167-6423(83)90017-5","volume":"2","author":"E.A. Emerson","year":"1982","unstructured":"Emerson, E.A., Clarke, E.M.: Using branching time temporal logic to synthesize synchronization skeletons. Science of Computer Programming\u00a02, 241\u2013266 (1982)","journal-title":"Science of Computer Programming"},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/11663430_8","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"H. Giese","year":"2006","unstructured":"Giese, H., Hirsch, M.: Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 67\u201378. Springer, Heidelberg (2006)"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Giese, H., Schilling, D., Tichy, M., Burmester, S., Sch\u00e4fer, W., Flake, S.: Towards the compositional verification of real-time uml designs. Technical Report tr-ri-03-241, Lehrstuhl f\u00fcr Softwaretechnik, Universit\u00e4t Paderborn, Paderborn, Deutschland (2003)","DOI":"10.1145\/949952.940078"},{"key":"11_CR23","volume-title":"Real-Time Object-Oriented Modeling","author":"B. Selic","year":"1994","unstructured":"Selic, B., Gullekson, G., Ward, P.: Real-Time Object-Oriented Modeling. John Wiley and Sons, Inc., Chichester (1994)"},{"key":"11_CR24","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/503209.503226","volume-title":"ESEC\/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC\/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, pp. 109\u2013120. ACM Press, New York (2001)"},{"key":"11_CR25","unstructured":"Kr\u00fcger, I.H., Nelson, E., Prasad, K.V.: Service-based software development for automotive applications. In: Proceedings of Convergence (2004)"},{"key":"11_CR26","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1109\/MEMCOD.2005.1487906","volume-title":"3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005)","author":"I. Kr\u00fcger","year":"2005","unstructured":"Kr\u00fcger, I.: Service-oriented software and systems engineering - a vision for the automotive domain. In: 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005). Proceedings, Verona, Italy, July 11-14, 2005, p. 150. IEEE, Los Alamitos (2005)"},{"key":"11_CR27","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/1134285.1134296","volume-title":"ICSE 2006: Proceeding of the 28th international conference on Software engineering","author":"I.H. Kr\u00fcger","year":"2006","unstructured":"Kr\u00fcger, I.H., Mathew, R., Meisinger, M.: Efficient exploration of service-oriented architectures using aspects. In: ICSE 2006: Proceeding of the 28th international conference on Software engineering, pp. 62\u201371. ACM Press, New York (2006)"},{"key":"11_CR28","unstructured":"Giese, H., Hirsch, M.: Checking and Automatic Abstraction for Timed and Hybrid Refinement in Mechtronic UML. Technical Report tr-ri-03-266, University of Paderborn, Paderborn, Germany (2005)"}],"container-title":["Lecture Notes in Computer Science","Model-Driven Development of Reliable Automotive Services"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70930-5_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T01:29:34Z","timestamp":1738286974000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70930-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540709299","9783540709305"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70930-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}