公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2009 | A Simulation Approach to Understand the Viability of RFID Technology in Reducing Medication Dispensing Errors. | Jun, Esther; Lee, Jonathan; Shi, Xiaobo; JONATHAN LEE | Digital Human Modeling, Second International Conference, ICDHM 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings | | | |
2000 | A Software Engineering Approach to University Timetabling. | Lee, Jonathan; Fanjiang, Yong-Yi; Lai, Lein F.; JONATHAN LEE | 2000 International Symposium on Multimedia Software Engineering, ISMSE 2000, Taipei, Taiwan, December 11-13, 2000 | | | |
2014 | Software engineering education: From dysfunction to core competency | JONATHAN LEE ; Hsueh N.-L; Ma S.-P; Liu A; Cheng Y.C; Kuo Y.-H. | Engineering Education: Curriculum, Pedagogy and Didactic Aspects | 0 | 0 | |
1998 | Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic. | Yang, Stephen J. H.; Lin, Sam; Lee, Jonathan; Chu, William C.; JONATHAN LEE | 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 13-14 November 1998, Washington, D.C, USA, Proceedings | | | |
1999 | Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic. | Yang, Stephen J. H.; Chu, William C.; JONATHAN LEE | International Journal of Software Engineering and Knowledge Engineering | | | |
2001 | Structuring requirement specifications with goals. | Lee, Jonathan; Xue, Nien-Lin; Kuo, Jong-Yih; JONATHAN LEE | Information & Software Technology | | | |
1999 | Structuring Requirements Specifications through Goals Interactions. | Lee, Jonathan; Xue, Nien-Lin; Hsu, Kuo-Hsun; Fangjang, Yong-Yi; JONATHAN LEE | 11th IEEE International Conference on Tools with Artificial Intelligence, ICTAI '99, Chicago, Illinois, USA, November 8-10, 1999 | | | |
1997 | Task structures as a basis for modeling knowledge-based systems. | JONATHAN LEE | Int. J. Intell. Syst. | | | |
1996 | A Task-Based Approach to Verifying Conceptual Models. | Lee, Jonathan; Lai, Lein F.; Huang, Wei T.; JONATHAN LEE | COMPSAC '96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea | | | |
2000 | Task-based conceptual graphs as a basis for automating software development. | Lee, Jonathan; Lai, Lein F.; Hsu, Kuo-Hsun; Fanjiang, Yong-Yi; JONATHAN LEE | Int. J. Intell. Syst. | | | |
1996 | Task-Based Specifications Through Conceptual Graphs. | Lee, Jonathan; Lai, Lein F.; Huang, Wei T.; JONATHAN LEE | IEEE Expert | | | |
2000 | Towards the Verification of Scenarios with Time Petri-Nets. | Lee, Jonathan; Kuo, Jong-Yih; Fanjiang, Yong-Yi; Yang, Stephen J. H.; Pan, Jiann-I; JONATHAN LEE | 24th International Computer Software and Applications Conference (COMPSAC 2000), 25-28 October 2000, Taipei, Taiwan | | | |
2005 | University timetabling through conceptual modeling. | Lee, Jonathan; Ma, Shang-Pin; Lai, Lien Fu; Hsueh, Nien-Lin; Fanjiang, Yong-Yi; JONATHAN LEE | Int. J. Intell. Syst. | | | |
2001 | Verifying scenarios with time Petri-nets. | Lee, Jonathan; Pan, Jiann-I; Kuo, Jong-Yih; JONATHAN LEE | Information & Software Technology | | | |
1998 | Verifying task-based specifications in conceptual graphs. | Lee, Jonathan; Lai, Lein F.; JONATHAN LEE | Information & Software Technology | | | |
2019 | Veritas: Shared Verifiable Databases and Tables in the Cloud. | Gehrke, Johannes; Allen, Lindsay; Antonopoulos, Panagiotis; Arasu, Arvind; Hammer, Joachim; Hunter, James; Kaushik, Raghav; Kossmann, Donald; Ramamurthy, Ravi; Setty, Srinath T. V.; Szymaszek, Jakub; Renen, Alexander van; Lee, Jonathan; Venkatesan, Ramarathnam; JONATHAN LEE | CIDR 2019, 9th Biennial Conference on Innovative Data Systems Research, Asilomar, CA, USA, January 13-16, 2019, Online Proceedings | | | |
2003 | An XML-based Approach to Processing Imprecise Requirements. | Lee, Jonathan; Fanjiang, Yong-Yi; Chen, Tzung-Jie; Lin, Ying-Yan; JONATHAN LEE | Fuzzy Sets and Systems - IFSA 2003, 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30 - July 2, 2003, Proceedings | | | |