{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T14:27:27Z","timestamp":1672237647197},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2005,4,29]],"date-time":"2005-04-29T00:00:00Z","timestamp":1114732800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Requirements Eng"],"published-print":{"date-parts":[[2005,5]]},"DOI":"10.1007\/s00766-004-0209-1","type":"journal-article","created":{"date-parts":[[2005,4,28]],"date-time":"2005-04-28T07:57:21Z","timestamp":1114675041000},"page":"161-172","source":"Crossref","is-referenced-by-count":11,"title":["Experience of using a lightweight formal specification method for a commercial embedded system product line"],"prefix":"10.1007","volume":"10","author":[{"given":"Michael","family":"Breen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,4,29]]},"reference":[{"key":"209_CR1","unstructured":"Jackson D, Wing J (1996) Lightweight formal methods. IEEE Computer, April 1996"},{"key":"209_CR2","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/52.232392","volume":"Sept. 1993","author":"C Potts","year":"1993","unstructured":"Potts C (1993) Software engineering research revisited. IEEE Softw, Sept. 1993:19\u201328","journal-title":"IEEE Softw"},{"key":"209_CR3","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1145\/279437.279464","volume":"23","author":"Parnas","year":"1998","unstructured":"Parnas D (1998) Successful Software Engineering Research. ACM SIGSOFT Software Engineering Notes 23(3):64\u201368","journal-title":"Successful Software Engineering Research. ACM SIGSOFT Software Engineering Notes"},{"key":"209_CR4","doi-asserted-by":"crossref","unstructured":"Lubars M, Potts C, Richter C (1992) A review of the state of the practice in requirements modeling. In: Proceedings of the interational requirements engineering symposium, IEEE Computer Society Press, Los Alamitos, pp 2\u201314","DOI":"10.1109\/ISRE.1993.324842"},{"key":"209_CR5","unstructured":"Kovitz BL (1998) Practical Software Requirements. Manning, Greenwich, Connecticut"},{"key":"209_CR6","first-page":"designing","volume":"panel","author":"Murphy","year":"1998","unstructured":"Murphy Niall D (1998) Front panel: designing software for embedded user interfaces. R&D books, Lawrence, KS","journal-title":"Front"},{"key":"209_CR7","doi-asserted-by":"crossref","unstructured":"Zimmerman MK, Lundqvist K, Leveson N (2002) Investigating the readability of state-based formal requirements specification languages. In: Proceedings 24th international conference on software engineering (ICSE\u201902), 19\u201325 May","DOI":"10.1145\/581344.581347"},{"key":"209_CR8","doi-asserted-by":"crossref","unstructured":"Monk AF, Curry MB (1994) Discount dialogue modelling with action simulator. In: People and computers IX: proceedings of HCI\u201994. Cambridge University Press, London","DOI":"10.1017\/CBO9780511600821.025"},{"issue":"3","key":"209_CR9","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1145\/234426.234431","volume":"5","author":"CL Heitmeyer","year":"1996","unstructured":"Heitmeyer Constance L, Ralph Jeffords D, Bruce Labaw G (1996) Automated consistency checking of requirements specifications. ACM Trans Softw Eng Methodol 5(3):231\u2013261","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"209_CR10","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel D (1987) Statecharts: a visual formalism for complex systems. Sci Comput Programming 8:231\u2013274","journal-title":"Sci Comput Programming"},{"issue":"2","key":"209_CR11","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1109\/TSE.1986.6312940","volume":"SE-12","author":"D Parnas","year":"1986","unstructured":"Parnas D, Clements P (1986) A rational design process: how and why to fake it. IEEE Trans Software Eng SE-12(2):251\u2013257","journal-title":"IEEE Trans Softw Eng"},{"key":"209_CR12","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/s00766-003-0181-1","volume":"9","author":"DM Berry","year":"2004","unstructured":"Berry DM, Daudjee K, Dong J Fainchteinand I, Nelson MA, Nelson T (2004) User\u2019s manual as a requirements specification: case studies. Requirements Eng J 9:67\u201382","journal-title":"Requirements Eng J"},{"key":"209_CR13","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1016\/0165-6074(93)90174-J","volume":"38","author":"A ten Berg","year":"1993","unstructured":"ten Berg A, Huijs C, Krol T (1993) Relational algebra as formalism for hardware design. Microprocessing and Microprogramming 38:403\u2013410","journal-title":"Microprocessing and Microprogramming"},{"issue":"2","key":"209_CR14","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1109\/32.4637","volume":"14","author":"TT Lee","year":"1988","unstructured":"Lee TT, Lai M-Y (1988) A relational algebraic approach to protocol verification. IEEE Trans Softw Eng 14(2):184\u2013193","journal-title":"IEEE Trans Softw Eng"},{"key":"209_CR15","unstructured":"Knight JC, DeJong CL, Gibble MS, Nakano LG (1997) Why are formal methods not used more widely? In: Proceedings of LFM97: fourth NASA Langley formal methods workshop, Hampton, VA, pp 10\u201312"},{"key":"209_CR16","doi-asserted-by":"crossref","unstructured":"Olsen DR (1990) Propositional production systems for dialog description. In: Human factors in computing systems: proceedings CHI\u201990, ACM, pp 57\u201363","DOI":"10.1145\/97243.97252"},{"key":"209_CR17","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1207\/s15327051hci1001_2","volume":"10","author":"DR Olsen","year":"1995","unstructured":"Olsen DR, Andrew Monk F, Martin Curry B (1995) Algorithms for automatic dialogue analysis using propositional production systems. Hum Comput Interact 10:39\u201378","journal-title":"Hum Comput Interact"},{"key":"209_CR18","doi-asserted-by":"crossref","unstructured":"Abowd GD, Wang H-M, Monk AF (1995) A formal technique for automated dialogue development. In: Proceedings, designing interactive systems: processes practices methods and techniques, Ann Arbor, MI, 23\u201325 Aug., pp 23\u201325","DOI":"10.1145\/225434.225459"},{"key":"209_CR19","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0167-6423(95)96871-J","volume":"25","author":"DL Parnas","year":"1995","unstructured":"Parnas DL, Madey J (1995) Functional documents for computer systems. Sci Comput Programming 25:41\u201361","journal-title":"Sci Comput Programming"},{"key":"209_CR20","doi-asserted-by":"crossref","unstructured":"Leveson NG, Heimdahl MP, Reese JD (1999) Designing specification languages for process-control systems: lessons learned and steps to the future. In: Proceedings ESEC\/FSE\u201899, 7th European software engineering conference held jointly with the 7th ACM SIGSOFT symposium on the foundations of software engineering, 6\u201310 Sept","DOI":"10.1145\/318774.318937"},{"issue":"9","key":"209_CR21","doi-asserted-by":"crossref","first-page":"684","DOI":"10.1109\/32.317428","volume":"20","author":"NG Leveson","year":"1994","unstructured":"Leveson NG, Heimdahl MP, Hildrithand H, Reese JD (1994) Requirements specification for process-control systems. IEEE Trans Softw Eng 20(9):684\u2013707","journal-title":"IEEE Trans Softw Eng"},{"key":"209_CR22","volume-title":"Structured development for real-time systems","author":"PT Ward","year":"1985","unstructured":"Ward PT, Mellor SJ (1985) Structured development for real-time systems. Prentice Hall, Englewood Cliffs, NJ"},{"key":"209_CR23","volume-title":"Strategies for real time system specification","author":"DJ Hatley","year":"1988","unstructured":"Hatley DJ, Pirbhai IA (1988) Strategies for real time system specification. Dorset House, New York"},{"key":"209_CR24","volume-title":"SDL: formal object-oriented language for communicating systems","author":"J Ellsberger","year":"1997","unstructured":"Ellsberger J, Hogrefe D, Sarma A (1997) SDL: formal object-oriented language for communicating systems. Prentice Hall, Englewood Cliffs, NJ"},{"key":"209_CR25","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1145\/299917.299919","volume":"30","author":"R Wieringa","year":"1998","unstructured":"Wieringa Roel (1998) A survey of structured and object-oriented software specification methods and techniques. ACM Comput Surv 30(4):459\u2013527","journal-title":"ACM Comput Surv"},{"key":"209_CR26","doi-asserted-by":"crossref","unstructured":"Breen M (2004) Statestep: a tool for systematic incremental specification. In: Proceedings of the 26th International Conference on Software Engineering (ICSE\u201904). IEEE Computer Society, pp 711\u2013712","DOI":"10.1109\/ICSE.2004.1317500"}],"container-title":["Requirements Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-004-0209-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00766-004-0209-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-004-0209-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T05:59:26Z","timestamp":1559109566000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00766-004-0209-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,4,29]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2005,5]]}},"alternative-id":["209"],"URL":"https:\/\/doi.org\/10.1007\/s00766-004-0209-1","relation":{},"ISSN":["0947-3602","1432-010X"],"issn-type":[{"value":"0947-3602","type":"print"},{"value":"1432-010X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,4,29]]}}}