A FORMAL METHODOLOGY FOR SUBJECT AREA IDENTIFICATION IN IEF(TM) REENGINEERING PROJECTS

被引:0
|
作者
BANERJEE, D
SIMPSON, CL
机构
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:37 / 39
页数:3
相关论文
共 28 条
  • [1] Identification of Requirements of Software Reengineering for JAVA']JAVA Projects
    Singh, Jaswinder
    Gupta, Ashu
    Singh, Jaiteg
    2017 IEEE INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATION AND AUTOMATION (ICCCA), 2017, : 931 - 934
  • [2] METHODOLOGY FOR PROJECTS SUBJECT IN ENGINEERING BASED ON REAL CASES
    Jimenez Gomez, M. Isabel
    Blanco Caballero, Moises
    Sanchez Lite, Alberto
    San Martin, Moises
    Parra, Eduardo P.
    Andres Serrano, J.
    INTED2014: 8TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, 2014, : 2866 - 2873
  • [3] POWERPC(TM) array verification methodology using formal techniques
    Ganguly, N
    Abadir, M
    Pandey, M
    INTERNATIONAL TEST CONFERENCE 1996, PROCEEDINGS, 1996, : 857 - 864
  • [4] Formal Method of Structural-Logical Identification of Functional Model of Subject Area Polycubic Data Matrix
    Kulikov, Gennady
    Antonov, Vyacheslav
    Fahrullina, Almira
    Rodionova, Ludmila
    Abdulnagimov, Ansaf
    Shilina, Maria
    ACTA POLYTECHNICA HUNGARICA, 2020, 17 (08) : 41 - 59
  • [5] FLIP TEACHING METHODOLOGY APPLIED TO A SUBJECT BASED ON THE RESOLUTION OF REAL PROJECTS
    Barelles, Emma
    Gimenez, Raquel
    INTED2016: 10TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, 2016, : 1443 - 1448
  • [6] A Methodology based on Formal Methods for Thermal Ablation Area Detection
    Brunese, Luca
    Mercaldo, Francesco
    Santone, Antonella
    Vanoli, Giuseppe
    PROCEEDINGS OF THE 14TH INTERNATIONAL JOINT CONFERENCE ON BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, VOL 3: BIOINFORMATICS, 2021, : 191 - 194
  • [7] Application in the subject of Geography of Asia and Africa of the didactic Methodology of the education based on projects
    Vallina Rodriguez, Alejandro
    Velasco Romera, Ivan
    Aguilar Cuesta, Angel Ignacio
    Rodriguez Escudero, Alvaro Daniel
    REVISTA DE INVESTIGACION EDUCATIVA DE LA ESCUELA DE GRADUADOS EN EDUCACION, 2018, 9 (17): : 49 - 60
  • [8] An Ameliorated Methodology for the Identification of Project Activities of Software Development Projects
    Handigund, Shivanand M.
    Arunakumari, B. N.
    2013 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, COMMUNICATIONS AND INFORMATICS (ICACCI), 2013, : 172 - 177
  • [9] Methodology for Automating the Identification and Localization of Construction Components on Industrial Projects
    Torrent, David Grau
    Caldas, Carlos H.
    JOURNAL OF COMPUTING IN CIVIL ENGINEERING, 2009, 23 (01) : 3 - 13
  • [10] FAMe-TM: Formal analysis methodology for task migration algorithms in Many-Core systems
    Bukhari, Syed Ali Asadullah
    Lodhi, Faiq Khalid
    Hasan, Osman
    Shafique, Muhammad
    Henkel, Jorg
    SCIENCE OF COMPUTER PROGRAMMING, 2017, 133 : 154 - 174