{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:37:30Z","timestamp":1725489450463},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571209"},{"type":"electronic","value":"9783540479109"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-47910-4_23","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T12:13:47Z","timestamp":1187266427000},"page":"458-481","source":"Crossref","is-referenced-by-count":16,"title":["O-O Requirements Analysis: an Agent Perspective"],"prefix":"10.1007","author":[{"given":"Eric","family":"Dubois","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Du Bois","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Micha\u00ebl","family":"Petit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,8,25]]},"reference":[{"key":"23_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/BFb0057022","volume-title":"Proc. of the 5th european conference on object-oriented programming \u2014 ECOOP\u201991","author":"A.J. Alencar","year":"1991","unstructured":"A.J. Alencar and J.A. Goguen. Ooze: An object oriented Z environment. In P. America, editor, Proc. of the 5th european conference on object-oriented programming \u2014 ECOOP\u201991, pages 180\u2013199. LNCS 512, Springer-Verlag, 1991."},{"key":"23_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-08766-4","volume-title":"The Vienna Development Method. The metalanguage","author":"D. Bj\u00f8rner","year":"1978","unstructured":"D. Bj\u00f8rner and C.B. Jones. The Vienna Development Method. The metalanguage, volume 61 of LNCS. Springer-Verlag, 1978."},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"D. Bj\u00f8rner. Trusted computing systems: The procos experience. In Proc. of the 14th international conference on software engineering, pages 15\u201334, Melbourne (Australia), May 11\u201315, 1992. IEEE, ACM Press.","DOI":"10.1145\/143062.143080"},{"key":"23_CR4","unstructured":"A. Borgida, J. Mylopoulos, and R. Reiter.... and nothing else changes: The frame problem in procedure specifications. Technical Report DCSTR-281, Dept. of Computer Science, Rutgers University, 1992."},{"key":"23_CR5","volume-title":"Conception assist\u00e9e des applications informatiques. Premiere partie: Etude d\u2019opportunit\u00e9 et analyse conceptuelle","author":"F. Bodart","year":"1983","unstructured":"F. Bodart and Y. Pigneur. Conception assist\u00e9e des applications informatiques. Premiere partie: Etude d\u2019opportunit\u00e9 et analyse conceptuelle. Masson, Paris, 1983."},{"key":"23_CR6","unstructured":"J. Brunet. Modelling the world with semantic objects. In Proc. of the working conference on the object-oriented approach in information systems, Quebec, 1991."},{"key":"23_CR7","volume-title":"Object-Oriented Design","author":"P. Coad","year":"1991","unstructured":"P. Coad and E Yourdon. Object-Oriented Design. Prentice-Hall, Englewood Cliffs, New Jersey, 1991."},{"key":"23_CR8","series-title":"Lect Notes Comput Sci","first-page":"327","volume-title":"Proc. of the 4th conference on advanced information systems engineering \u2014 CaiSE\u201992","author":"E. Dubois","year":"1992","unstructured":"Eric Dubois, Philippe Du Bois, and Andr\u00e9 Rifaut. Elaborating, structuring and expressing formal requirements of composite systems. In P. Loucopoulos, editor, Proc. of the 4th conference on advanced information systems engineering \u2014 CaiSE\u201992, pages 327\u2013347, Manchester (UK), May12\u201315, 1992. LNCS 593, Springer-Verlag."},{"key":"23_CR9","unstructured":"Eric Dubois, Philippe Du Bois, Andr\u00e9 Rifaut, and Pierre Wodon. Glider user manual. Intermediate Deliverable SpecFunc-028-R, ESPRIT Project Icarus 2537, June 1991."},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"E. Doerry, S. Fickas, R. Helm, and M. Feather. A model for composite system design. In Proc. of the 6th international workshop on software specification and design, Milano, October 1991.","DOI":"10.1109\/IWSSD.1991.213058"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"A. Dardenne, S. Fickas, and A. van Lamsweerde. Goal-directed concept acquisition in requirements elicitation. In Proc. of the 6th international workshop on software specification and design, Milano, October 1991.","DOI":"10.1109\/IWSSD.1991.213081"},{"key":"23_CR12","unstructured":"Eric Dubois, Jacques Hagelstein, and Andr\u00e9 Rifaut. A formal language for the requirements engineering of computer systems. In Andr\u00e9 Thayse, editor, From natural language processing to logic for expert systems, chapter 6. Wiley, 1991."},{"key":"23_CR13","series-title":"Technical report","volume-title":"The object-z specification language \u2014 version 1","author":"R. Duke","year":"1991","unstructured":"Roger Duke, Paul King, Gordon Rose, and Graeme Smith. The object-z specification language \u2014 version 1. Technical report 91-1, SVRC, Dept. of Computer Science, The University of Queensland, Queensland (Australia), May 1991."},{"key":"23_CR14","volume-title":"Using glider for the formal definition of a requirements language for specifying composite systems","author":"P. Bois Du","year":"1992","unstructured":"Philippe Du Bois. Using glider for the formal definition of a requirements language for specifying composite systems. Technical report, Computer Science Department, University of Namur, Namur (Belgium), May 1992."},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Eric Dubois. A logic of action for supporting goal-oriented elaborations of requirements. In Proceedings of the 5th international workshop on software specification and design, pages 160\u2013168, Pittsburgh PA, May 19\u201320, 1989. IEEE, CS Press.","DOI":"10.1145\/75199.75225"},{"key":"23_CR16","unstructured":"Eric Dubois. Use of deontic logic in the requirements engineering of composite systems. In J.J. Meyer and R.J. Wieringa, editors, Proc. of the first international workshop on deontic logic in computer science, Amsterdam (The Netherlands), December 11\u201313, 1991."},{"key":"23_CR17","unstructured":"Eric Dubois and Axel van Lamsweerde. Making specification processes explicit. In Proceedings of the 4th international workshop on software specification and design, pages 161\u2013168, Monterey CA, April 3\u20134, 1987. IEEE, CS Press."},{"issue":"2","key":"23_CR18","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1145\/22719.22947","volume":"9","author":"M. S. Feather","year":"1987","unstructured":"Martin S. Feather. Language support for the specification and development of composite systems. ACM Transactions on programming languages and systems, 9(2):198\u2013234, April 1987.","journal-title":"ACM Transactions on programming languages and systems"},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"Martin S. Feather. Constructing specifications by combining parallel elaborations. IEEE Transactions on software engineering, SE-15(2), February 1989.","DOI":"10.1109\/32.21745"},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"Anthony Finkelstein and Hugo Fuks. Multi-party specification. In Proceedings of the 5th international workshop on software specification and design, pages 185\u2013195, Pittsburgh PA, May 19\u201320, 1989. IEEE, CS Press.","DOI":"10.1145\/75199.75228"},{"key":"23_CR21","series-title":"Technical Report","volume-title":"Acting responsibly: Reasoning about agents in a multi-agent system","author":"S. Fickas","year":"1991","unstructured":"Stephen Fickas and Rob Helm. Acting responsibly: Reasoning about agents in a multi-agent system. Technical Report CIS-TR-91-02, Dept. of Computer and Information Science, University of Oregon, Eugene OR, 1991."},{"key":"23_CR22","series-title":"Lect Notes Comput Sci","first-page":"275","volume-title":"Foundations of Object-Oriented Languages-REX School\/Workshop","author":"J. Fiadeiro","year":"1990","unstructured":"Jose Fiadeiro and Tom Maibaum. Describing, structuring and implementing objects. In Foundations of Object-Oriented Languages-REX School\/Workshop, pages 275\u2013310, Noordwijkerhout (The Netherlands), May 28\u2013June 1, 1990. LNCS 489, Springer-Verlag."},{"key":"23_CR23","unstructured":"Anthony Finkelstein and Colin Potts. Building formal specifications using \u201cstructured common sense\u201d. In Proceedings of the 4th international workshop on software specification and design, pages 108\u2013113, Monterey CA, April 3\u20134, 1987. IEEE, CS Press."},{"issue":"1","key":"23_CR24","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0306-4379(86)90023-2","volume":"11","author":"J. Fiadeiro","year":"1986","unstructured":"Jose Fiadeiro and Amilcar Sernadas. Linear tense propositional logic. Information Systems, 11(1):61\u201385, 1986.","journal-title":"Information Systems"},{"key":"23_CR25","unstructured":"D. Gabbay and P. McBrien. Temporal logic and historical databases. In Proc. of the 17th international conference on very large databases, Barcelona, September 1991."},{"key":"23_CR26","doi-asserted-by":"crossref","unstructured":"Sol J. Greenspan, Alexander Borgida, and John Mylopoulos. A requirements modeling language and its logic. In M.L. Bodie and J. Mylopoulos, editors, On knowledge base managment systems, Topics in information systems, pages 471\u2013502. Springer-Verlag, 1986.","DOI":"10.1007\/978-1-4612-4980-1_37"},{"key":"23_CR27","series-title":"Technical Report","volume-title":"Larch in five easy pieces","author":"J. V. Guttag","year":"1985","unstructured":"John V. Guttag, James J. Horning, and Jeannette M. Wing. Larch in five easy pieces. Technical Report 5, Digital systems research center, Palo Alto CA, July 1985."},{"key":"23_CR28","volume-title":"An introduction to modal logic","author":"G.E. Hughes","year":"1968","unstructured":"G.E. Hughes and M.J. Cresswell. An introduction to modal logic. Methuen and Co., London, 1968."},{"key":"23_CR29","doi-asserted-by":"crossref","unstructured":"C. Hewitt. DAI betwist and between: open systems science and\/or intelligent agents. In J. Mylopoulos and R. Balzer, editors, Proc. of the international workshop on the development of intelligent information systems, Niagara-on-the-Lake (Canada), April 21\u201323, 1991.","DOI":"10.1109\/21.135685"},{"key":"23_CR30","series-title":"Lect Notes Comput Sci","first-page":"221","volume-title":"Proc. of the 4th conference on advanced information systems engineering \u2014 CAiSE\u201992","author":"J. Hagelstein","year":"1992","unstructured":"Jacques Hagelstein and Dominique Roelants. Reconciling operational and declarative specifications. In P. Loucopoulos, editor, Proc. of the 4th conference on advanced information systems engineering \u2014 CAiSE\u201992, pages 221\u2013238, Manchester (UK), May12\u201315, 1992. LNCS 593, Springer-Verlag."},{"key":"23_CR31","unstructured":"W. Lewis Johnson and Martin Feather. Building an evolution transformation library. In Proceedings of the 12th international conference on software engineering, Nice (France), March 1990. IEEE."},{"key":"23_CR32","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/3540539816_61","volume-title":"Proc. of TAPSOFT\u201991 Vol.2","author":"R. Jungclaus","year":"1991","unstructured":"R. Jungclaus, G. Saake, and C. Sernadas. Formal specification of object systems. In S. Abramsky and T. Maibaum, editors, Proc. of TAPSOFT\u201991 Vol.2, pages 60\u201382, Brighton (UK), 1991. LNCS 494, Springer-Verlag."},{"key":"23_CR33","volume-title":"Specifying message passing and time-critical systems with temporal logic","author":"R. Koymans","year":"1989","unstructured":"R. Koymans, J. Vytopil, and W. de Roever. Specifying message passing and time-critical systems with temporal logic. Doctoral dissertation, Eindhoven University of Technology, Eindhoven (The Netherlands), 1989."},{"issue":"4","key":"23_CR34","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1145\/102675.102676","volume":"8","author":"J. Mylopoulos","year":"1990","unstructured":"J. Mylopoulos, A. Borgida, M. Jarke, and M. Koubarakis. Telos: A language for representing knowledge about information systems. ACM Transansaction on Information Systems, 8(4):325\u2013362, 1990.","journal-title":"ACM Transansaction on Information Systems"},{"key":"23_CR35","doi-asserted-by":"crossref","unstructured":"J. Mylopoulos, L. Chung, and B. Nixon. Representing and using nonfunctional requirements: a process-oriented approach. IEEE Transactions on software engineering, SE-18, June 1992.","DOI":"10.1109\/32.142871"},{"key":"23_CR36","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of the workshop in categorical methods in computer science","author":"F. Orejas","year":"1989","unstructured":"F. Orejas, V. Sacristan, and S. Clerici. Development of algebraic specifications with constraints. In Proc. of the workshop in categorical methods in computer science. LNCS 393, Springer-Verlag, 1989."},{"key":"23_CR37","doi-asserted-by":"crossref","unstructured":"Mark D. Ryan, Jose Fiadeiro, and Tom Maibaum. Sharing actions and attributes in modal action logic. In T. Ito and A. Meyer, editors, Theoretical Aspects of Computer Software. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54415-1_65"},{"issue":"l","key":"23_CR38","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/TSE.1977.229900","volume":"SE-3","author":"D. T. Ross","year":"1977","unstructured":"Douglas T. Ross. Structured analysis (sa): a language for communicating ideas. IEEE Transactions on software engineering, SE-3(l):16\u201334, January 1977.","journal-title":"IEEE Transactions on software engineering"},{"key":"23_CR39","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0306-4379(80)90009-5","volume":"5","author":"A. Sernadas","year":"1980","unstructured":"Amilcar Sernadas. Temporal aspects of logic procedure definition. Information Systems, 5:167\u2013187, 1980.","journal-title":"Information Systems"},{"key":"23_CR40","series-title":"Technical report","volume-title":"Agent-oriented programming","author":"Y. Shoham","year":"1990","unstructured":"Y. Shoham. Agent-oriented programming. Technical report STAN-CS-90-1335, Robotics Laboratory, Computer Science Dept, Stanford University, Stanford CA, 1990."},{"key":"23_CR41","volume-title":"Object-oriented systems analysis: modelling the world in data","author":"S. Shlaer","year":"1988","unstructured":"S. Shlaer and S.J. Mellor. Object-oriented systems analysis: modelling the world in data. Yourdon Press: Prentice-Hall, Englewood Cliffs, New Jersey, 1988."},{"key":"23_CR42","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1007\/3-540-51803-7_33","volume-title":"Proc. of the colloquium on temporal logic and specification","author":"A. Sernadas","year":"1989","unstructured":"A. Sernadas, C. Sernadas, and H.-D. Ehrich. Abstract object types: a temporal perspective. In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Proc. of the colloquium on temporal logic and specification, pages 324\u2013350. LNCS 398, Springer-Verlag, 1989."},{"key":"23_CR43","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/TSE.1977.229902","volume":"SE-3","author":"D. Teichroew","year":"1977","unstructured":"D. Teichroew and E. Hershey. A computer-aided technique for structured documentation and analysis of information processing systems. IEEE Transactions on software engineering, SE-3:41\u201348, 1977.","journal-title":"IEEE Transactions on software engineering"},{"issue":"4","key":"23_CR44","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1016\/0306-4379(91)90031-4","volume":"16","author":"C. Theodoulidis","year":"1991","unstructured":"C. Theodoulidis, P. Loucopoulos, and B. Wangler. A conceptual modelling formalism for temporal database applications. Information Systems, 16(4):401\u2013416, 1991.","journal-title":"Information Systems"},{"key":"23_CR45","volume-title":"La m\u00e9thode MERISE: principes et outils","author":"H. Tardieu","year":"1983","unstructured":"H. Tardieu, A. Rochfeld, and R. Colletti. La m\u00e9thode MERISE: principes et outils. Les Editions d\u2019Organisation, Paris (France), 1983."}],"container-title":["Lecture Notes in Computer Science","ECOOP\u2019 93 \u2014 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47910-4_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T04:37:20Z","timestamp":1556771840000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47910-4_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571209","9783540479109"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/3-540-47910-4_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1993]]}}}