Full metadata record
DC FieldValueLanguage
dc.contributor.authorKishi, Tomoji-
dc.date.accessioned2016-09-27T03:10:36Z-
dc.date.available2016-09-27T03:10:36Z-
dc.date.issued2007-
dc.identifier.urihttp://repository.vnu.edu.vn/handle/VNU_123/14460-
dc.description.abstractThe advance of embedded computing technologies makes our society increasingly depend on these systems, and the reliability of the systems becomes more and more important for our daily life. Against this background, we have been examining the application of model checking techniques to embedded software design verification, and also developing a tool to support UML design verification. In my talk, I will explain our approach and tool, then emphasize the necessity of developing modeling techniques for design verification.en_US
dc.language.isoenen_US
dc.publisherĐHCNen_US
dc.subjectUMLen_US
dc.subjectSoftware verificationen_US
dc.titleUML design verification based on model checking techniquesen_US
dc.typeArticleen_US
Appears in Collections:Bài đăng tạp chí (LIC)


  • UML design verification based on model checking technique...
    • Size : 26,2 kB

    • Format : Adobe PDF

    • View : 
    • Download : 
  • Full metadata record
    DC FieldValueLanguage
    dc.contributor.authorKishi, Tomoji-
    dc.date.accessioned2016-09-27T03:10:36Z-
    dc.date.available2016-09-27T03:10:36Z-
    dc.date.issued2007-
    dc.identifier.urihttp://repository.vnu.edu.vn/handle/VNU_123/14460-
    dc.description.abstractThe advance of embedded computing technologies makes our society increasingly depend on these systems, and the reliability of the systems becomes more and more important for our daily life. Against this background, we have been examining the application of model checking techniques to embedded software design verification, and also developing a tool to support UML design verification. In my talk, I will explain our approach and tool, then emphasize the necessity of developing modeling techniques for design verification.en_US
    dc.language.isoenen_US
    dc.publisherĐHCNen_US
    dc.subjectUMLen_US
    dc.subjectSoftware verificationen_US
    dc.titleUML design verification based on model checking techniquesen_US
    dc.typeArticleen_US
    Appears in Collections:Bài đăng tạp chí (LIC)


  • UML design verification based on model checking technique...
    • Size : 26,2 kB

    • Format : Adobe PDF

    • View : 
    • Download :