Advanced
Advanced

Browsing by Author Kishi, Tomoji

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 1 of 1
  • UML design verification based on model checking techniques.pdf.jpg
  • Article

  • UML design verification based on model checking techniques

    • Authors: Kishi, Tomoji (2007)

  • The 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.

    Readership Map

    ABSTRACTS VIEWS

    45487313

    VIEWS & DOWNLOAD

    27582116

    Content Distribution

Browsing by Author Kishi, Tomoji

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 1 of 1
  • UML design verification based on model checking techniques.pdf.jpg
  • Article

  • UML design verification based on model checking techniques

    • Authors: Kishi, Tomoji (2007)

  • The 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.