Software is more than code

被引：0
|
作者：
Rajamani, Sriram K. [1 ]
机构：
[1] Microsoft Res, Bangalore, Karnataka, India
来源：
JOURNAL OF UNIVERSAL COMPUTER SCIENCE | 2007年 / 13卷 / 05期
关键词：
formal methods; software engineering;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper reviews the current practice of software engineering and outlines some prospects for developing a more holistic and formally grounded approach.
引用
收藏
页码：602 / 606
页数：5
相关论文
共 50 条
  • [1] Software Is More Than Games
    蔡天琪
    [J]. 中学生英语(高中版), 2009, (30) : 39 - 39
  • [2] ETHICS IS MORE THAN A PRACTICAL CODE
    CABOT, LW
    [J]. CHEMICAL ENGINEERING PROGRESS, 1965, 61 (02) : 13 - &
  • [3] Is Agent Software More Complex than Other Software?
    Zanbar, Alon
    Kaminka, Gal A.
    [J]. AAMAS '19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 2019, : 2303 - 2305
  • [4] Is Hardware More Secure Than Software?
    Zhao, Lianying
    Lie, David
    [J]. IEEE SECURITY & PRIVACY, 2020, 18 (05) : 8 - 17
  • [5] SOFTWARE PLATFORMS - MORE THAN A BUZZWORD
    KOLLAND, M
    MEHNER, T
    KUHN, KJ
    [J]. WIRTSCHAFTSINFORMATIK, 1993, 35 (01): : 23 - 31
  • [6] Teaching ethics: More than an Honor Code
    Fleischmann, ST
    [J]. SCIENCE AND ENGINEERING ETHICS, 2006, 12 (02) : 381 - 389
  • [7] The Genetic Code—More Than Just a Table
    D. Berleant
    M. White
    E. Pierce
    E. Tudoreanu
    A. Boeszoermenyi
    Y. Shtridelman
    J. C. Macosko
    [J]. Cell Biochemistry and Biophysics, 2009, 55 : 107 - 116
  • [8] THERE IS MORE THAN A ZIP CODE TO CHANGES IN SERVICES
    BRUININKS, RH
    [J]. AMERICAN JOURNAL ON MENTAL RETARDATION, 1990, 95 (01): : 13 - 15
  • [9] Teaching ethics: More than an honor code
    Shirley T. Fleischmann
    [J]. Science and Engineering Ethics, 2006, 12 : 381 - 389
  • [10] Reimagining DNA as the Code of (More Than) Life
    Lee, Magdelene N.
    Tuck, James M.
    Keung, Albert J.
    [J]. CHEMICAL ENGINEERING PROGRESS, 2023, 119 (11) : 34 - 37
12345