{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,26]],"date-time":"2023-08-26T11:38:16Z","timestamp":1693049896116},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2003,7,1]],"date-time":"2003-07-01T00:00:00Z","timestamp":1057017600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2003,7]]},"DOI":"10.1007\/s10270-003-0024-z","type":"journal-article","created":{"date-parts":[[2003,12,11]],"date-time":"2003-12-11T01:07:35Z","timestamp":1071104855000},"page":"134-149","source":"Crossref","is-referenced-by-count":24,"title":["EB3: an entity-based black-box specification method for information systems"],"prefix":"10.1007","volume":"2","author":[{"given":"M.","family":"Frappier","sequence":"first","affiliation":[]},{"given":"R.","family":"St-Denis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,7,1]]},"reference":[{"key":"24_CR1","unstructured":"Amyot, D., Eberlein, A.: An Evaluation of Scenario Notations for Telecommunication Systems Development. In: 9th International Conference on Telecommunications Systems (ICTS\u201901). Dallas, USA March 2001"},{"key":"24_CR2","unstructured":"Broy, M., Dederichs, F., Dendorfer, C., Fuchs, M., Gritzner, T.F., Weber, R.: The Design of Distributed Systems \u2013 an Introduction to FOCUS. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-I9203 1992"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Boudriga, N., Mili, A., Zalila, R., Mili, F.: A Relational Model for the Specification of Data Types. Computer Languages 17(2): 101\u2013131, 1992","DOI":"10.1016\/0096-0551(92)90002-5"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Bolognesi, T., Brinksma, E.: Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems 14(1): 25\u201359, 1987","DOI":"10.1016\/0169-7552(87)90085-7"},{"key":"24_CR5","unstructured":"Booch, G., Rumbaugh J., Jacobson, I.: The Unified Modeling Language User Guide. Addison Wesley, Reading, MA 1999"},{"key":"24_CR6","unstructured":"Cameron, J.R.: JSP and JSD: The Jackson Approach to Software Development. Second Edition, IEEE Computer Society Press, Washington 1989"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"Chen, P.: The Entity Relationship Model \u2013 Towards a Unified View of Data. ACM Transactions on Database Systems 1(1): 9\u201336, 1976","DOI":"10.1145\/320434.320440"},{"key":"24_CR8","unstructured":"Davis, A.: Requirements Engineering. Prentice Hall, Englewood Cliffs 1992"},{"key":"24_CR9","unstructured":"Deck, M.D.: Data Abstraction in the Box Structures Approach, Proc. 3rd Annual Int. Conf. on Cleanroom Software Engineering Practices 1996"},{"key":"24_CR10","unstructured":"Elmasri, R., Navathe, S.B.: Fundamentals of Database Systems, 3rd edition, Addison-Wesley 2000"},{"key":"24_CR11","unstructured":"Fraikin, B., Frappier, M.: EBSPAI: an Efficient Process Algebra Interpreter. 5th Workshop on Tools for System Design and Verification (FM-TOOLS 2002), Reisensburg Castle, G\u00fcnzburg, Germany July 15\u201317 2002"},{"key":"24_CR12","unstructured":"Fraikin, B., Frappier, M.: eb3pai: an Interpreter for the eb3 Specification Language. 15th International Conference on Software & Systems Engineering & their Applications. Paris, France December 3\u20135 2002"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Frappier, M., Mili, A., Desharnais J.: Defining and Detecting Feature Interactions, In: Proc. IFIP TC2 Working Conf. on Algorithmic Languages and Calculi 1997","DOI":"10.1007\/978-0-387-35264-0_9"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Frappier, M., St-Denis, R.: A Specification Method for Cleanroom\u2019s Black Box Description, Proc. 31st Hawaii Int. Conf. on System Sciences 1998","DOI":"10.1109\/HICSS.1998.654765"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"Frappier, M., St-Denis, R.: Combining JSD and Cleanroom for Object-Oriented Scenario Specification. In: Kilov, H., Rumpe, B., Simmonds, I. (eds.) Behavioral Specifications of Businesses and Systems. Kluwer Academic Publishers, Boston 1999","DOI":"10.1007\/978-1-4615-5229-1_5"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"Frappier, M., St-Denis, R.: Specifying a Cleanroom Black Box Using JSD. In: Frappier, M., Habrias, H. (eds.) Software Specification Methods: An Overview Using a Case Study. Springer, London 2000","DOI":"10.1007\/978-1-4471-0701-9_11"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Frappier, M., Laleau, R.: Verifying Event Ordering Properties for Information Systems. The third International Conference of B and Z Users, Lecture Notes in Computer Science, vol. 2651. Springer-Verlag, Turku, Finland June 4\u20136 2003","DOI":"10.1007\/3-540-44880-2_25"},{"key":"24_CR18","unstructured":"Frappier, M., Fraikin, B., Laleau, R., Richard, M.: Automatic Production of Information Systems. In: AAAI Symposium on Logic-Based Program Synthesis, Stanford University, Stanford, CA March 25\u201327 2002"},{"key":"24_CR19","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs 1985"},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"Hsia, P., Samuel, J., Gao, J., Kung, D., Toyoshima, Y., Chen, C.: Formal Approach to Scenario Analysis. IEEE Software 11(2): 33\u201341, 1994","DOI":"10.1109\/52.268953"},{"key":"24_CR21","unstructured":"Jackson, M.: System Development. Prentice Hall, Englewood Cliffs 1983"},{"key":"24_CR22","doi-asserted-by":"crossref","unstructured":"Jarke, M., Kurki-Suonio, R., Eds.: Special Issue on Scenario Management. IEEE Transactions on Software Engineering 24(12), 1998.","DOI":"10.1109\/TSE.1998.738337"},{"key":"24_CR23","unstructured":"Karlsson, E.-A.: An Extension of the Black Box Approach to System Specification, Proc. 3rd Annual Int. Conf. on Cleanroom Software Engineering Practices 1996"},{"key":"24_CR24","doi-asserted-by":"crossref","unstructured":"Linger, R.C.: Cleanroom Process Model. IEEE Software 11(2): 50\u201358, 1994","DOI":"10.1109\/52.268956"},{"key":"24_CR25","doi-asserted-by":"crossref","unstructured":"Lustman, F.: Specifying Transaction-Based Information Systems with Regular Expressions. IEEE Transactions on Software Engineering 20(3): 207\u2013217, 1994","DOI":"10.1109\/32.268922"},{"key":"24_CR26","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs 1989"},{"key":"24_CR27","unstructured":"Mills, H.D., Linger R.C., Hevner, A.R.: Principles of Information Systems Analysis and Design. Academic Press, Orlando, FL 1986"},{"key":"24_CR28","doi-asserted-by":"crossref","unstructured":"Oshana, R.S.: Tailoring Cleanroom for Industrial Use. IEEE Software 15(6): 46\u201355, 1998","DOI":"10.1109\/52.730840"},{"key":"24_CR29","unstructured":"Prowell, S.J.: Sequence-Based Software Specification. Ph.D. Dissertation, University of Tennessee 1996"},{"key":"24_CR30","doi-asserted-by":"crossref","unstructured":"Puerta, A.R.: A Model-Based Interface Development Environment. IEEE Software 14(4): 41\u201347, 1997","DOI":"10.1109\/52.595902"},{"key":"24_CR31","unstructured":"Sridhar, K.T., Hoare, C.A.R.: JSD Expressed in CSP, Technical Monograph PRG-51, Oxford University Computing Laboratory, Programming Research Group, Oxford, England, July 1985, pp. 334\u2013363. Reprinted in [6]"},{"key":"24_CR32","doi-asserted-by":"crossref","unstructured":"Wang, Y., Parnas, D.L.: Simulating the Behavior of Software Modules by Trace Rewriting. IEEE Transactions on Software Engineering 20(10): 750\u2013759, 1994","DOI":"10.1109\/32.328996"},{"key":"24_CR33","doi-asserted-by":"crossref","unstructured":"Weidenhaupt, K., Pohl, K., Jarke, M., Haumer, P.: Scenarios in System Development: Current Practice. IEEE Software 15(2): 34\u201345, 1998","DOI":"10.1109\/52.663783"},{"key":"24_CR34","doi-asserted-by":"crossref","unstructured":"Yeung, W.L.: Denotational Semantics for JSD, In: 4th Asia-Pacific Software Engineering and International Computer Science Conference, IEEE Computer Society Press, December 02\u201305 1997, pp. 72\u201380","DOI":"10.1109\/APSEC.1997.640163"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-003-0024-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-003-0024-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-003-0024-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-003-0024-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,27]],"date-time":"2023-04-27T16:26:40Z","timestamp":1682612800000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-003-0024-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,7]]},"references-count":34,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2003,7]]}},"alternative-id":["24"],"URL":"https:\/\/doi.org\/10.1007\/s10270-003-0024-z","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,7]]}}}