首页 | 本学科首页   官方微博 | 高级检索  
     


EMCDM: Efficient model checking by data mining for verification of complex software systems specified through architectural styles
Affiliation:1. Department of Computer Engineering, Faculty of Engineering, Arak University, Arak 38156-8-8349, Iran;2. Faculty of Computer Engineering, K.N. Toosi University of Technology, Tehran 1631714191, Iran;1. Instituto de Computación, Facultad de Ingeniería, Universidad de la República, Julio Herrera y Reissig 565, 11300 Montevideo, Uruguay;2. Depto. de Lenguajes y Ciencias de la Computación, Univ. de Málaga, E.T.S. Ingeniería Informática, Campus de Teatinos, 29071 Málaga, Spain;1. Department of Chemical Engineering, Faculty of Engineering, University of Malaya, 50603 Kuala Lumpur, Malaysia;2. Duy Tân University, 254 Nguyen Van Linh Road, Da Nang, Viet Nam;3. ICTEAM, Université Catholique de Louvain, 4-6 Avenue G. Lemaître, B-1348 Louvain-La-Neuve, Belgium;1. Computer Science & Engineering Department, American University of Sharjah, P.O. Box 26666, Sharjah, United Arab Emirates;2. Computer Science & Engineering Department, American University of Sharjah, Sharjah, United Arab Emirates;3. University of Science and Technology Houari Boumediene, Algeria;4. Tomsk State University, Russia;1. Department of Economy, Quantitative Methods and Economic History, Pablo de Olavide University, Carretera de Utrera Km. 1, 41013-Sevilla, Spain;2. School of Mathematics, Physics and Technology, College of the Bahamas, Nassau, Bahamas;3. Department of Mathematics, Carlos III University of Madrid, Av. de la Universidad 30, 28911 Leganés, Madrid, Spain;4. Faculty of Mathematics, Autonomous University of Guerrero, Carlos E. Adame 5, Col. La Garita, Acapulco, Guerrero, Mexico
Abstract:
Keywords:Architectural styles  Model checking  State space explosion  Graph transformation system  Data mining
本文献已被 ScienceDirect 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号