From CASE to CARE (Computer-aided requirements engineering)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1728, Issue , 1999, Pages 278-292

  Pastor, Oscar ^a   Canós, José H ^a   Ramos, Isidro ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; REQUIREMENTS ENGINEERING; SOFTWARE DESIGN; SPECIFICATIONS;

OBJECT ORIENTED; REQUIREMENTS ENGINEERING PROCESS; SOFTWARE DEVELOPMENT ENVIRONMENT; SOFTWARE PRODUCTION; SOFTWARE PRODUCTS; SOLUTION SPACE; SYSTEM PROPERTY; SYSTEM SPECIFICATION;

OBJECT ORIENTED PROGRAMMING;

EID: 0010537701     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-47866-3_19     Document Type: Conference Paper

References (26)

1. Wirfs-Brock R., Wilkerson B., Wiener L. Designing Object Oriented Software. Englewood Cliffs, Nj. Prentice-Hall. 1990
2. Rumbaugh J. et al. W. Object Oriented Modeling and Design. Englewood Cliffs, Nj. Prentice-Hall. 1991
3. Jacobson I. et al. G. OO Software Engineering a Use Case Driven Approach. Reading, Massachusetts. Addison–Wesley
4. Booch, G. OO Analysis and Design with Applications. Addison-Wesley, 1994
5. Coleman D., Arnold P., Bodoff S., Dollin S. Gilchrist H., Hayes F., Jeremes P. Object-Oriented Development; The Fusion Method. Prentice-Hall 1994.
6. Booch G., Rumbaugh J., Jacobson I. UML. v1. Rational Software Co., 1997.
7. Sernadas A., Sernadas C., Ehrich H.D. OO Specification of Databases: An Algebraic Approach. In P.M. Stocker, W. Kent eds., proc of VLDB87, pags: 107-116, Morgan Kauffmann, 1987
8. ESDI S.A., Lisboa. OBLOG CASE V1.0-User’s Guide
9. Jungclaus R., Saake G., Sernadas C. Formal specification of Object Systems. Eds. S. Abramsky and T. Mibaum Proceeding of the TapSoft’s 91, Brighton. Lncs. 494, Springer Verlag 1991, pgs: 60-82.
10. Hartmann T., Saake G., Jungclaus R., Hartel P., Kusch J. Revised Version of the Modeling Language Troll (Troll version 2.0). Technische Universitat Braunschweig, Informatik-Berichte, April 1994
11. Dubois E., Petit M., Wu S. ALBERT: A Formal Agent-Oriented Requirements Language for distributed Composite Systems. In Proc. CAiSE’94 Workshop on Formal Methods for Information Systems Dynamics, pags: 25-39, University of Twente, Technical Report, 1994
12. Pastor O., Hayes F., Bear S. OASIS: An object-oriented specification language. In P. Loucopoulos, editor, Proceedings of the CAiSE'92 conference, pp. 348-363, Berlin, Springer, LNCS 593 (1992).
13. Pastor O., Ramos I. Oasis 2.1.1: A Class-Definition Language to Model Information Systems Using an Object-Oriented Approach, October 95 (3rd edition).
14. Wieringa, R.J., Jungclaus, R., Hartel, P., Hartmann, T., Saake, G., OMTROLL Object Modeling in TROLL. Proceedings of the International Workshop on Information Systems-Correctness and Reusability (IS-CORE’93). Hannover, September 1993. Udo W. Lipeck, G. Koschorrek (eds.).
15. Jackson R.B., Embley D.W., Woodfield S.N. Automated Support for the Development of Formal Object-Oriented Requirements Specification. In Proceedings of CAiSE-94 Conference. Utrecht, The Netherlands. Lecture Notes in Computer Science; v. 811; p.135-148. 1994.
16. Liddle S.W., Embley D.W., Woodfield S.N. Unifying Modeling and Programming Through an Active, Object-Oriented, Model-Equivalent Programming Language. In Proceedings of 14th International Conference on Object-Oriented and Entity-Relationship Modeling (OOER’95). 13-15 Dec 1995. Gold Coast, Australia. Lecture Notes in Computer Science v. 1021; p. 55-64. 1995.
17. Harel, D., First-Order Dynamic Logic, Springer-Verlag, 1979.
18. Wieringa R.J. {\em A Formalization of Objects using Equational Dynamic Logic, 2nd Conference on Deductive and OO Databases, pages 431-452, Springer 1991, Lecture Notes in Computer Science 566.
19. Catell, R. G. G. (ed.), The Object Database Standard: ODMG-93, Release 1.1, Morgan Kaufmann Publishers, 1994.
20. Canós, J.H., Ramos, I., Lozano, M.D. KAOS: an Object-oriented software tool for the objects definition, updating, querying and programming in an object-oriented environment. Proc of the IEEE 1998 Canadian Conference on Electrical and Computer Engineering, IEEE Press, 1998
21. Ramos, I. Logic and OO Databases: a Declarative Approach Proceedings of the Dexa 90, Springer-Verlag, 1990
22. McCabe, F.G., Logic and Objects, Prentice-Hall, 1992
23. Pastor O. et al. OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. In Antoni Olivé and Joan Antoni Pastor editors, Proceedings of CAiSE97 conference, pp. 145-158, Berlin, Springer-Verlag, LNCS 1250. June 1997
24. Kifer M., Deductive and Object Data Languages: A Quest for Integration, Proceedings of the DOOD-96 Conference, Springer-Verlag, 1996
25. Carsí J.A.; A DOOD System for Treating the Schema Evolution Problem, EDBT'98 Demo Session, VI Intl. Conference on Extending Database Technology, Valencia, March 1998
26. Pastor, O.; Insfran, E.; Pelechano, V.; García, J. From Object Oriented Conceptual Modeling to Automated Programming in Java. Conceptual Modeling–ER’98. Lecture Notes in Computer Science (1507), págs: 183-197, Springer-Verlag, 1998, ISBN: 3-540-65189-6; ISSN: 0302-9743, Singapore