{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:12:12Z","timestamp":1725552732337},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540341451"},{"type":"electronic","value":"9783540341468"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11752707_21","type":"book-chapter","created":{"date-parts":[[2006,5,25]],"date-time":"2006-05-25T09:50:15Z","timestamp":1148550615000},"page":"249-260","source":"Crossref","is-referenced-by-count":3,"title":["Goal-Oriented Design of Domain Control Panels"],"prefix":"10.1007","author":[{"given":"Christophe","family":"Ponsard","sequence":"first","affiliation":[]},{"given":"Nadiya","family":"Balych","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Massonet","sequence":"additional","affiliation":[]},{"given":"Jean","family":"Vanderdonckt","sequence":"additional","affiliation":[]},{"given":"Axel","family":"van Lamsweerde","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Biere, M., Bomsdorf, B., Szwillus, G.: The visual task model builder. In: Proceedings of CADUI 1999, ch. 20 (1999)","DOI":"10.1007\/978-94-011-4295-3_20"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Calvary, G., Coutaz, J., Thevenin, D., Limbourg, Q., Bouillon, L., Vanderdonckt, J.: A unifying reference framework for multi-target user interfaces. Interacting with Computers\u00a015(3) (June 2003)","DOI":"10.1016\/S0953-5438(03)00010-9"},{"issue":"1-2","key":"21_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming\u00a020(1-2), 3\u201350 (1993)","journal-title":"Science of Computer Programming"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Darimont, R., van Lamsweerde, A.: Formal refinement patterns for goal-driven requirements elaboration. In: 4th FSE ACM Symposium, San Francisco (1996)","DOI":"10.1145\/239098.239131"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-540-39656-7_5","volume-title":"Formal Methods for Components and Objects","author":"S. Efroni","year":"2003","unstructured":"Efroni, S., Harel, D., Cohen, I.: Reactive animation. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 136\u2013153. Springer, Heidelberg (2003)"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Fuxman, A., Liu, L., Pistore, M., Roveri, M., Traverso, P.: Specifying and analysing early requirements in tropos. Requirements Engineering Journal (2004)","DOI":"10.1007\/s00766-004-0191-7"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Heitmeyer, C., Kirby, J., Labaw, B.: Tools for formal specification, verification, and validation of requirements. In: Proc. COMPASS 1997, Gaithersburg (1997)","DOI":"10.1109\/CMPASS.1997.613206"},{"key":"21_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-56283-4","volume-title":"Specifying Message Passing and Time-Critical Systems with Temporal Logic","author":"R. Koymans","year":"1992","unstructured":"Koymans, R.: Specifying Message Passing and Time-Critical Systems with Temporal Logic. LNCS, vol.\u00a0651. Springer, Heidelberg (1992)"},{"key":"21_CR9","unstructured":"Lee, G., Howard, J., Anderson, P.: Safety-critical requirements specification and analysis using spectrm. In: Proc. 2nd Meeting of the US Soft. Syst. Safety WG (2002)"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Letier, E., van Lamsweerde, A.: Agent-based tactics for goal-oriented requirements elaboration (2002)","DOI":"10.1145\/581339.581353"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Magee, J., Pryce, N., Giannakopoulou, D., Kramer, J.: Graphical animation of behavior models. In: Proc. ICSE 2000, Limerick (2000)","DOI":"10.1145\/337180.337368"},{"key":"21_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Reactive Behavior of Reactive and Concurrent System","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Reactive Behavior of Reactive and Concurrent System. Springer, Heidelberg (1992)"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Mori, G., Patern\u00f3, F., Santoro, C.: Design and development of multi-device user interfaces through multiple logical descriptions. IEEE TSE\u00a030(8) (August 2004)","DOI":"10.1109\/TSE.2004.40"},{"key":"21_CR14","volume-title":"Model-based design and evaluation of interactive applications","author":"F. Patern\u00f3","year":"1999","unstructured":"Patern\u00f3, F.: Model-based design and evaluation of interactive applications. Springer, Heidelberg (1999)"},{"key":"21_CR15","unstructured":"The Objectiver RE platform, http:\/\/www.objectiver.com"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Ponsard, C., Massonet, P., Rifaut, A., Molderez, J.F., van Lamsweerde, A., Van Tran, H.: Early verification and validation of mission critical systems. In: 8th FMICS Workshop, Linz (2004)","DOI":"10.1016\/j.entcs.2004.08.067"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Puerta, A.R.: A model-based interface development environment. IEEE Software\u00a014(4) (July\/August 1997)","DOI":"10.1109\/52.595902"},{"key":"21_CR18","unstructured":"The FAUST toolbox (2004), http:\/\/faust.cetic.be"},{"key":"21_CR19","unstructured":"Tran Van, H., van Lamsweerde, A., Massonet, P., Ponsard, C.: Goal-oriented requirements animation. In: 12th IEEE Int. Req. Eng. Conf. (September 2004)"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A., Letier, E.: Handling obstacles in goal-oriented requirements engineering. IEEE Transactions on Software Engineering, Special Issue on Exception Handling\u00a026(10) (October 2000)","DOI":"10.1109\/32.879820"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"Vanderdonckt, J.: Advice-giving systems for selecting interaction objects. In: Proc. of 1st Int. Workshop on UI to Data Intensive Systems, Edimburgh (1999)","DOI":"10.1109\/UIDIS.1999.791471"}],"container-title":["Lecture Notes in Computer Science","Interactive Systems. Design, Specification, and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11752707_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,18]],"date-time":"2019-04-18T20:39:57Z","timestamp":1555619997000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11752707_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540341451","9783540341468"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11752707_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}