京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(標準分類: QA76.76.D47)
該当件数:4件
Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring and execution-based model checking / Doron Drusinsky
Amsterdam ; Burlington, MA : Newnes, an imprint of Elsevier , 2006
図書
SPLC / sponsored by Software Engineering Institute ... [et al.]
2006 (10th) - 2008 (12th). - Los Alamitos, Calif. : IEEE Computer Society , c2006-
Human-computer interface design guidelines / C. Marlin "Lin" Brown
Norwood, N.J. : Ablex Pub. Corp. , c1988. - (Human/computer interaction)
Bringing design to software / Terry Winograd ... [et al.]
Reading, Mass. ; Tokyo : Addison Wesley , c1996. - (ACM press books)