-
1
المؤلفون: Andrew J. Abbate, Ellen J. Bass
المصدر: International Journal of Human-Computer Studies. 115:20-39
مصطلحات موضوعية: Model checking, Syntax (programming languages), Process (engineering), Computer science, Interface (Java), 05 social sciences, General Engineering, 020207 software engineering, Human Factors and Ergonomics, 02 engineering and technology, Formal methods, Education, Human-Computer Interaction, Semiotic engineering, Consistency (database systems), Documentation, Hardware and Architecture, Human–computer interaction, 0202 electrical engineering, electronic engineering, information engineering, 0501 psychology and cognitive sciences, computer, 050107 human factors, Software, Z notation, computer.programming_language