DSpace Repository

Browsing by Subject "Object oriented modeling"

Browsing by Subject "Object oriented modeling"

Sort by: Order: Results:

  • Leelaprute, Pattara; Nakamura, Masahide; Tsuchiya, Tatsuhiro; Matsumoto, Ken-ichi; Kikuno, Tohru (IEEE, 2005)
    This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integrated services. Complementing our previous ...