{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:51:28Z","timestamp":1725565888657},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231356"},{"type":"electronic","value":"9783540278634"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27863-4_1","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T12:51:50Z","timestamp":1284641510000},"page":"1-8","source":"Crossref","is-referenced-by-count":2,"title":["Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/s004500050096","volume":"13","author":"H. Ehrig","year":"1998","unstructured":"Ehrig, H., Geisler, R., Klar, M.: DFG-Schwerpunktprogramm ab 1998. Integration von Techniken der Softwarespezifikation f\u00fcr ingenieurwissenschaftliche Anwendungen. Informatik Forschung und Entwicklung\u00a013, 43\u201346 (1998)","journal-title":"Informatik Forschung und Entwicklung"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/PL00009144","volume":"16","author":"H. Ehrig","year":"2001","unstructured":"Ehrig, H., Gro\u00dfe-Rhode, M.: Integration von Techniken der Softwarespezifikation f\u00fcr ingenieurwissenschaftliche Anwendungen. Informatik Forschung und Entwicklung\u00a016, 110\u2013117 (2001)","journal-title":"Informatik Forschung und Entwicklung"},{"key":"1_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Come, Let\u2019s Play: Scenario-Based LSCs and the Play-Engine","author":"D. Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Come, Let\u2019s Play: Scenario-Based LSCs and the Play-Engine. Springer, Heidelberg (2003)"},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W. Damm","year":"2001","unstructured":"Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design\u00a019, 45\u201380 (2001)","journal-title":"Formal Methods in System Design"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/978-3-540-27863-4_21","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"M. Brill","year":"2004","unstructured":"Brill, M., Damm, W., Klose, J., Westphal, B., Wittke, H.: Live Sequence Charts. In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 374\u2013399. Springer, Heidelberg (2004)"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/978-3-540-27863-4_24","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"D. Bj\u00f8rner","year":"2004","unstructured":"Bj\u00f8rner, D., George, C., Haxthausen, A., Madsen, C., Holmslykke, S., P\u011bni\u010dka, M.: \u201cUML\u2013ising\u201d Formal Techniques. In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 423\u2013450. Springer, Heidelberg (2004)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1007\/978-3-540-27863-4_26","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"F. Ortmeier","year":"2004","unstructured":"Ortmeier, F., Thums, A., Schellhorn, G., Reif, W.: Combining Formal Methods and Safety Analysis - The For MosSA Approach. In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 474\u2013493. Springer, Heidelberg (2004)"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/S0951-8320(03)00090-5","volume":"81","author":"F. Ortmeier","year":"2003","unstructured":"Ortmeier, F., Reif, W., et al.: Safety Analysis on the Height Control System for the Elbtunnel. Reliability Engineering and System Safety\u00a081, 259\u2013268 (2003)","journal-title":"Reliability Engineering and System Safety"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-540-27863-4_12","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"J. Desel","year":"2004","unstructured":"Desel, J.: Process Description Languages and Methods: Introduction to Subject Area Petri Nets and Related Approaches in Engineering. In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 199\u2013205. Springer, Heidelberg (2004)"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-540-27863-4_13","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"S. Flake","year":"2004","unstructured":"Flake, S., M\u00fcller, W., Ruf, J., Pape, U.: Specification and Formal Verification of Temporal Properties of Production Automation Systems. In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 206\u2013226. Springer, Heidelberg (2004)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/978-3-540-27863-4_16","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"J. Desel","year":"2004","unstructured":"Desel, J., Hanisch, H., Juh\u00e1s, G., Lorenz, R., Neumair, C.: Guide to Modelling and Control with modules of Signal Nets. In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 270\u2013300. Springer, Heidelberg (2004)"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1007\/978-3-540-27863-4_30","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"M. Gro\u00dfe-Rhode","year":"2004","unstructured":"Gro\u00dfe-Rhode, M.: On Model Integration and Integration Modelling. In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 567\u2013581. Springer, Heidelberg (2004)"},{"key":"1_CR13","series-title":"Monographs in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-09853-0","volume-title":"Semantic Integration of Heterogeneous Software Specifications","author":"M. Gro\u00dfe-Rhode","year":"2004","unstructured":"Gro\u00dfe-Rhode, M.: Semantic Integration of Heterogeneous Software Specifications. Monographs in Theoretical Computer Science. Springer, Heidelberg (2004)"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"602","DOI":"10.1007\/978-3-540-27863-4_32","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"B. Braatz","year":"2004","unstructured":"Braatz, B., Klein, M., Schr\u00f6ter, G.: Semantical Integration of Object-Oriented Viewpoint Specification Techniques. In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 602\u2013626. Springer, Heidelberg (2004)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"582","DOI":"10.1007\/978-3-540-27863-4_31","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"F. Orejas","year":"2004","unstructured":"Orejas, F., Pino, E.: On the Integration of Heterogeneous Specifications. In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 582\u2013601. Springer, Heidelberg (2004)"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/978-3-540-27863-4_2","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"E. Westk\u00e4mper","year":"2004","unstructured":"Westk\u00e4mper, E., Bengel, M., Fischer, K.: Basic Principles for Software Specification. In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 9\u201322. Springer, Heidelberg (2004)"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1524\/auto.2001.49.5.225","volume":"5","author":"E. Westk\u00e4mper","year":"2001","unstructured":"Westk\u00e4mper, E., Braatz, A.: Eine Methode zur objektorientierten Software-Spezifikation von dezentralen Automatisierungssystemen mit der Unified Modeling Language (UML). At \u2013 Automatisierungstechnik\u00a05, 225\u2013233 (2001)","journal-title":"At \u2013 Automatisierungstechnik"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-540-27863-4_7","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"E. Schnieder","year":"2004","unstructured":"Schnieder, E.: Specification Methodology, Case Studies and Experiments - An Introduction to the Subject Area of Traffic Control Systems. In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 89\u201395. Springer, Heidelberg (2004)"},{"key":"1_CR19","unstructured":"Tarnai, G., Schnieder, E. (eds.): Formal Methods for Railway Operation and Control Systems (Forms 2003), L\u2019Harmattan Budapest (2003)"}],"container-title":["Lecture Notes in Computer Science","Integration of Software Specification Techniques for Applications in Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27863-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T18:37:16Z","timestamp":1558291036000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27863-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231356","9783540278634"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27863-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}