Formal methods of text research: technicaldocuments analysis application

被引：0
|
作者：
Mitina, O. V.
Yevdokimenko, A. S.
机构：
来源：
VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA FILOLOGIYA-TOMSK STATE UNIVERSITY JOURNAL OF PHILOLOGY | 2010年 / 9卷 / 01期
关键词：
D O I：
暂无
中图分类号：
H [语言、文字];
学科分类号：
05 ;
摘要：
引用
收藏
页码：60 / 69
页数：10
相关论文
共 50 条
  • [1] Application of formal methods for analysis of authentication protocols
    Tiwari, RK
    DISTRIBUTED COMPUTING - IWDC 2004, PROCEEDINGS, 2004, 3326 : 536 - 536
  • [2] Application of formal methods to the analysis of web services security
    Tobarra, L
    Cazorla, D
    Cuartero, F
    Díaz, G
    FORMAL TECHNIQUES FOR COMPUTER SYSTEMS AND BUSINESS PROCESSES, PROCEEDINGS, 2005, 3670 : 215 - 229
  • [3] Security requirements specification by formal methods: a research metadata analysis
    Mishra, Aditya Dev
    Mustafa, Khurram
    MULTIMEDIA TOOLS AND APPLICATIONS, 2023, 83 (14) : 41847 - 41866
  • [4] Security requirements specification by formal methods: a research metadata analysis
    Aditya Dev Mishra
    Khurram Mustafa
    Multimedia Tools and Applications, 2024, 83 : 41847 - 41866
  • [5] Practical application of formal methods for specification and analysis of software architecture
    Maxwell, C
    Parakhine, A
    Leaney, J
    2005 Australian Software Engineering Conference, Proceedings, 2005, : 302 - 311
  • [6] Application of Text Mining Techniques on Scholarly Research Articles: Methods and Tools
    Thakur, Khusbu
    Kumar, Vinit
    NEW REVIEW OF ACADEMIC LIBRARIANSHIP, 2022, 28 (03) : 279 - 302
  • [7] FORMAL METHODS OF TEXT STRUCTURE-ANALYSIS USED FOR AUTOMATIC-INDEXING AND ABSTRACTING
    BONDARENKO, GV
    NAUCHNO-TEKHNICHESKAYA INFORMATSIYA SERIYA 2-INFORMATSIONNYE PROTSESSY I SISTEMY, 1976, (05): : 26 - 37
  • [8] THE APPLICATION OF TEXT MINING AND STATISTICAL METHODS IN THE ANALYSIS OF EVALUATIVE LANGUAGE
    Leska, Magdalena
    Lacka-Badura, Jolanta
    Trzesiok, Joanna
    ENGLISH AS THE LINGUA FRANCA OF THE MODERN WORLD: NEW CHALLENGES FOR ACADEMIA, 2013, : 55 - 69
  • [9] Application of formal methods to modelling and analysis aspects of business process reengineering
    Haseeb, Junaid
    Ahmad, Naveed
    Malik, Saif U. R.
    Anjum, Adeel
    BUSINESS PROCESS MANAGEMENT JOURNAL, 2020, 26 (02) : 548 - 569
  • [10] A formal analysis of modularisation and its application to object-oriented methods
    Batenin, A
    OBJECT-ORIENTED TECHNOLOGY: ECOOP'98 WORKSHOP READER, 1998, 1543 : 267 - 269
12345