المؤلفون: 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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b20ba6784b0786676bb5e3c6b10df0c0
https://doi.org/10.1016/j.ijhcs.2018.02.001

المؤلفون: Michael D. Harrison, Gavin Doherty, José Creissac Campos

المساهمون: ERDF, SFI, Universidade do Minho

المصدر: Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP

مصطلحات موضوعية: Computer science, IV infusion pumps, Social Sciences, Human Factors and Ergonomics, 02 engineering and technology, Distributed cognition, Education, Consistency (database systems), Resource (project management), Formal analysis, Human–computer interaction, 0202 electrical engineering, electronic engineering, information engineering, 0501 psychology and cognitive sciences, Representation (mathematics), 050107 human factors, Engineering(all), Science & Technology, business.industry, 05 social sciences, General Engineering, 020207 software engineering, Usability, Formal methods, Human-Computer Interaction, Hardware and Architecture, Task analysis, Normative, business, Software

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e183de0bb51dd7ff1d4b36f0b26e9178

المؤلفون: Ellen J. Bass, Matthew L. Bolton, Radu I. Siminiceanu

المصدر: International Journal of Human-Computer Studies. 70:888-906

مصطلحات موضوعية: Model checking, business.industry, Computer science, Human error, General Engineering, Human Factors and Ergonomics, System safety, Formal methods, computer.software_genre, Automation, Formal system, Article, Education, Task (project management), Human-Computer Interaction, Hardware and Architecture, Task analysis, Data mining, business, computer, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::55c1534314e5e9578e4150b411491a04
https://doi.org/10.1016/j.ijhcs.2012.05.010

المؤلفون: Christine Pierret-Golbreich

المصدر: International Journal of Human-Computer Studies. 49:471-495

مصطلحات موضوعية: Computer science, business.industry, General Engineering, Human Factors and Ergonomics, Reuse, Semantics, Formal methods, Education, Human-Computer Interaction, Hardware and Architecture, Formal specification, Artificial intelligence, business, Software engineering, Competence (human resources), Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::14675d68478cb2cbaf658343d4ac062a
https://doi.org/10.1006/ijhc.1998.0215

المؤلفون: Chris Johnson

المصدر: International Journal of Human-Computer Studies. 47:659-688

مصطلحات موضوعية: Operations research, Computer science, General Engineering, Human Factors and Ergonomics, Formal methods, Education, Epistemics, Task (project management), Human-Computer Interaction, Intervention (law), Accident (fallacy), Risk analysis (engineering), Hardware and Architecture, Order (exchange), Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::baa4fec825090c2ac70357a422368fab
https://doi.org/10.1006/ijhc.1997.0151

المؤلفون: Manfred Aben, Frank van Harmelen

المساهمون: Artificial intelligence, Onderzoeksinstituut Psychologie (FMG)

المصدر: International Journal of Human-computer Studies, 44(2), 187-212. Academic Press Inc.
International Journal of Human-Computer Studies, 44, 187-212. Academic Press Inc.
van Harmelen, F A H & Aben, M 1996, ' Structure preserving specification languages for knowledge-based systems ', International Journal of Human-computer Studies, vol. 44, no. 2, pp. 187-212 . https://doi.org/10.1006/ijhc.1996.0010

مصطلحات موضوعية: Computer science, Human Factors and Ergonomics, Refinement, computer.software_genre, Education, Language Of Temporal Ordering Specification, Knowledge-based systems, Formal specification, Formal language, Formal verification, Programming language, business.industry, General Engineering, Specification language, Ontology language, Formal methods, Formal system, Expert system, Human-Computer Interaction, Knowledge base, Hardware and Architecture, Semantics of logic, Systems design, Artificial intelligence, business, computer, Software, Verification and validation

وصف الملف: application/pdf; application/postscript

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::87107d3a5bc391bf044222cfccd7387b
https://research.vu.nl/en/publications/daf4c16d-543c-4ce0-aec8-2cc5f52ece68

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.