FU Mao-ming, WANG You. Research on Visual UML Model Verification Environment[J]. Journal of University of Electronic Science and Technology of China, 2010, 39(2): 289-292,270. DOI: 10.3969/j.issn.1001-0548.2010.02.029
Citation: FU Mao-ming, WANG You. Research on Visual UML Model Verification Environment[J]. Journal of University of Electronic Science and Technology of China, 2010, 39(2): 289-292,270. DOI: 10.3969/j.issn.1001-0548.2010.02.029
shu

Research on Visual UML Model Verification Environment

    Graphical Abstract
    • Abstract
  • Aiming at the problem of inaccurate and discordant arithmetic caused by informal software specification, this paper puts forward an OUVE (OCL-based UML verification environment) setting which is based on Object Constraint Language. OUVE can verify whether the constraints and relationship among classes correspond with practical requirements before coding. Comparing with traditional method, OUVE reduces the cost of modification caused by improper design and programming fault.
    • FullText(HTML)
  • loading
    • References (0)
    • Related Articles

Catalog

    Journal Online

    Author's Notes

      Links

        /

        DownLoad:  Full-Size Img  PowerPoint
        Return
        Return