{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T20:47:58Z","timestamp":1648846078337},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,4,12]],"date-time":"2013-04-12T00:00:00Z","timestamp":1365724800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1007\/s10703-013-0185-5","type":"journal-article","created":{"date-parts":[[2013,4,11]],"date-time":"2013-04-11T08:32:53Z","timestamp":1365669173000},"page":"414-449","source":"Crossref","is-referenced-by-count":0,"title":["Applying string-rewriting to sequence-based specification"],"prefix":"10.1007","volume":"43","author":[{"given":"Robert","family":"Eschbach","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lan","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jesse H.","family":"Poore","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,4,12]]},"reference":[{"key":"185_CR1","first-page":"211","volume-title":"Proceedings of the 2nd conference of the European cooperation on informatics","author":"W Bartussek","year":"1978","unstructured":"Bartussek W, Parnas DL (1978) Using assertions about traces to write abstract specifications for software modules. In: Proceedings of the 2nd conference of the European cooperation on informatics, Venice, Italy, pp 211\u2013236"},{"key":"185_CR2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/SEAS.2007.5","volume-title":"Proceedings of the 4th international workshop on software engineering for automotive systems","author":"T Bauer","year":"2007","unstructured":"Bauer T, Beletski T, Boehr F, Eschbach R, Landmann D, Poore J (2007) From requirements to statistical testing of embedded systems. In: Proceedings of the 4th international workshop on software engineering for automotive systems, Minneapolis, MN, pp 3\u20139"},{"key":"185_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-9771-7","volume-title":"String-rewriting systems","author":"RV Book","year":"1993","unstructured":"Book RV, Otto F (1993) String-rewriting systems. Springer, Berlin"},{"key":"185_CR4","first-page":"49","volume-title":"Proceedings of the 10th Asia-Pacific software engineering conference","author":"GH Broadfoot","year":"2003","unstructured":"Broadfoot GH, Broadfoot PJ (2003) Academia and industry meet: some experiences of formal methods in practice. In: Proceedings of the 10th Asia-Pacific software engineering conference, Chiang Mai, Thailand, pp 49\u201359"},{"issue":"4","key":"185_CR5","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1145\/321239.321249","volume":"11","author":"J Brzozowski","year":"1964","unstructured":"Brzozowski J (1964) Derivatives of regular expressions. J ACM 11(4):481\u2013494","journal-title":"J ACM"},{"key":"185_CR6","unstructured":"Brzozowski J, J\u00fcrgensen H (2004) Theory of deterministic trace-assertion specifications. Technical report CS-2004-30, University of Waterloo"},{"issue":"5","key":"185_CR7","doi-asserted-by":"crossref","first-page":"831","DOI":"10.1142\/S0129054105003327","volume":"16","author":"J Brzozowski","year":"2005","unstructured":"Brzozowski J, J\u00fcrgensen H (2005) Representation of semiautomata by canonical words and equivalences. Int J Found Comput Sci 16(5):831\u2013850","journal-title":"Int J Found Comput Sci"},{"issue":"5","key":"185_CR8","doi-asserted-by":"crossref","first-page":"1065","DOI":"10.1142\/S0129054107005133","volume":"18","author":"J Brzozowski","year":"2007","unstructured":"Brzozowski J, J\u00fcrgensen H (2007) Representation of semiautomata by canonical words and equivalences, part II: specification of software modules. Int J Found Comput Sci 18(5):1065\u20131087","journal-title":"Int J Found Comput Sci"},{"key":"185_CR9","unstructured":"Carter JM (2009) Sequence-based specification of embedded systems, Dissertation, University of Tennessee, Knoxville"},{"key":"185_CR10","first-page":"41","volume-title":"Proceedings of the 1st workshop on model-based testing in practice","author":"JM Carter","year":"2008","unstructured":"Carter JM, Lin L, Poore JH (2008) Automated functional testing of Simulink control models. In: Proceedings of the 1st workshop on model-based testing in practice, Berlin, Germany, pp 41\u201350"},{"key":"185_CR11","unstructured":"Eschbach R, Lin L, Poore JH (2012) Applying string-rewriting to sequence-based specification, Technical report UT-CS-12-692, University of Tennessee, Knoxville. http:\/\/web.eecs.utk.edu\/~library\/TechReports\/2012\/ut-cs-12-692.pdf"},{"issue":"12","key":"185_CR12","doi-asserted-by":"crossref","first-page":"1102","DOI":"10.1109\/TC.1985.6312209","volume":"C34","author":"D Hoffman","year":"1985","unstructured":"Hoffman D (1985) The trace specification of communications protocols. IEEE Trans Comput C34(12):1102\u20131113","journal-title":"IEEE Trans Comput"},{"issue":"9","key":"185_CR13","doi-asserted-by":"crossref","first-page":"1243","DOI":"10.1109\/32.6168","volume":"14","author":"D Hoffman","year":"1988","unstructured":"Hoffman D, Snodgrass RT (1988) Trace specifications: methodology and models. IEEE Trans Softw Eng 14(9):1243\u20131252","journal-title":"IEEE Trans Softw Eng"},{"issue":"6","key":"185_CR14","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/j.entcs.2005.04.008","volume":"128","author":"PJ Hopcroft","year":"2005","unstructured":"Hopcroft PJ, Broadfoot GH (2005) Combining the box structure development method and CSP for software development. Electron Notes Theor Comput Sci 128(6):127\u2013144","journal-title":"Electron Notes Theor Comput Sci"},{"issue":"7","key":"185_CR15","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1109\/32.935852","volume":"27","author":"R Janicki","year":"2001","unstructured":"Janicki R, Sekerinski E (2001) Foundations of the trace assertion method of module interface specification. IEEE Trans Softw Eng 27(7):577\u2013598","journal-title":"IEEE Trans Softw Eng"},{"key":"185_CR16","volume-title":"Real-time systems: specification, verification and analysis","year":"1996","unstructured":"Joseph M (ed) (1996) Real-time systems: specification, verification and analysis. Prentice Hall International, London"},{"issue":"6","key":"185_CR17","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1002\/spe.907","volume":"39","author":"L Lin","year":"2009","unstructured":"Lin L, Prowell SJ, Poore JH (2009) The impact of requirements changes on specifications and state machines. Softw Pract Exp 39(6):573\u2013610","journal-title":"Softw Pract Exp"},{"issue":"2","key":"185_CR18","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1016\/j.tcs.2009.06.041","volume":"411","author":"L Lin","year":"2010","unstructured":"Lin L, Prowell SJ, Poore JH (2010) An axiom system for sequence-based specification. Theor Comput Sci 411(2):360\u2013376","journal-title":"Theor Comput Sci"},{"key":"185_CR19","volume-title":"Structured programming: theory and practice","author":"RC Linger","year":"1979","unstructured":"Linger RC, Mills HD, Witt BI (1979) Structured programming: theory and practice. Addison-Wesley, Boston"},{"issue":"3","key":"185_CR20","doi-asserted-by":"crossref","first-page":"600","DOI":"10.1145\/828.829","volume":"31","author":"J McLean","year":"1984","unstructured":"McLean J (1984) A formal method for the abstract specification of software. J ACM 31(3):600\u2013627","journal-title":"J ACM"},{"issue":"1","key":"185_CR21","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/360569.360659","volume":"18","author":"HD Mills","year":"1975","unstructured":"Mills HD (1975) The new math of computer programming. Commun ACM 18(1):43\u201348","journal-title":"Commun ACM"},{"issue":"6","key":"185_CR22","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/2.948","volume":"21","author":"HD Mills","year":"1988","unstructured":"Mills HD (1988) Stepwise refinement and verification in box-structured systems. IEEE Comput 21(6):23\u201336","journal-title":"IEEE Comput"},{"key":"185_CR23","unstructured":"MPCS (2012) Mine pump controller software enumeration. http:\/\/sqrl.eecs.utk.edu\/btw\/files\/MPCS_sr.html . Accessed 4 January 2013"},{"key":"185_CR24","unstructured":"Parnas DL, Wang Y (1989) The trace assertion method of module interface specification, Technical report 89-261, Queens University"},{"key":"185_CR25","unstructured":"Proto_Seq (2012) ESP project. http:\/\/sqrl.eecs.utk.edu\/esp\/index.html . Accessed 4 January 2013"},{"issue":"3","key":"185_CR26","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1002\/(SICI)1097-024X(199803)28:3<329::AID-SPE157>3.0.CO;2-H","volume":"28","author":"SJ Prowell","year":"1998","unstructured":"Prowell SJ, Poore JH (1998) Sequence-based software specification of deterministic systems. Softw Pract Exp 28(3):329\u2013344","journal-title":"Softw Pract Exp"},{"issue":"5","key":"185_CR27","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1109\/TSE.2003.1199071","volume":"29","author":"SJ Prowell","year":"2003","unstructured":"Prowell SJ, Poore JH (2003) Foundations of sequence-based software specification. IEEE Trans Softw Eng 29(5):417\u2013429","journal-title":"IEEE Trans Softw Eng"},{"key":"185_CR28","volume-title":"Proceedings of the 4th American nuclear society international topical meeting on nuclear plant instrumentation, controls and human-machine interface technology","author":"SJ Prowell","year":"2004","unstructured":"Prowell SJ, Swain WT (2004) Sequence-based specification of critical software systems. In: Proceedings of the 4th American nuclear society international topical meeting on nuclear plant instrumentation, controls and human-machine interface technology, Columbus, OH"},{"key":"185_CR29","volume-title":"Cleanroom software engineering: technology and process","author":"SJ Prowell","year":"1999","unstructured":"Prowell SJ, Trammell CJ, Linger RC, Poore JH (1999) Cleanroom software engineering: technology and process. Addison-Wesley, Reading"},{"key":"185_CR30","unstructured":"SOS (2012) Satellite operations software enumeration. http:\/\/sqrl.eecs.utk.edu\/btw\/files\/SOS_sr.html . Accessed 4 January 2013"},{"key":"185_CR31","unstructured":"Swain WT (2011) Application of hybrid sequence-based specification to a data acquisition processor, Technical report UT-CS-11-669, University of Tennessee, Knoxville. http:\/\/sqrl.eecs.utk.edu\/btw\/files\/WIM-HSBS-TR.pdf"},{"key":"185_CR32","first-page":"14","volume-title":"Proceedings of the 15th international conference on software engineering","author":"Y Wang","year":"1993","unstructured":"Wang Y, Parnas DL (1993) Simulating the behavior of software modules by trace rewriting. In: Proceedings of the 15th international conference on software engineering, Baltimore, MD, pp 14\u201323"},{"issue":"10","key":"185_CR33","doi-asserted-by":"crossref","first-page":"750","DOI":"10.1109\/32.328996","volume":"20","author":"Y Wang","year":"1994","unstructured":"Wang Y, Parnas DL (1994) Simulating the behavior of software modules by trace rewriting. IEEE Trans Softw Eng 20(10):750\u2013759","journal-title":"IEEE Trans Softw Eng"},{"key":"185_CR34","unstructured":"Weigh-In-Motion (2006) Weigh-In-Motion, cube management, and marking user manual. Oak Ridge National Laboratory, Oak Ridge, TN, Version 0.8.2"},{"key":"185_CR35","unstructured":"WIMDAP (2012) Weigh-In-Motion data acquisition processor enumeration. http:\/\/sqrl.eecs.utk.edu\/btw\/files\/WIMDAP_sr.html . Accessed 4 January 2013"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-013-0185-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-013-0185-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-013-0185-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T22:05:53Z","timestamp":1559253953000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-013-0185-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,12]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["185"],"URL":"https:\/\/doi.org\/10.1007\/s10703-013-0185-5","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4,12]]}}}