{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:29:05Z","timestamp":1725564545890},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540211792"},{"type":"electronic","value":"9783540246268"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24626-8_9","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T11:32:45Z","timestamp":1283686365000},"page":"137-151","source":"Crossref","is-referenced-by-count":0,"title":["A Model Based Development Approach for Distributed Embedded Systems"],"prefix":"10.1007","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Gilliers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrice","family":"Kordon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dan","family":"Regep","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"The B-book","author":"J. Abrial","year":"1995","unstructured":"Abrial, J.: The B-book. Cambridge University Press, Cambridge (1995)"},{"key":"9_CR2","volume-title":"14th IEEE International Conference on Automated Software Engineering, ASE 1999","author":"P. Bose","year":"1999","unstructured":"Bose, P.: Automated translation of UML models of architectures for verification and simulation using SPIN. In: Hall, R.J., Tyugu, E. (eds.) 14th IEEE International Conference on Automated Software Engineering, ASE 1999, IEEE, Los Alamitos (1999)"},{"issue":"3","key":"9_CR3","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1109\/32.489078","volume":"22","author":"J. Corbett","year":"1996","unstructured":"Corbett, J.: Evaluating deadlock detection methods for concurrent software. Software Engineering\u00a022(3), 161\u2013180 (1996)","journal-title":"Software Engineering"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Dobbing, B., Burns, A.: The Ravenscar tasking profile for high integrity real-time programs. In: Proceedings of SigAda 1998, Washington, DC, USA (November 1998)","DOI":"10.1145\/289524.289525"},{"key":"9_CR5","volume-title":"4th IEEE International Symposium on High-Assurance Systems Engineering","author":"S. Gnesi","year":"1999","unstructured":"Gnesi, S., Latella, D., Massink, M.: Model checking uml statechart diagrams using jack. In: 4th IEEE International Symposium on High-Assurance Systems Engineering, IEEE, Los Alamitos (1999)"},{"issue":"2","key":"9_CR6","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1109\/MS.1985.230351","volume":"2","author":"D. Helmbold","year":"1985","unstructured":"Helmbold, D., Luckham, D.: Debugging Ada tasking programs. IEEE Software\u00a02(2), 47\u201357 (1985)","journal-title":"IEEE Software"},{"key":"#cr-split#-9_CR7.1","unstructured":"ISO. Information Technology ??? Programming Languages ??? Ada. ISO (February 1995);"},{"key":"#cr-split#-9_CR7.2","unstructured":"ISO\/IEC\/ANSI 8652:1995"},{"key":"9_CR8","unstructured":"ITU-T. Open Distributed Processing, X.901, X.902, X.903 and X.904 standard. Technical report, ITU-T (1997)"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-48480-6_11","volume-title":"The Unified Modeling Language. \u00abUML\u00bb\u201998: Beyond the Notation","author":"I. Khriss","year":"1999","unstructured":"Khriss, I., Elkoutbi, M., Keller, R.: Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams. In: B\u00e9zivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol.\u00a01618, pp. 132\u2013147. Springer, Heidelberg (1999)"},{"key":"9_CR10","unstructured":"Kordon, F., Mounier, I., Paviot-Adet, E., Regep, D.: Formal verification of embedded distributed systems in a prototyping approach. In: International Workshop on Engineering Automation for Software Intensive System Integration (June 2001)"},{"issue":"9","key":"9_CR11","doi-asserted-by":"publisher","first-page":"817","DOI":"10.1109\/TSE.2002.1033222","volume":"28","author":"F. Kordon","year":"2002","unstructured":"Kordon, F., Luqi: An introduction to rapid system prototyping. IEEE Transaction on Software Engineering\u00a028(9), 817\u2013821 (2002)","journal-title":"IEEE Transaction on Software Engineering"},{"issue":"2","key":"9_CR12","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1145\/253671.253754","volume":"40","author":"N. Leveson","year":"1997","unstructured":"Leveson, N.: Software engineering: Stretching the limits of complexity. Communications of the ACM\u00a040(2), 129\u2013131 (1997)","journal-title":"Communications of the ACM"},{"issue":"1","key":"9_CR13","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1109\/52.566430","volume":"14","author":"Luqi","year":"1997","unstructured":"Luqi, Goguen, J.: Formal methods: Promises and problems. IEEE Software\u00a014(1), 73\u201385 (1997)","journal-title":"IEEE Software"},{"key":"9_CR14","volume-title":"MPI: The Complete Reference","author":"S. Marc","year":"1996","unstructured":"Marc, S., Otto, S., Huss-Lederman, S., Walker, D., Dongarra, J.: MPI: The Complete Reference. MIT Press, Cambridge (1996)"},{"issue":"1","key":"9_CR15","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"N. Medvidovic","year":"2000","unstructured":"Medvidovic, N., Taylor, R.: A classification and comparison framework for software architecture description languages. Software Engineering\u00a026(1), 70\u201393 (2000)","journal-title":"Software Engineering"},{"key":"9_CR16","unstructured":"SUN Microsystems. Java Remote Method Invocation (RMI), version 1.3. Technical report, SUN (2001)"},{"key":"9_CR17","unstructured":"OMG. The common object request broker: Architecture and specification, revision 2.2. Technical report, OMG (1998)"},{"key":"9_CR18","unstructured":"OMG. Omg unified modeling language specification, version 1.3. Technical report, OMG (1999)"},{"key":"9_CR19","unstructured":"OMG. Initial Submission to OMG RFP\u2019s: ad\/00-09-01 (UML 2.0 Infrastructure) ad\/00-09-03 (UML 2.0 OCL). Technical report, OMG (2001)"},{"key":"9_CR20","unstructured":"OMG. Model Driven Architecture (MDA), Document number ormsc\/2001-07-01. Technical report, OMG (2001)"},{"key":"9_CR21","unstructured":"QNX. System Architecture Guide - QNX RTOS v6 (2002)"},{"key":"9_CR22","first-page":"102","volume-title":"7th IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems","author":"D. Quartel","year":"1999","unstructured":"Quartel, D., van Sinderen, M., Ferreira Pires, L.: A model-based approach to service creation. In: 7th IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, pp. 102\u2013110. IEEE Computer Society, Los Alamitos (1999)"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Regep, D., Kordon, F.: LfP: a specification language for rapid prototyping of concurrent systems. In: 12th IEEE International Workshop on Rapid System Prototyping (June 2001)","DOI":"10.1109\/IWRSP.2001.933844"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Zhao, J.: A slicing-based approach to extracting reusable software architectures. In: CSMR, pp. 215\u2013223 (2000)","DOI":"10.1109\/CSMR.2000.827330"}],"container-title":["Lecture Notes in Computer Science","Radical Innovations of Software and Systems Engineering in the Future"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24626-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,19]],"date-time":"2019-03-19T23:58:01Z","timestamp":1553039881000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24626-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540211792","9783540246268"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24626-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}