{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,5]],"date-time":"2025-03-05T05:39:36Z","timestamp":1741153176227,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642198281"},{"type":"electronic","value":"9783642198298"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19829-8_12","type":"book-chapter","created":{"date-parts":[[2011,3,16]],"date-time":"2011-03-16T14:20:41Z","timestamp":1300285241000},"page":"177-193","source":"Crossref","is-referenced-by-count":1,"title":["Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned"],"prefix":"10.1007","author":[{"given":"Abderrahman","family":"Matoussi","sequence":"first","affiliation":[]},{"given":"Fr\u00e9d\u00e9ric","family":"Gervais","sequence":"additional","affiliation":[]},{"given":"R\u00e9gine","family":"Laleau","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: The B-Book: Assigning programs to meanings. CUP (1996)","DOI":"10.1017\/CBO9780511624162"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering. CUP (2010)","DOI":"10.1017\/CBO9781139195881"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Nuseibeh, B., Easterbrook, S.: Requirements engineering: a roadmap. In: 22nd ACM International Conference on Software Engineering, Future of Software Engineering Track, Limerick, Ireland, pp. 35\u201346 (2000)","DOI":"10.1145\/336512.336523"},{"key":"12_CR4","volume-title":"Requirements Engineering: From System Goals to UML Models to Software Specifications","author":"A. Lamsweerde van","year":"2009","unstructured":"van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley, Chichester (2009)"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/3-540-48119-2_22","volume-title":"FM\u201999 - Formal Methods","author":"P. Behm","year":"1999","unstructured":"Behm, P., Benoit, P., Faivre, A., Meynadier, J.-M.: METEOR: A successful application of B in a large project. In: Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01708, pp. 369\u2013387. Springer, Heidelberg (1999)"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/11415787_20","volume-title":"ZB 2005: Formal Specification and Development in Z and B","author":"F. Badeau","year":"2005","unstructured":"Badeau, F., Amelot, A.: Using B as a high level programming language in an industrial project: Roissy val. In: Treharne, H., King, S.,. Henson, M.C., Schneider, S. (eds.) Schneider, S. (eds.) ZB 2005. LNCS, vol.\u00a03455, pp. 334\u2013354. Springer, Heidelberg (2005)"},{"key":"12_CR7","unstructured":"RODIN - Rigorous Open Development Environment for Complex Systems, http:\/\/rodin.cs.ncl.ac.uk\/"},{"key":"12_CR8","unstructured":"TOPCASED, http:\/\/www.topcased.org\/"},{"key":"12_CR9","first-page":"1443","volume-title":"ARES 2008","author":"R. Hassan","year":"2008","unstructured":"Hassan, R., Bohner, S., El-Kassas, S., Eltoweissy, M.: Goal-Oriented, B-Based Formal Derivation of Security Design Specifications from Security Requirements. In: ARES 2008, Spain, pp. 1443\u20131450. IEEE Computer Society Press, Los Alamitos (2008)"},{"key":"12_CR10","unstructured":"Matoussi, A., Gervais, F., Laleau, R.: An Event-B formalization of KAOS goal refinement patterns. Technical Report TR-LACL-2010-1, LACL, University of Paris-Est (2010), http:\/\/lacl.univ-paris12.fr\/Rapports\/TR\/TR-LACL-2010-1.pdf"},{"key":"12_CR11","unstructured":"TACOS Project. ANR-06-SETIN-017, http:\/\/tacos.loria.fr"},{"key":"12_CR12","first-page":"531","volume-title":"ASE 2007","author":"H. Nakagawa","year":"2007","unstructured":"Nakagawa, H., Taguchi, K., Honiden, S.: Formal Specification Generator for KAOS. In: ASE 2007, Atlanta, USA, pp. 531\u2013532. ACM, New York (2007)"},{"key":"12_CR13","unstructured":"Ponsard, C., Dieul, E.: From Requirements Models to Formal Specifications in B. In: REMO2V 2006, Luxembourg (June 2006)"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1007\/978-3-540-45236-2_46","volume-title":"FME 2003: Formal Methods","author":"M. Leuschel","year":"2003","unstructured":"Leuschel, M., Butler, M.J.: ProB: A Model Checker for B. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 855\u2013874. Springer, Heidelberg (2003)"},{"key":"12_CR15","unstructured":"Aziz, B., Arenas, A., Bicarregui, J., Ponsard, C., Massonet, P.: From Goal-Oriented Requirements to Event-B Specifications. In: First Nasa Formal Method Symposium (NFM 2009), Moffett Field, California, USA ( April 2009)"},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1007\/978-3-642-11811-1_38","volume-title":"Abstract State Machines, Alloy, B and Z","author":"A. Mashkoor","year":"2010","unstructured":"Mashkoor, A., Matoussi, A.: Towards Validation of Requirements Models. In: Frappier, M., Gl\u00e4sser, U., Khurshid, S., Laleau, R., Reeves, S. (eds.) ABZ 2010. LNCS, vol.\u00a05977, p. 404. Springer, Heidelberg (2010)"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Hallberg, J., Nilsson, M., Synnes, K.: Positioning with bluetooth. In: 10th Int. Conference on Telecommunications (ICT 2003), pp. 954\u2013958 (2003)","DOI":"10.1109\/ICTEL.2003.1191568"},{"key":"12_CR18","unstructured":"Royo, J.A., Mena, E., Gallego, L.C.: Locating Users to Develop Location-Based Services in Wireless Local Area Networks. In: UCAmI 2005, Granada, Spain, pp. 471\u2013478 (2005)"},{"key":"12_CR19","first-page":"226","volume-title":"RE 1997","author":"E. Yu","year":"1997","unstructured":"Yu, E.: Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering. In: RE 1997, pp. 226\u2013235. IEEE Computer Society, Los Alamitos (1997)"},{"key":"12_CR20","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0304-3975(95)00020-8","volume":"155","author":"D. Sangiorgi","year":"1996","unstructured":"Sangiorgi, D.: Locality and interleaving semantics in calculi for mobile processes. Theor. Comput. Sci.\u00a0155, 39\u201383 (1996)","journal-title":"Theor. Comput. Sci."},{"key":"12_CR21","unstructured":"Gnaho, C., Semmak, F.: Une extension SysML pour l\u2019ing\u00e9nierie des exigences dirig\u00e9e par les buts. In: INFORSID 2010, Marseille, France, pp. 277\u2013292 (May 2010)"},{"key":"12_CR22","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/s11334-009-0119-y","volume":"1-2","author":"R. Laleau","year":"2010","unstructured":"Laleau, R., Semmak, F., Matoussi, A., Petit, D., Hammad, A., Tatibouet, B.: A first attempt to combine SysML requirements diagrams and B. Innovations in Systems and Software Engineering\u00a01-2, 47\u201354 (2010)","journal-title":"Innovations in Systems and Software Engineering"},{"key":"12_CR23","volume-title":"Non-Functional Requirements In Software Engineering","author":"L. Chung","year":"1999","unstructured":"Chung, L.: Non-Functional Requirements In Software Engineering. Kluwer Academic Publishers, Dordrecht (1999)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19829-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,4]],"date-time":"2025-03-04T15:28:20Z","timestamp":1741102100000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19829-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642198281","9783642198298"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19829-8_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}