TOWARDS AUTOMATIC SOFTWARE GENERATION.

被引：0
|
作者：
Rudall, B.H. [1 ]
机构：
[1] Univ Coll of North Wales, Computing, Lab, Bangor, Wales, Univ Coll of North Wales, Computing Lab, Bangor, Wales
来源：
| 1600年 / 03期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
COMPUTER SOFTWARE
引用
收藏
相关论文
共 50 条
  • [21] Automatic Generation of Software Behavioral Models
    Lorenzoli, Davide
    Mariani, Leonardo
    Pezze, Mauro
    ICSE'08 PROCEEDINGS OF THE THIRTIETH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2008, : 501 - 510
  • [22] Automatic software test case generation
    Department of Computer Engineering, Alzahra University of Tehran, Vanak St., Tehran, Iran
    不详
    J. Softw. Eng., 3 (91-101):
  • [23] AUTOMATIC SOFTWARE TEST-GENERATION
    CAMUFFO, M
    MAIOCCHI, M
    MORSELLI, M
    INFORMATION AND SOFTWARE TECHNOLOGY, 1990, 32 (05) : 337 - 346
  • [24] Automatic Generation of Hardware/Software Interfaces
    King, Myron
    Dave, Nirav
    Arvind
    ASPLOS XVII: SEVENTEENTH INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS, 2012, : 325 - 336
  • [25] Consistency Checking for Automatic Software Generation
    Vargun, Aytekin
    2009 24TH INTERNATIONAL SYMPOSIUM ON COMPUTER AND INFORMATION SCIENCES, 2009, : 559 - 564
  • [26] Towards automatic verification of embedded control software
    Bauer, N
    Huuck, R
    SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2001, : 375 - 383
  • [27] Discern: Towards the automatic discovery of software contracts
    Feldman, Yishai A.
    Gendler, Leon
    SEFM 2006: FOURTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2006, : 90 - +
  • [28] Towards Fully Automatic Synthesis of Embedded Software
    Kuhne, Ulrich
    Grosse, Daniel
    Drechsler, Rolf
    IEEE EMBEDDED SYSTEMS LETTERS, 2010, 2 (03) : 53 - 57
  • [29] Towards Automatic Synthesis of Software Verification Tools
    Rybalchenko, Andrey
    PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING, 2011, : 3 - 3
  • [30] TOWARDS AUTOMATIC GENERATION OF APPLICATION ONTOLOGIES
    Sacramento, Eveline R.
    Vidal, Vania M. P.
    de Macedo, Jose Antonio F.
    Loscio, Bernadette F.
    Lopes, Fernanda Ligia R.
    Lemos, Fernando
    Casanova, Marco A.
    ICEIS 2010: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 1: DATABASES AND INFORMATION SYSTEMS INTEGRATION, 2010, : 403 - 406
12345