Linking object-oriented conceptual modeling with object-oriented implementation in java

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

Volumn 1308, Issue , 1997, Pages 132-141

  Pastor, Oscar ^a   Insfrán, Emilio ^a   Pelechano, Vicente ^a   Ramírez, Susana ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; EXPERT SYSTEMS; FORMAL SPECIFICATION; JAVA PROGRAMMING LANGUAGE; SOFTWARE DESIGN; SOFTWARE PROTOTYPING;

CONCEPTUAL MODEL; HIGH-LEVEL SYSTEMS; OBJECT ORIENTED; OBJECT-ORIENTED IMPLEMENTATION; PROGRAMMING ENVIRONMENT; SOFTWARE DEVELOPMENT ENVIRONMENT; SOFTWARE PRODUCTS; SYSTEM INFORMATION;

OBJECT ORIENTED PROGRAMMING;

EID: 52649154665     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0022025     Document Type: Conference Paper

References (13)

1. Arnold K., Gosling J. The Java Programming Language. Sun MicroSystems. Addison-Wesley, 1996.
2. Balzer R. et al. Software Technology in the 1990s: Using a New Paradigm. IEEE Computer, Nov. 1983.
3. Booch G., Rumbaugh J., Jacobson I. UML. vl. Rational Software Co., 1997.
4. Dubois E., Du Bois Ph., Petit M., Wu S. ALBERT. " A Formal Agent-Oriented Requirements Language for Distributed Composite Systems. Proc. CAiSE'94. Workshop on Formal Methods for Information System Dynamics, pags: 25-39, University of Twente, Technical Report 1994.
5. Jungclaus R., Saake G., Sernadas C. Formal Specification of Object Systems. Eds. S. Abramsky and T. Mibaum Proceedings of the TapSoft's 91, Brighton. Lncs. 494, pags. 60-82, Springer-Verlag. 1991.
6. Kifer M. Deductive and Object Data Languages': A Quest for Integration. DOOD96. pags: 187-212. 1996.
7. Kramer D. The Java Platform. Sun MicroSystems. Addison-Wesley. 1995.
8. Pastor O., Ramos I., Can6s J. Oasis v2: A Class Definition Language. Proc. DEXA95, Springer-Verlag. 1995.
9. Pastor O., Pelechano V., Bonet B., Ramos I. An O0 Methodological Approach for Making Automated Prototyping Feasible. Proc. DEXA96. Springer-Verlag. September 1996.
10. Pastor O., Insfrgn E., Pelechano V., Romero J., Merseguer J. OOMETHOD: An O0 Software Production Environment Combining Conventional and Formal Methods. CAiSE97. June 1997.
11. Pastor O., Insfrán E., Quiles G., Barberfi J. Object-Oriented Conceptual Modeling Techniques to Design and Implement a Sound and Robust Oracle Environment. European Oracle Users Group EOUG'97. 1997.
12. Rumbaugh J., Blaha M., Permerlani W., Eddy F., Lorensen W. Object Oriented Modeling and Design. Englewood Cliffs, Nj. Prentice-Hall. 1991.
13. Tittel E., Gaither M. 60 Minute Guide to Java. IDG Books WorldWide, Inc. 1995.