Language-based approaches to software measurement

被引：4
|
作者：
Cogan, BI [1 ]
Hunter, RB [1 ]
机构：
[1] INST AUTOMAT & CONTROL PROC,VLADIVOSTOK,RUSSIA
来源：
PROCEEDINGS OF THE 3RD INTERNATIONAL SOFTWARE METRICS SYMPOSIUM | 1996年
关键词：
D O I：
10.1109/METRIC.1996.492438
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：3 / 9
页数：7
相关论文
共 50 条
  • [1] Programming with proofs: Language-based approaches to totally correct software
    Stump, Aaron
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 502 - 509
  • [2] Language-Based Software Testing
    Steinhofel, Dominic
    Zeller, Andreas
    [J]. COMMUNICATIONS OF THE ACM, 2024, 67 (04) : 77 - 81
  • [3] Language-based software engineering
    Gupta, Gopal
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2015, 97 : 37 - 40
  • [4] Security Issues in Language-based Software Ecosystems
    University of Kansas, United States
    不详
    不详
    [J]. arXiv,
  • [5] Managers and eldercare: Three critical, language-based approaches
    McGowan, RA
    Morouney, K
    Bradshaw, P
    [J]. CANADIAN JOURNAL ON AGING-REVUE CANADIENNE DU VIEILLISSEMENT, 2000, 19 (02): : 237 - 259
  • [6] Using Language-Based Search in Mining Large Software Repositories
    Abu Bakar, Normi Sham Awang
    [J]. COMPUTATIONAL LINGUISTICS AND RELATED FIELDS, 2011, 27 : 160 - 168
  • [7] Language-based access control approach for component-based software applications
    Su, R.
    Lukkien, J. J.
    Chaudron, M. R. V.
    [J]. IET SOFTWARE, 2007, 1 (05) : 206 - 216
  • [8] A language-based access control approach for component-based software applications
    Su, Rong
    Lukkien, Johan J.
    Chaudron, Michel R. V.
    [J]. PROCEEDINGS OF THE 10TH IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND APPLICATIONS, 2006, : 233 - +
  • [9] Language-Based Medicine
    Kolla, Avani M.
    [J]. ACADEMIC MEDICINE, 2022, 97 (02) : 207 - 207
  • [10] Language-Based Hypervisors
    Budianto, Enrico
    Chow, Richard
    Ding, Jonathan
    McCool, Michael
    [J]. CRYPTOLOGY AND NETWORK SECURITY, CANS 2016, 2016, 10052 : 731 - 736
12345