{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:21:37Z","timestamp":1725560497833},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540213055"},{"type":"electronic","value":"9783540247210"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24721-0_19","type":"book-chapter","created":{"date-parts":[[2010,7,27]],"date-time":"2010-07-27T20:15:12Z","timestamp":1280261712000},"page":"261-266","source":"Crossref","is-referenced-by-count":3,"title":["The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design"],"prefix":"10.1007","author":[{"given":"Islam A. M.","family":"El-Maddah","sequence":"first","affiliation":[]},{"given":"Tom S. E.","family":"Maibaum","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","volume-title":"The B Book: Assigning Programs to Meaning","author":"J.R. Abrial","year":"1995","unstructured":"Abrial, J.R.: The B Book: Assigning Programs to Meaning. Cambridge University Press, Cambridge (1995)"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"El-Maddah, I.A., Maibaum, T.S.: Goal-oriented Requirements Analysis of Process Control Systems. In: First MEMOCODE, France (2003)","DOI":"10.1109\/MEMCOD.2003.1210085"},{"key":"19_CR3","unstructured":"Van Lamsweerde, A., Dardenne, A., Delcourt, B., Dubisy, F.: The KAOS Project: Knowledge acquisition in automated specifications of software. In: Proceeding AAAI Spring Symposium series, Track: Design of Composite Systems, Stanford University, March 1991, pp. 59\u201362. Stanford University (1991)"},{"key":"19_CR4","unstructured":"Van Lamsweerde, A., Letier, E.: Obstacles in Goal-driven Requirement Engineering. In: Proceeding ICSE 1998 20th international conference on software engineering, Kyoto, ACMIEEE (April 1998)"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Van Lamsweerde, A., Darimont, R., Letier, E.: Managing Conflicts in Goal-Driven Requirement Engineering. IEEE Transactions on Software Engineering, Special Issue on Managing Inconsistency in Software Development (November 1998)","DOI":"10.1109\/32.730542"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/3-540-46428-X_8","volume-title":"Fundamental Approaches to Software Engineering","author":"K. Lano","year":"2000","unstructured":"Lano, K., Androutsopoulos, K., Clark, D.: Structuring and design of reactive systems using RSDS and B. In: Maibaum, T. (ed.) FASE 2000. LNCS, vol.\u00a01783, p. 97. Springer, Heidelberg (2000)"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Lano, K., Haughton, H.: Specifications in B. An introduction using the B toolkit. Imperial College Press (1996)","DOI":"10.1142\/p006"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Letier, E., Lamsweerde, A.V.: Deriving Operational Software Specifications from System Goals. In: SIGSOFT 2002\/FSE-10, Charleston, SC, USA, November 18-22,","DOI":"10.1145\/587051.587070"},{"key":"19_CR9","volume-title":"2nd International B conference","author":"E. Sekerinski","year":"1998","unstructured":"Sekerinski, E.: Graphical Design of Reactive Systems. In: Bert, D. (ed.) 2nd International B conference, Montpellier, France. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24721-0_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T15:30:43Z","timestamp":1559316643000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24721-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213055","9783540247210"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24721-0_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}