• Title of article

    Specification of integrity-preserving operations in information systems by using a formal UML-based language

  • Author/Authors

    Régine Laleau، نويسنده , , Fiona Polack، نويسنده ,

  • Issue Information
    ماهنامه با شماره پیاپی سال 2001
  • Pages
    12
  • From page
    693
  • To page
    704
  • Keywords
    Information system specification , UML , Formal language definition , Information system transactions , Information system integrity
  • Journal title
    Information and Software Technology
  • Serial Year
    2001
  • Journal title
    Information and Software Technology
  • Record number

    134819