Specification and Generation of Environment for Model Checking of Software Components

被引：0
|
作者：
Department of Software Engineering, Charles University, Faculty of Mathematics and Physics, Prague, Czech Republic [1 ]
不详 [2 ]
机构：
来源：
Electron. Notes Theor. Comput. Sci. | / 2卷 / 143-154期
关键词：
Automated generation of environment - Behavior protocols - Software components;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Consistency Checking for Automatic Software Generation
    Vargun, Aytekin
    2009 24TH INTERNATIONAL SYMPOSIUM ON COMPUTER AND INFORMATION SCIENCES, 2009, : 559 - 564
  • [32] Software requirements specification: an overview from the theoretical background checking
    Toro, A.
    Galvez, J. G.
    ENTRE CIENCIA E INGENIERIA, 2016, (19): : 108 - 113
  • [33] Evaluation of Ontology-based Checking of Software Requirements Specification
    Dzung, Dang Viet
    Ohnishi, Atsushi
    2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 425 - 430
  • [34] Defining and checking deployment contracts for software components
    Lau, Kung-Kiu
    Ukis, Vladyslav
    COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 4063 : 1 - 16
  • [35] Model checking of software components: Combining Java']Java PathFinder and behavior protocol model checker
    Parizek, Pavel
    Plasil, Frantisek
    Kofron, Jan
    30TH ANNUAL IEEE/NASA SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS, 2006, : 133 - +
  • [36] A new specification of software components for embedded systems
    Azumi, Takuya
    Yamamoto, Masanari
    Kominami, Yasuo
    Takagi, Nobuhisa
    Oyama, Hiroshi
    Takada, Hiroaki
    10TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2007, : 46 - +
  • [37] UnSCom: A standardized framework for the specification of software components
    Overhage, S
    OBJECT-ORIENTED AND INTERNET-BASED TECHNOLOGIES, PROCEEDINGS, 2004, 3263 : 169 - 184
  • [38] Model Checking of Software for Microcontrollers
    Schlich, Bastian
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2010, 9 (04)
  • [39] Tutorial: Software model checking
    Clarke, E
    Kroening, D
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 9 - 10
  • [40] Modular model checking of software
    Laster, K
    Grumberg, O
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1998, 1384 : 20 - 35
12345