{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:47:50Z","timestamp":1725551270588},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635314"},{"type":"electronic","value":"9783540695929"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63531-9_22","type":"book-chapter","created":{"date-parts":[[2010,4,5]],"date-time":"2010-04-05T20:01:15Z","timestamp":1270497675000},"page":"310-326","source":"Crossref","is-referenced-by-count":1,"title":["Integration of sequential scenarios"],"prefix":"10.1007","author":[{"given":"Jules","family":"Desharnais","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Frappier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ridha","family":"Kh\u00e9dri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali","family":"Mili","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,8,1]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/B978-0-444-81594-1.50013-1","volume-title":"Information System Development Process","author":"K. M. Benner","year":"1993","unstructured":"Benner, K. M., Feather, M. S., Johnson, W. L., Zorman, L. A.: Utilizing Scenarios in the Software Development Process. In Prakash, N., Rolland, C. and Pernici, B., Editors, Information System Development Process, Elsevier Science Publisher B. V., North-Holland (1993) 117\u2013134"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Berghammer, R., Schmidt, G.: The RELVIEW-System. In Choffrut, C. and Jantzen, M., Editors, STAGS 91, 8th Annual Symp. on Theoretical Aspects of Computer Science (Feb. 1991) Hamburg, Germany, Lect. Notes in Comp. Sci. 480, Springer, 535\u2013536","DOI":"10.1007\/BFb0020827"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Boiten, E., Derrick, J., Bowman, H., Steen, M.: Consistency and Refinement for Partial Specification in Z. In Gaudel, M. C. and Woodcock, J., Editors, FME'96: Industrial Benefit of Formal Methods, 3rd Int. Symp. of Formal Methods Europe, Lect. Notes in Comp. Sci. 1051, Springer (Mar. 1996) 287\u2013306","DOI":"10.1007\/3-540-60973-3_93"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Borgida, A., Mylopoulos, J., Reiter, R.: \u201c... And Nothing Else Changes\u201d: The Frame Problem in Procedure Specifications. 15th IEEE Int. Conf. on Software Engineering (May 1993) Baltimore, MD, 303\u2013314","DOI":"10.1109\/ICSE.1993.346034"},{"key":"22_CR5","doi-asserted-by":"crossref","first-page":"544","DOI":"10.1007\/BF01211474","volume":"4","author":"N. Boudriga","year":"1992","unstructured":"Boudriga, N., Elloumi, F., Mili, A.: On the Lattice of Specifications: Applications to a Specification Methodology. Formal Aspects of Computing 4 (1992) 544\u2013571","journal-title":"Formal Aspects of Computing"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Brink, C., Kahl, W., Schmidt, G., Editors: Relational Methods in Computer Science. Springer (1997)","DOI":"10.1007\/978-3-7091-6510-2"},{"issue":"2","key":"22_CR7","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1145\/142386.1054872","volume":"24","author":"R. L. Campbell","year":"1992","unstructured":"Campbell, R. L.: Will the Real Scenario Please Stand Up? ACM SIGCHI Bulletin 24, 2 (Apr. 1992) 6\u20138","journal-title":"ACM SIGCHI Bulletin"},{"key":"22_CR8","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1145\/134421.134424","volume":"24","author":"R. L. Campbell","year":"1992","unstructured":"Campbell, R. L.: Categorizing Scenarios: A Quixotic Quest? ACM SIGCHI Bulletin 24, 4 (Oct. 1992) 16\u201317","journal-title":"ACM SIGCHI Bulletin"},{"key":"22_CR9","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1145\/250707.239110","volume":"21","author":"C. A. Damon","year":"1996","unstructured":"Damon, C. A., Jackson, D., Jha, S.: Checking Relational Specifications with Binary Decision Diagrams. ACM SIGSOFT Software Engineering Notes 21, 6 (Nov. 1996) 70\u201380","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"22_CR10","doi-asserted-by":"crossref","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. Sci. Comput. Programming 20 (1993) 3\u201350","journal-title":"Sci. Comput. Programming"},{"key":"22_CR11","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/0304-3975(94)00271-J","volume":"149","author":"J. Desharnais","year":"1995","unstructured":"Desharnais, J., Belkhiter, N., Ben Mohamed Sghaier, S., Tchier, F., Jaoua, A., Mili, A., Zaguia, N.: Embedding a Demonic Semilattice in a Relation Algebra. Theoret. Comput. Sci. 149, 2 (Oct. 1995) 333\u2013360","journal-title":"Theoret. Comput. Sci."},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Desharnais, J., Mili, A., Nguyen, T. T.: Refinement and Demonic Semantics. In Brink et al. [6], chapter 11, 166-183.","DOI":"10.1007\/978-3-7091-6510-2_11"},{"key":"22_CR13","unstructured":"Diller, A.: Z: An Introduction to Formal Methods. John Wiley & Sons (1990)"},{"key":"22_CR14","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/0167-6423(95)00028-3","volume":"26","author":"M. Frappier","year":"1996","unstructured":"Frappier, M., Mili, A., Desharnais, J.: Program Construction by Parts. Sci. Comput. Programming 26, 1-3 (May 1996) 237\u2013254","journal-title":"Sci. Comput. Programming"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Glinz, M.: An Integrated Formal Model of Scenarios Based on Statecharts. In Fifth European Software Engineering Conference (1995) Lect. Notes in Comp. Sci. 989, Springer, 254\u2013271","DOI":"10.1007\/3-540-60406-5_19"},{"key":"22_CR16","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.: Statecharts: A Visual Formalism for Complex Systems. Sci. Comput. Programming 8 (1987) 231\u2013274","journal-title":"Sci. Comput. Programming"},{"issue":"5","key":"22_CR17","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1145\/42411.42414","volume":"31","author":"D. Harel","year":"1988","unstructured":"Harel, D.: On Visual Formalisms. Comm. ACM 31, 5 (May 1988) 514\u2013530","journal-title":"Comm. ACM"},{"issue":"1","key":"22_CR18","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/382294.382725","volume":"15","author":"H. Holbrook Jr","year":"1990","unstructured":"Holbrook III, H.: A Scenario-Based Methodology for Conducting Requirements Elicitation. ACM SIGSOFT Software Engineering Notes 15, 1 (Jan. 1990) 95\u2013104","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"2","key":"22_CR19","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/52.268953","volume":"11","author":"P. Hsia","year":"1994","unstructured":"Hsia, P., Samuel, J., Gao, J., Kung, D., Toyoshima, Y., Chen, C.: Formal Approach to Scenario Analysis. IEEE Software 11, 2 (Mar. 1994) 33\u201341","journal-title":"IEEE Software"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Janicki, R., Parnas, D. L., Zucker, J.: Tabular Representations in Relational Documents. In Brink et al. [6], chapter 12, 184\u2013196.","DOI":"10.1007\/978-3-7091-6510-2_12"},{"key":"22_CR21","unstructured":"Kawashita, I.: Sp\u00e9cification Formelle de Syst\u00e8mes d'Information Interactifs par la Technique des Sc\u00e9narios. Master's thesis, D\u00e9partement d'informatique et de recherche op\u00e9rationnelle, University de Montr\u00e9al, Montr\u00e9al (Nov. 1996)"},{"key":"22_CR22","doi-asserted-by":"crossref","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: The temporal logic of actions. ACM Transactions on Programming Languages and Systems 16 (May 1994) 872\u2013923","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"22_CR23","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/32.464544","volume":"21","author":"L. Lamport","year":"1995","unstructured":"Lamport, L.: TLA in Pictures. IEEE Transactions on Software Engineering 21, 9 (Sep. 1995) 768\u2013775","journal-title":"IEEE Transactions on Software Engineering"},{"key":"22_CR24","doi-asserted-by":"crossref","unstructured":"Lubars, M., Potts, C., Richter, C.: Developing Initial OOA Models. In 15th IEEE International Conf. on Software Engineering (1993) 255\u2013264","DOI":"10.1109\/ICSE.1993.346038"},{"key":"22_CR25","unstructured":"Lustman, F.: A Formal Approach to Scenario Integration. Annals of Software Engineering, to appear"},{"key":"22_CR26","unstructured":"McCarthy, J., Hayes, P.: Some Philosophical Problems from the Standpoint of Artificial Intelligence. In Melzter, B. and Michie, D., Editors, Machine Intelligence 4, Edinburgh University Press (1969) 463-502"},{"key":"22_CR27","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/BF00264277","volume":"20","author":"A. Mili","year":"1983","unstructured":"Mili, A.: A Relational Approach to the Design of Deterministic Programs. Acta Informatica 20 (1983) 315\u2013328","journal-title":"Acta Informatica"},{"key":"22_CR28","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF00265990","volume":"24","author":"A. Mili","year":"1987","unstructured":"Mili, A., Desharnais, J., Mili, F.: Relational Heuristics for the Design of Deterministic Programs. Acta Informatica 24, 3 (1987) 239\u2013276","journal-title":"Acta Informatica"},{"key":"22_CR29","volume-title":"Computer Program Construction","author":"A. Mili","year":"1994","unstructured":"Mili A. Desharnais, J., Mili, F.: Computer Program Construction. Oxford University Press, New York. NY (1994)"},{"issue":"12","key":"22_CR30","doi-asserted-by":"crossref","first-page":"948","DOI":"10.1109\/32.368133","volume":"20","author":"D. L. Parnas","year":"1994","unstructured":"Parnas, D. L., Madey, J., Iglewski, M.: Precise Documentation of Well-Structured programs. IEEE Transactions on Software Engineering 20, 12 (Dec. 1994) 948\u2013976","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"9","key":"22_CR31","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/130994.130996","volume":"35","author":"K. S. Rubin","year":"1992","unstructured":"Rubin, K. S., Goldberg, A.: Object Behavior Analysis. Comm. ACM 35, 9 (Sep. 1992) 48\u201362","journal-title":"Comm. ACM"},{"key":"22_CR32","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relations and Graphs, Discrete Mathematics for Computer Scientists. EATCS-Monographs on Theoretical Computer Science, Springer (1993)"},{"key":"22_CR33","unstructured":"Som\u00e9, S., Dssouli, R., Vaucher, J.: From Scenarios to Timed Automata: Building Specifications from Users Requirements. In 2nd Asia Pacific Software Engineering Conference (1995)"},{"key":"22_CR34","volume-title":"Understanding Z: A Specification Language and its Formal Semantics, Cambridge Tracts in Theoret. Computer Science 3","author":"J. M. Spivey","year":"1988","unstructured":"Spivey, J. M.: Understanding Z: A Specification Language and its Formal Semantics, Cambridge Tracts in Theoret. Computer Science 3, Cambridge Univ. Press, UK (1988)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering \u2014 ESEC\/FSE'97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63531-9_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T00:23:10Z","timestamp":1559002990000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63531-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635314","9783540695929"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-63531-9_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}