메뉴 건너뛰기




Volumn 3520, Issue , 2005, Pages 48-62

Computing the relevant instances that may violate an OCL constraint

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER APPLICATIONS; INFORMATION RETRIEVAL; PROGRAMMING THEORY; STANDARDS; TECHNOLOGY;

EID: 25144488547     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11431855_5     Document Type: Conference Paper
Times cited : (13)

References (11)
  • 1
    • 35048898378 scopus 로고    scopus 로고
    • Determining the structural events that may violate an integrity constraint
    • th UML Conference (UML'04)
    • th UML Conference (UML'04), LNCS 3273, pp. 320-334
    • LNCS , vol.3273 , pp. 320-334
    • Cabot, J.1    Teniente, E.2
  • 2
    • 25144443387 scopus 로고    scopus 로고
    • Computing the relevant instances that may violate an OCL constraint
    • UPC
    • Cabot, J., Teniente, E.: Computing the Relevant Instances that May Violate an OCL constraint. LSI Research Report, LSI-05-5-R, UPC, 2005
    • (2005) LSI Research Report , vol.LSI-05-5-R
    • Cabot, J.1    Teniente, E.2
  • 3
    • 0003139184 scopus 로고    scopus 로고
    • Deriving production rules for constraint maintenance
    • Morgan Kauggmann
    • Ceri, S., Widom, J.: Deriving Production Rules for Constraint Maintenance. In: Proc. 16th VLDB Conference (VLDB'90), Morgan Kauggmann, pp. 566-577
    • Proc. 16th VLDB Conference (VLDB'90) , pp. 566-577
    • Ceri, S.1    Widom, J.2
  • 4
    • 3543073221 scopus 로고    scopus 로고
    • Expressing UML class diagrams properties with OCL
    • A. Clark and J. Warmer, (eds.). Springer
    • Gogolla, M., Richters, M.: Expressing UML Class Diagrams Properties with OCL. In: A. Clark and J. Warmer, (eds.): Object Modeling with the OCL. Springer, 2002, pp. 85-114
    • (2002) Object Modeling with the OCL , pp. 85-114
    • Gogolla, M.1    Richters, M.2
  • 7
    • 25144439733 scopus 로고    scopus 로고
    • Time and change in conceptual modeling of information systems
    • S. Brinkkemper, E. Lindencrona, and A. Solvberg, (eds.). Springer
    • Olivé, A.: Time and Change in Conceptual Modeling of Information Systems. In: S. Brinkkemper, E. Lindencrona, and A. Solvberg, (eds.): Information Systems Engineering. State of the Art and Research Themes. Springer, 2000, pp. 289-304
    • (2000) Information Systems Engineering. State of the Art and Research Themes , pp. 289-304
    • Olivé, A.1
  • 8
    • 25144440243 scopus 로고    scopus 로고
    • Derivation rules in object-oriented conceptual modeling languages
    • th Int. Conf. on Advanced Information Systems Engineering (CAiSE'03)
    • th Int. Conf. on Advanced Information Systems Engineering (CAiSE'03), LNCS, 2681, pp. 404-420
    • LNCS , vol.2681 , pp. 404-420
    • Olivé, A.1
  • 9
    • 84897578563 scopus 로고    scopus 로고
    • UML 2.0 OCL specification
    • ptc/03-10-14
    • OMG: UML 2.0 OCL Specification. OMG Adopted Specification (ptc/03-10-14), 2003
    • (2003) OMG Adopted Specification
  • 10
    • 27544447536 scopus 로고    scopus 로고
    • UML 2.0 superstructure specification
    • ptc/03-08-02
    • OMG: UML 2.0 Superstructure Specification. OMG Adopted Specification (ptc/03-08-02), 2003
    • (2003) OMG Adopted Specification
  • 11
    • 0032268617 scopus 로고    scopus 로고
    • A survey of structured and object-oriented software specification methods and techniques
    • Wieringa, R.: A survey of structured and object-oriented software specification methods and techniques. ACM Computing Surveys 30, 1998, pp. 459-527
    • (1998) ACM Computing Surveys , vol.30 , pp. 459-527
    • Wieringa, R.1


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