{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:03:37Z","timestamp":1737435817889,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665380"},{"type":"electronic","value":"9783540481669"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48166-4_11","type":"book-chapter","created":{"date-parts":[[2007,8,9]],"date-time":"2007-08-09T00:59:20Z","timestamp":1186621160000},"page":"163-179","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Specification-Based Prototyping for Embedded Systems\u2019"],"prefix":"10.1007","author":[{"given":"Jeffrey M.","family":"Thompson","sequence":"first","affiliation":[]},{"given":"Mats P. E.","family":"Heimdahl","sequence":"additional","affiliation":[]},{"given":"Steven P.","family":"Miller","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,8,27]]},"reference":[{"key":"11_CR1","unstructured":"L. Abraido-Fandino. An overview of REFINE 2.0. In Proceedings of the second symposium on knowledge engineering, Madrid, Spain, 1987."},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"J.M. Atlee and M.A. Buckley. A logic-model semantics for SCR software requirements. In S.J. Zeil, editor, Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA\u201996), pages 280\u2013292, January 1996.","DOI":"10.1145\/229000.226326"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"B. Auernheimer and R. A. Kemmerer. RT-ASLAN: A specification language for real-time systems. IEEE Transactions on Software Engineering, 12(9), September 1986.","DOI":"10.1109\/TSE.1986.6313044"},{"issue":"5","key":"11_CR4","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1109\/32.232011","volume":"19","author":"L. Valdis Berzins","year":"1993","unstructured":"Valdis Berzins, Luqi, and Amiram Yehudai. Using transformations in specification-based prototyping. IEEE Transactions on Software Engineering, 19(5):436\u2013452, May 1993.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"7","key":"11_CR5","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1109\/32.708566","volume":"24","author":"W. Chan","year":"1998","unstructured":"W. Chan, R.J. Anderson, P. Beame, S. Burns, F. Modugno, D. Notkin, and J.D. Reese. Model checking large software specifications. IEEE Transactions on Software Engineering, 24(7):498\u2013520, July 1998.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"A. M. Davis. Operational prototyping: A new development approach. IEEE Software, 6(5), September 1992.","DOI":"10.1109\/52.156899"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"S. Faulk, J. Brackett, P. Ward, and J Kirby, Jr. The CoRE method for real-time requirements. IEEE Software, 9(5), September 1992.","DOI":"10.1109\/52.156894"},{"issue":"1","key":"11_CR8","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1109\/52.251198","volume":"11","author":"S. Gerhart","year":"1994","unstructured":"S. Gerhart, D. Craigen, and T. Ralston. Experience with formal methods in critical systems. IEEE Software, vol-11(1):21\u201339, January 1994.","journal-title":"IEEE Software"},{"issue":"2","key":"11_CR9","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1109\/32.345825","volume":"21","author":"S. Gerhart","year":"1995","unstructured":"S. Gerhart, D. Craigen, and T. Ralston. Formal methods reality check: Industrial usage. IEEE Transactions on Software Engineering, 21(2):90\u201398, February 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, pages 231\u2013274, 1987.","DOI":"10.1016\/0167-6423(87)90035-9"},{"issue":"4","key":"11_CR11","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. Statemate: A working environment for the devel-opment of complex reactive systems. IEEE Transactions on Software Engineering, 16(4):403\u2013414, April 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Mats P. E. Heimdahl and Nancy G. Leveson. Completeness and consistency in hierarchical state-base requirements. IEEE Transactions on Software Engineering, pages 363\u2013377, June 1996.","DOI":"10.1109\/32.508311"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Mats P.E. Heimdahl, Jeffrey M. Thompson, and Barbara J. Czerny. Specification and analysis of intercomponent communication. IEEE Computer, pages 47\u201354, April 1998.","DOI":"10.1109\/2.666842"},{"key":"11_CR14","unstructured":"C. L. Heitmeyer, B. L. Labaw, and D. Kiskis. Consistency checking of SCR-style requirements specifications. In Proceedings of the Second IEEE International Symposium on Requirements Engineering, March 1995."},{"issue":"3","key":"11_CR15","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1145\/234426.234431","volume":"5","author":"C.L. Heitmeyer","year":"1996","unstructured":"C.L. Heitmeyer, R.D. Jeffords, and B.G. Labaw. Automated consistency checking of requirements specifications. ACM Transactions of Software Engineering and Methodology, 5(3):231\u2013261, July 1996.","journal-title":"ACM Transactions of Software Engineering and Methodology"},{"issue":"1","key":"11_CR16","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/TSE.1980.230208","volume":"6","author":"K.L. Heninger","year":"1980","unstructured":"K.L. Heninger. Specifying software requirements for complex systems: New techniques and their application. IEEE Transactions on Software Engineering, 6(1):2\u201313, Januaray 1980.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Michael Jackson. The world and the machine. In Proceedings of the 1995 Internation Conference on Software Engineering, pages 283\u2013292, 1995.","DOI":"10.1145\/225014.225041"},{"issue":"5","key":"11_CR18","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1109\/32.232012","volume":"19","author":"B. Kramer","year":"1993","unstructured":"B. Kramer, Luqi, and V. Berzins. Compositional semantics of a real-time prototyping language. IEEE Transactions on Software Engineering, 19(5):453\u2013477, May 1993.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"N.G. Leveson, M.P.E. Heimdahl, H. Hildreth, and J.D. Reese. Requirements specification for process-control systems. IEEE Transactions on Software Engineering, pages 684\u2013706, September 1994.","DOI":"10.1109\/32.317428"},{"issue":"4","key":"11_CR20","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1109\/32.385971","volume":"21","author":"D. C. Luckham","year":"1995","unstructured":"David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, and Walter Mann. Specification and analysis of system architecture using rapide. IEEE Transactions on Software Engineering, 21(4):336\u2013354, April 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"11_CR21","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/0164-1212(93)90027-U","volume":"21","author":"D. C. Luckham","year":"1993","unstructured":"David C. Luckham, James Vera, Doug Bryan, Larry Augustin, and Frank Belz. Partial orderings of event sets and their application to prototyping concurrent timed systems. Journal of Systems Software, 21(3):253\u2013265, June 1993.","journal-title":"Journal of Systems Software"},{"issue":"2","key":"11_CR22","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0096-0551(93)90013-Q","volume":"18","author":"Luqi","year":"1993","unstructured":"Luqi. Real-time constraints in a rapid prototyping language. Computer Languages, 18(2):77\u2013103, 1993.","journal-title":"Computer Languages"},{"key":"11_CR23","unstructured":"Luqi and V. Berzins. Execution of a high level real-time language. In Proceedings of the Real-Time Systems Symposium, 1988."},{"key":"11_CR24","unstructured":"Steven P. Miller. Modeling software requirements for embedded systems. Technical report, Advanced Technology Center, Rockwell Collins, Inc., 1999. In Progress."},{"key":"11_CR25","volume-title":"Technical Report CRL 237","author":"D. L. Parnas","year":"1991","unstructured":"David L. Parnas and Jan Madey. Functional documentation for computer sys-tems engineering (volume 2). Technical Report CRL 237, McMaster University, Hamilton, Ontario, September 1991."},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"P. Zave. An insider\u2019s evaluation of PAISLey. IEEE Transactions on Software Engineering, 17(3), March 1991.","DOI":"10.1109\/32.75412"}],"container-title":["Lecture Notes in Computer Science","Software Engineering \u2014 ESEC\/FSE \u201999"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48166-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T06:04:01Z","timestamp":1737353041000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48166-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665380","9783540481669"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-48166-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"27 August 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}