메뉴 건너뛰기




Volumn 26, Issue 8, 2000, Pages 742-759

The model multiplicity problem: Experimenting with real-time specification methods

Author keywords

Analysis and design methodologies; And empirical evaluation; Experimentation; Object oriented analysis; Object process methodology; Quality of analysis; Real time systems specification; Software engineering

Indexed keywords

OBJECT MODELING TECHNIQUE (OMT); OBJECT-PROCESS METHODOLOGY (OPM); UNIFIED MODELING LANGUAGE (UML);

EID: 0034244942     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.879812     Document Type: Article
Times cited : (90)

References (18)
  • 1
    • 0030288402 scopus 로고    scopus 로고
    • Anchoring Data Quality Dimensions in Ontological Foundations
    • vol. 39, no. 11, pp. 86-95, Nov. 1996.
    • Y. Wand and R.Y. Wang, " Anchoring Data Quality Dimensions in Ontological Foundations," Comm. ACM, vol. 39, no. 11, pp. 86-95, Nov. 1996.
    • Comm. ACM
    • Wand, Y.1    Wang, R.Y.2
  • 2
    • 0009052070 scopus 로고    scopus 로고
    • Extending the Object-Process Methodology to Handle Real-Time SystemsJ
    • vol. 11, no. 8, pp. 53-58, Jan. 1999.
    • M. Peleg and D. Dori, " Extending the Object-Process Methodology to Handle Real-Time Systems," J. Object-Oriented Programming, vol. 11, no. 8, pp. 53-58, Jan. 1999.
    • Object-Oriented Programming
    • Peleg, M.1    Dori, D.2
  • 3
    • 0000669503 scopus 로고    scopus 로고
    • Object-Process Analysis: Maintaining the Balance between System Structure and BehaviorJ
    • vol. 5, no. 2, pp. 227-249, 1995.
    • D. Dori, " Object-Process Analysis: Maintaining the Balance Between System Structure and Behavior," J. Logic and Computation, vol. 5, no. 2, pp. 227-249, 1995.
    • Logic and Computation
    • Dori, D.1
  • 5
    • 85030322459 scopus 로고    scopus 로고
    • Timed and Hybrid Statecharts and Their Textual Representation
    • vol. 571, pp. 591-620, Springer-Verlag, 1991.
    • Y. Kesten and A. Pnueli, " Timed and Hybrid Statecharts and Their Textual Representation," Lecture Notes in Computer Science, vol. 571, pp. 591-620, Springer-Verlag, 1991.
    • Lecture Notes in Computer Science
    • Kesten, Y.1    Pnueli, A.2
  • 6
    • 0024705766 scopus 로고    scopus 로고
    • Using Statecharts for Hardware Description and Synthesis
    • vol. 8, no. 7, 1989.
    • D. Drusinsky and D. Harel, " Using Statecharts for Hardware Description and Synthesis," IEEE Trans. Computer-Aided Design, vol. 8, no. 7, 1989.
    • IEEE Trans. Computer-Aided Design
    • Drusinsky, D.1    Harel, D.2
  • 7
    • 0010147460 scopus 로고    scopus 로고
    • OO and EER Conceptual Schemas: A Comparison of User Comprehension," J
    • vol. 5, no. 4, pp. 28-38, 1994.
    • P. Shoval and I. Frumermann, " OO and EER Conceptual Schemas: A Comparison of User Comprehension," J. Database Management, vol. 5, no. 4, pp. 28-38, 1994.
    • Database Management
    • Shoval, P.1    Frumermann, I.2
  • 8
    • 0025388044 scopus 로고    scopus 로고
    • Comparing Representations with Relational and EER Models
    • vol. 33, no. 2, pp. 126-139, 1990.
    • D. Batra, J.A. Hoffer, and R.P. Bostrom, " Comparing Representations with Relational and EER Models," Comm. ACM, vol. 33, no. 2, pp. 126-139, 1990.
    • Comm. ACM
    • Batra, D.1    Hoffer, J.A.2    Bostrom, R.P.3
  • 9
    • 0029322317 scopus 로고    scopus 로고
    • Comparing Data Modeling Formalisms
    • vol. 38, no. 6, pp. 103-115, 1995.
    • Y.G. Kim and S.T. March, " Comparing Data Modeling Formalisms," Comm. ACM, vol. 38, no. 6, pp. 103-115, 1995.
    • Comm. ACM
    • Kim, Y.G.1    March, S.T.2
  • 10
    • 33748138042 scopus 로고    scopus 로고
    • The Impact of Conceptual Models on End-User PerformanceJ
    • vol. 3, no. 4, pp. 4-15, 1992.
    • P. Palvia, C. Liao, and P.L To, " The Impact of Conceptual Models on End-User Performance," J. Database Management, vol. 3, no. 4, pp. 4-15, 1992.
    • Database Management
    • Palvia, P.1    Liao, C.2    To, P.L.3
  • 11
    • 0031078530 scopus 로고    scopus 로고
    • Entity-Relationship and Object-Oriented Data Modeling-an Experimental Comparison of Design Quality
    • vol. 21, pp. 297-315, 1997.
    • P. Shoval and S. Shiran, " Entity-Relationship and Object-Oriented Data Modeling-an Experimental Comparison of Design Quality," Data and Knowledge Eng., vol. 21, pp. 297-315, 1997.
    • Data and Knowledge Eng.
    • Shoval, P.1    Shiran, S.2
  • 12
    • 0029229454 scopus 로고    scopus 로고
    • Evaluation of Process Tools in System Analysis
    • vol. 37, no. 2, pp. 119-126, 1995.
    • N. Gorla, H.C. Pu, and W.O. Rom, " Evaluation of Process Tools in System Analysis," Information and Software Technology, vol. 37, no. 2, pp. 119-126, 1995.
    • Information and Software Technology
    • Gorla, N.1    Pu, H.C.2    Rom, W.O.3
  • 13
    • 0000330579 scopus 로고    scopus 로고
    • A Framework for Studying Human Error Behavior in Conceptual Database Modeling
    • vol. 25, pp. 121-131, 1993.
    • D. Batra, " A Framework for Studying Human Error Behavior In Conceptual Database Modeling," Information and Management, vol. 25, pp. 121-131, 1993.
    • Information and Management
    • Batra, D.1
  • 15
    • 84889608616 scopus 로고    scopus 로고
    • Stepwise Development of Model-Oriented Real-Time Specifications from Action/Event Models
    • vol. 571, pp. 547-570, Springer-Verlag, 1991.
    • H. Toetenel and J.V. Katwijik, " Stepwise Development of Model-Oriented Real-Time Specifications From Action/Event Models," Lecture Notes in Computer Science, vol. 571, pp. 547-570, Springer-Verlag, 1991.
    • Lecture Notes in Computer Science
    • Toetenel, H.1    Katwijik, J.V.2
  • 18
    • 0023365727 scopus 로고    scopus 로고
    • Statecharts: A Visual Formalism for Complex Systems,"
    • vol. 8, pp. 231-274, 1987.
    • D. Harel, " Statecharts: a Visual Formalism for Complex Systems," Science of Computer Programming, vol. 8, pp. 231-274, 1987.
    • Science of Computer Programming
    • Harel, D.1


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