| dc.contributor | 資管系 | - |
| dc.creator (作者) | Chen, T.T.;Chiu, Yaw Han;Chi, Yan-Ping | - |
| dc.creator (作者) | 邱耀漢;季延平 | - |
| dc.date (日期) | 2011 | - |
| dc.date.accessioned | 22-Jun-2015 13:20:22 (UTC+8) | - |
| dc.date.available | 22-Jun-2015 13:20:22 (UTC+8) | - |
| dc.date.issued (上傳時間) | 22-Jun-2015 13:20:22 (UTC+8) | - |
| dc.identifier.uri (URI) | http://nccur.lib.nccu.edu.tw/handle/140.119/75978 | - |
| dc.description.abstract (摘要) | Software validation is an important issue since software is embedded in various devices and these devices are ubiquitous in our daily life nowadays. Software validation is an attempt to ensure the software product fulfills its specific intended purpose. As software is getting more complex, the software validation process is getting more complicated and time consuming. The study of software validation is an important active research field with voluminous publications. The sheer volume of software validation related literatures hinders our comprehending of its content and context. We therefore utilize the intellectual structure construction and knowledge domain visualization techniques developed by the information scientist to ease the task of understanding the main themes of this important research domain. Base on our analysis, we can see the research themes of software validation may be divided into three main groups: the first one deals with systems with interweaving hardware and software related issues, such as real-time systems, parallel systems; the second one deals with model checking related issues, including automata theory and temporal logic; the third one deals the modeling and simulation of concurrent and distributed systems. © Springer-Verlag Berlin Heidelberg 2011. | - |
| dc.format.extent | 176 bytes | - |
| dc.format.mimetype | text/html | - |
| dc.relation (關聯) | Communications in Computer and Information Science, Volume 131 CCIS, Issue PART 1, 2011, Pages 428-438, 1st International Conference on Computer Science and Information Technology, CCSIT 2011; Bangalore; India; 2 January 2011 到 4 January 2011; 代碼 95934 | - |
| dc.subject (關鍵詞) | Citation analysis; Concurrent and distributed systems; Daily lives; Domain visualization; Hardware and software; Intellectual structures; Knowledge domain visualization; Main group; Modeling and simulation; Parallel system; Research domains; Research fields; Software products; Software validation; Automata theory; Computer science; Computer simulation; Model checking; Real time systems; Research; Information technology | - |
| dc.title (題名) | Deciphering the main research themes of software validation - A bibliographical study | - |
| dc.type (資料類型) | conference | en |
| dc.identifier.doi (DOI) | 10.1007/978-3-642-17857-3_42 | - |
| dc.doi.uri (DOI) | http://dx.doi.org/10.1007/978-3-642-17857-3_42 | - |
