The paper describes templates for model-based analysis of usability and safety aspects of user interface software design. The templates crystallize general usability principles commonly addressed in ...

In 1921 a rare-book dealer in New York acquired a Gutenberg Bible, one of only about four dozen believed to exist at the time. The dealer, the Hungarian émigré Gabriel Wells, disassembled his ...

计算机学报Latex模板，适配Overleaf，修复了官方模板Bug，调整了排版，输出观感同官方模板一致，导入即用。 - Issues · Tdzdele ...