{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:49:44Z","timestamp":1725511784772},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540711551"},{"type":"electronic","value":"9783540711568"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71156-8_12","type":"book-chapter","created":{"date-parts":[[2007,6,20]],"date-time":"2007-06-20T17:19:27Z","timestamp":1182359967000},"page":"225-247","source":"Crossref","is-referenced-by-count":0,"title":["A Component-Based Approach for Constructing High-Confidence Distributed Real-Time and Embedded Systems"],"prefix":"10.1007","author":[{"given":"Shih-Hsi","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barrett R.","family":"Bryant","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mikhail","family":"Auguston","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff","family":"Gray","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajeev","family":"Raje","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mihran","family":"Tuceryan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Auguston, M., Michael, J.B., Shing, M.-T.: Environment Behavior Models for Scenario Generation and Testing Automation. In: Proc. ICSE Workshop Advances in Model-Based Software Testing (2005)","DOI":"10.1145\/1083274.1083284"},{"issue":"7","key":"12_CR2","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.774917","volume":"32","author":"A. Beugnard","year":"1999","unstructured":"Beugnard, A., et al.: Making Components Contract Aware. IEEE Computer\u00a032(7), 38\u201345 (1999)","journal-title":"IEEE Computer"},{"key":"12_CR3","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1987.1663532","volume":"20","author":"F.P. Brooks","year":"1987","unstructured":"Brooks, F.P.: No Silver Bullet: Essence and Accidents of Software Engineering. IEEE Computer\u00a020, 10\u201319 (1987)","journal-title":"IEEE Computer"},{"key":"12_CR4","unstructured":"Bryant, B.R., Lee, B.-S.: Two-Level Grammar as an Object-Oriented Requirements Specification Language. In: Proc. 35th Hawaii Intl. Conf. System Sciences (2002), http:\/\/www.hicss.hawaii.edu\/HICSS_35\/HICSSpapers\/PDFdocuments\/STDSL01.pdf"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Bryant, B.R., et al.: Formal Specification of Generative Component Assembly Using Two-Level Grammar. In: Proc. 14 th Intl. Conf. Software Engineering and Knowledge Engineering, pp. 209\u2013212 (2002)","DOI":"10.1145\/568760.568796"},{"key":"12_CR6","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.W.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Reading (2000)"},{"issue":"4","key":"12_CR7","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1162\/pres.1997.6.4.433","volume":"6","author":"G.J. Klinker","year":"1997","unstructured":"Klinker, G.J., et al.: Confluence of Computer Vision and Interactive Graphics for Augmented Reality. Presence: Teleoperators and Virtual Environments\u00a06(4), 433\u2013451 (1997)","journal-title":"Presence: Teleoperators and Virtual Environments"},{"key":"12_CR8","volume-title":"Component-Based Software Engineering","author":"G. Heineman","year":"2001","unstructured":"Heineman, G., Councill, W.T.: Component-Based Software Engineering. Addison-Wesley, Reading (2001)"},{"key":"12_CR9","series-title":"Monographs in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science, vol.\u00a01. Springer, Heidelberg (1997)"},{"issue":"10","key":"12_CR10","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1145\/383845.383858","volume":"44","author":"G. Kiczales","year":"2001","unstructured":"Kiczales, G., et al.: Getting Started with AspectJ. Communication of the ACM\u00a044(10), 59\u201365 (2001)","journal-title":"Communication of the ACM"},{"volume-title":"Formal Methods for Embedded Distributed Systems: How to Master the Complexity","year":"2004","key":"12_CR11","unstructured":"Kordon, F., Lemoine, M. (eds.): Formal Methods for Embedded Distributed Systems: How to Master the Complexity. Springer, Heidelberg (2004)"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","first-page":"219","volume-title":"Radical Innovations of Software and Systems Engineering in the Future","author":"B.-S. Lee","year":"2004","unstructured":"Lee, B.-S., Bryant, B.R.: Automation of Software System Development Using Natural Language Processing and Two-Level Grammar. In: Wirsing, M., Knapp, A., Balsamo, S. (eds.) RISSEF 2002. LNCS, vol.\u00a02941, pp. 219\u2013223. Springer, Heidelberg (2004)"},{"key":"12_CR13","first-page":"3","volume":"5","author":"B.-S. Lee","year":"2003","unstructured":"Lee, B.-S., Bryant, B.R.: Applying XML Technology for Implementation of Natural Language Specifications. Intl. Journal of Computer Systems, Science and Engineering\u00a05, 3\u201324 (2003)","journal-title":"Intl. Journal of Computer Systems, Science and Engineering"},{"key":"12_CR14","unstructured":"Liu, S.-H., Mernik, M., Bryant, B.R.: Parameter Control in Evolutionary Algorithms by Domain-Specific Scripting Language PPCEA. In: Proc. Intl. Conf. Bioinspired Optimization Methods and their Applications, pp. 41\u201350 (2004)"},{"key":"12_CR15","unstructured":"Liu, S.-H., et al.: Quality of Service-Driven Requirements Analyses for Component Composition: A Two-Level Grammar++ Approach. In: Proc. 17th Intl. Conf. Software Engineering and Knowledge Engineering, pp. 731\u2013734 (2005)"},{"key":"12_CR16","first-page":"202","volume-title":"Proc. 12th IEEE Intl. Conf. and Workshop Engineering of Computer Based Systems","author":"S.-H. Liu","year":"2005","unstructured":"Liu, S.-H., et al.: QoS-UniFrame: A Petri Net-Based Modeling Approach to Assure QoS Requirements of Distributed Real-time and Embedded Systems. In: Proc. 12th IEEE Intl. Conf. and Workshop Engineering of Computer Based Systems, pp. 202\u2013209. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"12_CR17","unstructured":"Liu, S.-H., et al.: QoSPL: A QoS-Driven Software Product Line Engineering Framework for Distributed Real-time and Embedded Systems. In: Proc. 18th Intl. Conf. Software Engineering and Knowledge Engineering, pp. 724\u2013729 (2006)"},{"key":"12_CR18","unstructured":"Michigan State University. RAPIDWare: Component-Based Development of Adaptable and Dependable Middleware (2006), http:\/\/www.cse.msu.edu\/rapidware"},{"key":"12_CR19","doi-asserted-by":"crossref","first-page":"68","DOI":"10.4018\/978-1-59140-426-2.ch004","volume-title":"Service-Oriented Software System Engineering: Challenges and Practices","author":"A.M. Olson","year":"2005","unstructured":"Olson, A.M., et al.: UniFrame: A Unified Framework for Developing Service-Oriented, Component-Based Distributed Software Systems. In: Stojanovic, Z., Dahanayake, A. (eds.) Service-Oriented Software System Engineering: Challenges and Practices, pp. 68\u201387. Idea Group Inc., Hershey (2005)"},{"key":"12_CR20","unstructured":"Raje, R.R., et al.: A Unified Approach for the Integration of Distributed Heterogeneous Software Components. In: Proc. 2001 Monterey Workshop Engineering Automation for Software Intensive System Integration, pp. 109\u2013119 (2001)"},{"key":"12_CR21","doi-asserted-by":"publisher","first-page":"1009","DOI":"10.1002\/cpe.707","volume":"14","author":"R. Raje","year":"2002","unstructured":"Raje, R., et al.: A QoS-based Framework for Creating Distributed and Heterogeneous Software Components. Concurrency and Computation: Practice and Experience\u00a014, 1009\u20131034 (2002)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"12_CR22","unstructured":"Reicher, T.: A Framework for Dynamically Adaptable Augmented Reality Systems. Doctoral Dissertation, Institutf\u00fcr Informatik. Technische Universit\u00e4t M\u00fcnchen (2004)"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Siram, N.N., et al.: An Architecture for the UniFrame Resource Discovery Service. In: Proc. 3rd Intl. Workshop Software Engineering and Middleware, pp. 20\u201335 (2002)","DOI":"10.1007\/3-540-38093-0_2"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Siram, N.N.: An Architecture for the UniFrame Resource Discovery Service. Master Thesis, Dept. of CIS. Indiana Univ.-Purdue Univ. Indianapolis (2002)","DOI":"10.1007\/3-540-38093-0_2"},{"key":"12_CR25","unstructured":"TAO (The ACE ORB). Distributed Object Computing (DOC) Group for Distributed Real-time and Embedded Systems (2006), http:\/\/www.cs.wustl.edu\/~schmidt\/TAO.html"},{"issue":"3","key":"12_CR26","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1162\/105474602317473213","volume":"11","author":"M. Tuceryan","year":"2002","unstructured":"Tuceryan, M., Genc, Y., Navab, N.: Single Point Active Alignment Method (SPAAM) for Optical See-through HMD Calibration for Augmented Reality. Presence: Teleoperators and Virtual Environments\u00a011(3), 259\u2013276 (2002)","journal-title":"Presence: Teleoperators and Virtual Environments"},{"issue":"3","key":"12_CR27","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1109\/2945.466720","volume":"1","author":"M. Tuceryan","year":"1995","unstructured":"Tuceryan, M., et al.: Calibration Requirements and Procedures for a Monitor-based Augmented Reality System. IEEE Trans. on Visualization and Computer Graphics\u00a01(3), 255\u2013273 (1995)","journal-title":"IEEE Trans. on Visualization and Computer Graphics"},{"key":"12_CR28","first-page":"260","volume-title":"Proc. 2006 IEEE Intl. Conf. on System of Systems Engineering","author":"H. Tummala","year":"2006","unstructured":"Tummala, H., et al.: Implementation and Analysis of Environment Behavior Models as a Tool for Testing Real-Time, Reactive System. In: Proc. 2006 IEEE Intl. Conf. on System of Systems Engineering, pp. 260\u2013265. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"12_CR29","unstructured":"University of Texas at Dallas. APEX: Advanced Programming Environment for Embedded Computing Systems (2006), http:\/\/www.utdallas.edu\/research\/esc"},{"key":"12_CR30","volume-title":"QoS-enabled Middleware. Middleware for Communications","author":"N. Wang","year":"2003","unstructured":"Wang, N., et al.: QoS-enabled Middleware. Middleware for Communications. Wiley and Sons, Chichester (2003)"},{"key":"12_CR31","doi-asserted-by":"crossref","unstructured":"Whitaker, R., et al.: Object Calibration for Augmented Reality. In: Proc. Eurographics \u201995, pp. 15\u201327 (1995)","DOI":"10.1111\/j.1467-8659.1995.cgf143_0015.x"},{"issue":"4","key":"12_CR32","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/261640.261641","volume":"6","author":"A. Zaremski","year":"1995","unstructured":"Zaremski, A., Wing, J.: Specification Matching of Software Components. ACM Trans. on Software Engineering\u00a06(4), 333\u2013369 (1995)","journal-title":"ACM Trans. on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Reliable Systems on Unreliable Networked Platforms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71156-8_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T08:42:48Z","timestamp":1683880968000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71156-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540711551","9783540711568"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71156-8_12","relation":{},"subject":[]}}