{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T02:37:04Z","timestamp":1767926224771,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540416630","type":"print"},{"value":"9783540446750","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44675-3_7","type":"book-chapter","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T16:44:02Z","timestamp":1180889042000},"page":"97-119","source":"Crossref","is-referenced-by-count":10,"title":["Structuring Interactive Systems Specifications for Executability and Prototypability"],"prefix":"10.1007","author":[{"given":"David","family":"Navarre","sequence":"first","affiliation":[]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[]},{"given":"R\u00e9mi","family":"Bastide","sequence":"additional","affiliation":[]},{"given":"Ousmane","family":"Sy","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,5,11]]},"reference":[{"key":"7_CR1","unstructured":"Ahlberg, Cristopher, and Shneiderman, Ben. \u201cThe Alphaslider: A Compact and Rapid Selector.\u201dHuman Factors in Computing Systems (CHI\u201994), Boston, Massachusetts, USA. USA,(1994) 365\u201371."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Ahlberg, Cristopher, and Truv\u00e9, S. \u201cExploring Terra Incognita in the Design Space of Query Devices.\u201d6th IFIP Conference on Engineering for Human-Computer Interaction, EHCI\u201995, Gran Targhee Resort, USA. Len Bass, and Claus Unger. Chapman & Hall (1995) 49\u201368.","DOI":"10.1007\/978-0-387-34907-7_4"},{"key":"7_CR3","unstructured":"Bass, Len, Clements, P., and Kazman, Rick. \u201cSoftware Architecture in Practice.\u201dAddison Wesley"},{"key":"7_CR4","unstructured":"Bass, Len, Little, R., Pellegrino, R., Reed, S., Seacord, R., Sheppard, S., and Szezur, M. R. \u201cThe Arch Model: Seeheim Revisited.\u201dUser Interface Developpers\u2019Workshop. Version 1.0 (1991)"},{"key":"7_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/3-540-60029-9_34","volume-title":"16th International Conference on Applications and Theory of Petri Nets, ICATPN\u201995","author":"R. Bastide","year":"1995","unstructured":"Bastide, R\u00e9mi, and Palanque, Philippe. \u201cA Petri-Net Based Environment for the Design of Event-Driven Interfaces.\u201d16th International Conference on Applications and Theory of Petri Nets, ICATPN\u201995, Torino, Italy. Giorgio De Michelis, and Michel Diaz, Volume editors. Lecture Notes in Computer Science, no. 935. Springer (1995) 66\u201383."},{"key":"7_CR6","first-page":"191","volume-title":"5th IFIP TC13 International Conference, Interact\u201995","author":"R. Bastide","year":"1995","unstructured":"Bastide, R\u00e9mi, and Palanque, Philippe. \u201cVerification of an Interactive Software by Analysis of Its Formal Specification.\u201d5th IFIP TC13 International Conference, Interact\u201995, Lillehamer, Norway. Chapman et Hall (1995) 191\u201396."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Bastide, R\u00e9mi, and Palanque, Philippe. \u201cA Visual and Formal Glue Between Application and Interaction.\u201dJournal of Visual Language and Computing 10, no. 3 (1999)","DOI":"10.1006\/jvlc.1999.0127"},{"key":"7_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"474","DOI":"10.1007\/3-540-48743-3_22","volume-title":"13th European Conference on Object-Oriented Programming, ECOOP\u201999","author":"R. Bastide","year":"1999","unstructured":"Bastide, R\u00e9mi, Sy, Ousmane, and Palanque, Philippe. \u201cFormal Specification and Prototyping of CORBA Systems.\u201d13th European Conference on Object-Oriented Programming, ECOOP\u201999, Lisbon, Portugal. Rachid Guerraoui, Volume editor. Lecture Notes in Computer Science, no. 1628. Springer (1999) 474\u201394. Selection rate: 184 papers submitted, 20 accepted."},{"key":"7_CR9","volume-title":"System of Patterns: Pattern-Oriented Software Architecture","author":"F. Buschmann","year":"1996","unstructured":"Buschmann, F., R. Meunier, H. Rohnert, P. Sommerlad, and M. A Stal. System of Patterns: Pattern-Oriented Software Architecture. West Sussex, England, John Wiley & Sons. (1996)."},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Campos, Jos\u00e9 C., and Harrison, Michael. \u201cFormally Verifying Interactive Systems: A Review.\u201din 4th Eurographics Workshop on Design, Specification and Verification of Interactive System (DSV-IS\u201997), Granada, Spain. Michael Harrison, and Juan Carlos Torres, Editors. Springer (1997) 109\u201324.","DOI":"10.1007\/978-3-7091-6878-3_8"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Coutaz, Jo\u00eblle. \u201cPAC, an Implementation Model for Dialogue Design.\u201dInteract\u201987, North Holland. (1987) 431\u201337.","DOI":"10.1016\/B978-0-444-70304-0.50074-1"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Fishkin, Kenneth, Moran, Thomas P., and Harrison, Beverly. \u201cEmbodied User Interfaces: Towards Invisible User Interfaces.\u201d7th IFIP Conference on Engineering for Human-Computer Interaction (EHCI 98), Crete. Kluwer (1999) 1\u201318.","DOI":"10.1007\/978-0-387-35349-4_1"},{"issue":"5","key":"7_CR13","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1049\/sej.1992.0033","volume":"7","author":". E. Fuchs Norbert","year":"1992","unstructured":"Fuchs, Norbert. E. \u201cSpecifications Are (Preferably) Executable.\u201dIEE Software Engineering Journal 7, no. 5 (1992) 323\u201334.","journal-title":"IEE Software Engineering Journal"},{"key":"7_CR14","unstructured":"Goldberg, A., and D. Robson. Smalltalk-80: the Language and Its Implementations Addison Wesley (1983)."},{"key":"7_CR15","volume-title":"Human-Computer Interaction\u201997 (HCI\u201997)","author":"M. Jacomi","year":"1997","unstructured":"Jacomi, Michele, Chatty, St\u00e9phane, and Palanque, Philippe. \u201cA Making-Movies Metaphor for Structuring Software Components in Highly Interactive Application.\u201dHuman-Computer Interaction\u201997 (HCI\u201997). Springer Verlag London (1997)"},{"issue":"6","key":"7_CR16","first-page":"320","volume":"4","author":"C. B. Jones","year":"1989","unstructured":"Jones, C. B., and Hayes, I. J. \u201cSpecifications Are Not (Necessarily) Executable.\u201dIEE Software Engineering Journal 4, no. 6 (1989) 320\u2013338.","journal-title":"IEE Software Engineering Journal"},{"key":"7_CR17","first-page":"172","volume-title":"INTERCHI\u201993","author":"L. Nigay","year":"1993","unstructured":"Nigay, Laurence, and Coutaz, Jo\u00eblle. \u201cA Design Space for Multimodal Interfaces: Concurrent Processing and Data Fusion.\u201dINTERCHI\u201993. Amsterdam, The Netherlands, ACM press; (1993) 172\u201378."},{"key":"7_CR18","unstructured":"Norman D. A. \u201cThe Psychology of Everyday Things.\u201dHarper and Collins (1988)."},{"key":"7_CR19","first-page":"213","volume-title":"HCI\u201995","author":"P. Palanque","year":"1995","unstructured":"Palanque, Philippe, and Bastide, R\u00e9mi. \u201cFormal Specification and Verification of CSCW Using the Interactive Cooperative Object Formalism.\u201dHCI\u201995, Huddersfield, UK. Cambridge University Press (1995) 213\u201330."},{"issue":"2","key":"7_CR20","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/S0953-5438(97)00013-1","volume":"9","author":"P. Palanque","year":"1997","unstructured":"Palanque, Philippe, and Bastide, R\u00e9mi. ldSynergistic Modelling of Tasks, Users and Systems Using Formal Specification Techniques.\u201dInteracting With Computers 9, no. 2 (1997) 129\u201353.","journal-title":"Interacting With Computers"},{"key":"7_CR21","unstructured":"Palanque, Philippe, B astide, R\u00e9mi, Navarre, David, and Sy, Ousmane. \u201cComputer Discretised Interaction: From Continuous to Discrete and Back Again.\u201dCHI 2000 Workshop on Continuity in Human Computer Interaction, Den Haag, Netherlands. (2000)"},{"key":"7_CR22","unstructured":"Rational Software Corporation. UML Notation Guide. 1.1 ed.1997."},{"key":"7_CR23","unstructured":"Shneiderman, Ben. \u201cDirect Manipulations: a Step Beyond Prgramming Languages.\u201dIEEE Computer (1983) 27\u201369."},{"issue":"10","key":"7_CR24","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/286238.286246","volume":"41","author":"Jon. Siegel","year":"1998","unstructured":"Siegel, Jon. \u201cOMG Overview: CORBA and the OMA in Enterprise Computing.\u201dCommunications of the ACM 41, no. 10 (1998) 37\u201343.","journal-title":"Communications of the ACM"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Sy, Ousmane, Bastide, R\u00e9mi, Palanque, Philippe, Le, Duc-Hoa, and Navarre, David. \u201cPet-Shop: a CASE Tool for the Petri Net Based Specification and Prototyping of CORBA Systems.\u201d 20th International Conference on Applications and Theory of Petri Nets, ICATPN\u201999, Williamsburg, VA, USA. (1999)","DOI":"10.1007\/3-540-48745-X_5"}],"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\/3-540-44675-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T12:56:05Z","timestamp":1556456165000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44675-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540416630","9783540446750"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-44675-3_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}