SCOPUS 정보 검색 플랫폼

Volumn 26, Issue 7, 2001, Pages 507-534

The OO-Method approach for information systems modeling: From object-oriented conceptual modeling to automated programming

(4) Pastor, Oscar a Gómez, Jaime b Insfrán, Emilio a Pelechano, Vicente a

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

b UNIVERSITY OF ALICANTE (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE; DATA STRUCTURES; DATABASE SYSTEMS; REVERSE ENGINEERING; SEMANTICS; USER INTERFACES;

AUTOMATED PROGRAMMING; INFORMATION SYSTEMS MODELING; OBJECT ORIENTED CONCEPTUAL MODELING; OBJECT ORIENTED SPECIFICATION LANGUAGE;

OBJECT ORIENTED PROGRAMMING;

EID: 0035501504 PISSN: 03064379 EISSN: None Source Type: Journal
DOI: 10.1016/S0306-4379(01)00035-7 Document Type: Article

Times cited : (170)

References (42)

1
- 84961290206
- A comprehensive view of process engineering
- in: B. Pernici, C. Thanos (Eds.)
- Proceedings of CAiSE'98 International Conference, Vol. 1413 of LNCS, Springer, Berlin, 1998 , pp. 1-24
- Rolland, C.¹

2
- 0003984813
- Prentice-Hall, Englewood Cliffs, NJ
- (1990) Designing Object Oriented Software
- Wirfs-Brock, R.¹ Wilkerson, B.² Wiener, L.³

3
- 0003511049
- Prentice-Hall, Englewood Cliffs, NJ
- (1991) Object Oriented Modeling and Design
- Rumbaugh, J.¹ Blaha, M.² Premerlani, W.³ Eddy, F.⁴ Lorensen, W.⁵

4
- 0003504769
- Addison-Wesley, Reading, MA
- (1992) OO Software Engineering, a Use Case Driven Approach
- Jacobson, I.¹ Christerson, M.² Jonsson, P.³ Overgaard, G.⁴

5
- 0003434834
- Addison-Wesley, Reading, MA
- (1994) Object Oriented Analysis and Design with Applications, 2nd Edition
- Booch, G.¹

6
- 0003691163
- Prentice-Hall, Englewood Cliffs, NJ
- (1994) Object-Oriented Development: The Fusion Method
- Coleman, D.¹ Arnold, P.² Bodoff, S.³ Dollin, S.⁴ Gilchrist, H.⁵ Hayes, F.⁶ Jeremes, P.⁷

7
- 0003950990
- Technical report, Rational Software Corporation
- (1997) UML V1
- Booch, G.¹ Rumbaugh, J.² Jacobson, I.³

8
- 0003136296
- Gaining a uniform view of different integration aspects in a prototyping environment
- Proceedings of DEXA'95 International Conference, Vol. 978 of LNCS, Springer, Berlin, 1992 , pp. 35-42
- Kush, J.¹ Hartel, P.² Hartmann, T.³ Saake, G.⁴

9
- 0026995439
- Tunable formalism in object-oriented systems analysis: Meeting the needs of both theoreticians and practitioners
- Proceedings of the OOPSLA'92 Conference on Object-Oriented Programming Systems, Languages and Applications, 1992 , pp. 452-465
- Clyde, S.W.¹ Embley, D.W.² Woodfield, S.N.³

10
- 84892245902
- Automated support for the development of formal object-oriented requirements specification
- in: G. Wijers, S. Brinkkemper, T. Wasserman (Eds.)
- Proceedings of CAiSE'94 International Conference, Vol. 811 of LNCS, Springer, Berlin, 1994 , pp. 135-148
- Jackson, R.B.¹ Embley, D.W.² Woodfield, S.N.³

11
- 0041517240
- Unifying modeling and programming through an active, object-oriented, model-equivalent programming language
- in: M.P. Papazoglou (Ed.)
- Proceedings of OOER'95 International Conference, Vol. 1021 of LNCS, Springer, Berlin, 1995 , pp. 55-64
- Liddle, S.¹ Embley, D.W.² Woodfield, S.N.³

12
- 33646095084
- SOFL: A formal engineering methodology for industrial applications
- (1998) IEEE Trans. Software Eng. , vol.24 , Issue.1 , pp. 24-45
- Liu, S.¹ Offutt, A.J.² Ho-Stuart, C.³ Sun, Y.⁴ Ohba, M.⁵

13
- 84947906717
- OO-method: An OO software production environment combining conventional and formal methods
- in: A. Olivé, J.A. Pastor (Eds.)
- Proceedings of CAiSE'97 International Conference, Vol. 1250 of LNCS, Springer, Berlin, 1997 , pp. 145-158
- Pastor, O.¹ Insfrán, E.² Pelechano, V.³ Merseguer, J.⁴ Romero, J.⁵

14
- 84947936404
- From object oriented conceptual modeling to automated programming in Java
- in: T.W. Ling, S. Ram, M.L. Lee (Eds.)
- Proceedings of 17th International Conference on Conceptual Modeling (ER'98), Vol. 1507 of LNCS, Springer, Berlin, 1998 , pp. 183-196
- Pastor, O.¹ Pelechano, V.² Insfrán, E.³ Gómez, J.⁴

15
- 84880225097
- OASIS: An object-oriented specification language
- in: P. Loucopoulos (Ed.)
- Proceedings of CAiSE'92 International Conference, Vol. 593 of LNCS, Springer, Berlin, 1992 , pp. 348-363
- Pastor, O.¹ Hayes, F.² Bear, S.³

16
- 0004178922
- Basil Blackwell, 2nd Edition
- (1980) Naming and Necessity
- Kripke, S.¹

17
- 0003142901
- Objects as observable processes
- Proceedings of 3rd Workshop on the Deductive Approach to Information System Design, 1992
- Ramos, I.¹ Pastor, O.² Cuevas, J.³ Devesa, J.⁴

18
- 0003678792
- Algebraic foundations for dynamic conceptual models
- Ph.D. Thesis, Vrije Universiteit, Amsterdam
- (1990)
- Wieringa, R.J.¹

19
- 0003993656
- Servicio de Publicaciones, Universidad Politécnica de Valencia
- (1995) OASIS 2.1.1: A Class-Definition Language to Model Information Systems Using an Object-Oriented Approach, 3rd Edition
- Pastor, O.¹ Ramos, I.²

20
- 0003273931
- Three-tier computing architectures and beyond
- Technical report, Gartner Group
- (1995)
- Schulte, R.¹

21
- 0026836188
- Mediators in the architecture of future information systems
- (1992) IEEE Comput. , vol.25 , Issue.3 , pp. 38-49
- Wiederhold, G.¹

22
- 0003149208
- Addison-Wesley, Reading, MA
- (1996) Crossing Chasms, Pattern Languages of Program Design , vol.2
- Brown, K.¹ Whitenack, B.²

23
- 0003880013
- Addison-Wesley, Reading, MA
- (1994) Design Patterns: Elements of Reusable Object-Oriented Software
- Gamma, E.¹ Helm, R.² Johnson, R.³ Vlissides, J.⁴

24
- 0023532648
- Monitoring dynamic integrity constraints based on temporal logic
- (1987) Inform. Systems , vol.12 , Issue.3 , pp. 255-269
- Lipeck, U.W.¹ Saake, G.²

25
- 0003147611
- Implementing dynamic integrity constraint checking in object oriented programming environments
- in: O. Diaz, J. Iturrioz (Eds.)
- Proceedings of the Second Software Engineering Symposium (JIS-97), Basque Country University, 1997 , pp. 101-116
- Pelechano, V.¹ Pastor, O.² Garcia, N.³ Ramirez, S.⁴

26
- 0003214634
- Object-oriented conceptual modeling techniques to design and implement a sound and robust ORACLE environment
- in: ORACLE (Ed.)
- Proceedings of European Oracle Users Group Conference, 1997
- Pastor, O.¹ Insfrán, E.² Quiles, G.³ Barberá, J.⁴

27
- 0003146971
- Automated prototyping in a Oracle 8i/developper software environment using OO-Method
- Master Thesis, Technical report, DSIC, Valencia University of Technology; (in spanish; extended abstract available in English)
- (2000)
- López, R.¹

28
- 0032268617
- A survey of structured and object-oriented software specification methods and techniques
- (1998) ACM Comput. Surveys , vol.30 , Issue.4 , pp. 459-527
- Wieringa, R.J.¹

29
- 4243344415
- The languages of statement
- Technical report, I-Logics Inc., 22 Third Avenue, Burlington, MA 01803 USA
- (1991)

30
- 0030261971
- The STATEMATE semantics of statecharts
- (1996) ACM Trans. Software Eng. Meth. , vol.5 , Issue.4 , pp. 293-333
- Harel, D.¹ Naamad, A.²

31
- 0009872247
- OMTROLL: Object modeling in troll
- in: U.W. Lipeck, G. Koschorreck (Eds.)
- Proceedings of IS-CORE 93 Workshop, 1993 , pp. 267-283
- Wieringa, R.J.¹ Jungclaus, R.² Hartel, P.³ Saake, G.⁴ Hartmann, T.⁵

32
- 84957809239
- The TROLL approach to conceptual modelling: Syntax, semantics and tools
- in: T.W. Ling, S. Ram, M.L. Lee (Eds.)
- Proceedings of 17th International Conference on Conceptual Modeling (ER'98), Vol. 1507 of LNCS, Springer, Berlin, 1998 , pp. 277-290
- Grau, A.¹ Filipe, J.K.² Kowsari, M.³ Eckstein, S.⁴ Pinger, R.⁵ Ehrich, H.D.⁶

33
- 0002211360
- Logics for specifying concurrent information systems
- in: J. Chomicki, G. Saake (Eds.); Kluwer Academic, Dordrecht
- (1998) Logics for Database and Information Systems , pp. 167-198
- Ehrich, H.D.¹ Caleiro, C.² Sernadas, A.³ Denker, G.⁴

34
- 0003273933
- A validation system for object oriented specifications of information systems
- in: R. Manthey, V. Wolfengagen (Eds.)
- Proceedings of ADBIS'97 Symposium, 1997 , pp. 277-290
- Grau, A.¹ Kowsari, M.²

35
- 0001951302
- OO specification of databases: An algebraic approach
- in: P.M. Stocker, W. Kent (Eds.)
- Proceedings of VLDB'87 International Conference, 1987 , pp. 107-116
- Sernadas, A.¹ Sernadas, C.² Ehrich, H.D.³

36
- 0003858630
- The OBLOG software development approach
- Technical report, OBLOG Software
- (1999)

37
- 0003146426
- Architectural concerns in automating code generation
- OOPSLA Midyear Conference, 1998
- Andrade, L.F.¹ Gouveia, J.C.² Xardonne, P.J.³

38
- 0003216539
- Postmodern software design with NYAM: Not yet another method
- Technical report, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam
- (1998)
- Wieringa, R.J.¹

39
- 0004260023
- Prentice-Hall, Englewood Cliffs, NJ
- (1983) System Development
- Jackson, M.¹

40
- 0003638157
- Prentice-Hall, Englewood Cliffs, NJ
- (1994) Designing Object Systems: Object-Oriented Modelling with Syntropy
- Cook, S.¹ Daniels, J.²

41
- 0003547470
- Addison-Wesley, Reading, MA
- (1998) The Unified Modeling Language Reference Guide
- Rumbaugh, J.¹ Jacobson, I.² Booch, G.³

42
- 0003854752
- Addison-Wesley, Reading, MA
- (1998) Objects, Components and Frameworks with UML: The Catalysis Approach
- D'Souza, D.¹ Wills, A.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.