Software technology - formal methods and scientific foundations

被引：6
|
作者：
Broy, M [1 ]
机构：
[1] Tech Univ Munich, Inst Informat, D-80290 Munich, Germany
来源：
INFORMATION AND SOFTWARE TECHNOLOGY | 1999年 / 41卷 / 14期
关键词：
software engineering; system models; formal methods;
D O I：
10.1016/S0950-5849(99)00068-3
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Formal methods have been seen as ways to improve the quality of the software development process. However, apart from the interesting idea to apply mathematics and logic directly to software development activities, there is an urgent need to create a scientific foundation on which today's software technology practise can be based. We discuss the progress in formal methods and their influence in forming a scientific foundation for software technology. We argue that logics and mathematics provide a scientific basis for software engineering, which leads to a deeper understanding of the development process and a more powerful tool support. We point out, how software engineering methods can be backed up by mathematics. We discuss the benefits of such a mathematical foundation that go far beyond the application of so-called formal methods for the specification and verification of software. (C) 1999 Elsevier Science Ltd. All rights reserved.
引用
收藏
页码：947 / 950
页数：4
相关论文
共 50 条
  • [1] Formal foundations for software engineering methods - Introduction
    Hussmann, H
    [J]. FORMAL FOUNDATIONS FOR SOFTWARE ENGINEERING METHODS, 1997, 1322 : 1 - +
  • [2] Formal Methods - Support or Scientific Decoration in Software Development?
    Szmuc, Tomasz
    Szpyrka, Marcin
    [J]. 2015 22ND INTERNATIONAL CONFERENCE MIXED DESIGN OF INTEGRATED CIRCUITS & SYSTEMS (MIXDES), 2015, : 24 - 31
  • [3] THE SCIENTIFIC FOUNDATIONS OF THE DEVELOPMENT OF TECHNOLOGY
    DORFMAN, VF
    [J]. VOPROSY FILOSOFII, 1985, (05) : 116 - 124
  • [4] Design of telecommunication services based on software agent technology and formal methods
    Gervais, MP
    Ruffel, N
    [J]. GLOBECOM 97 - IEEE GLOBAL TELECOMMUNICATIONS CONFERENCE, CONFERENCE RECORD, VOLS 1-3, 1997, : 1724 - 1728
  • [5] Formal methods and software reliability
    Holzmann, GJ
    [J]. SECOND ACM AND IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2004, : 145 - 146
  • [6] Software engineering and formal methods
    Aichernig, Bernhard
    Beckert, Bernhard
    [J]. SOFTWARE AND SYSTEMS MODELING, 2008, 7 (03): : 255 - 256
  • [7] Software engineering and formal methods
    Hinchey, Mike
    Jackson, Michael
    Cousot, Patrick
    Cook, Byron
    Bowen, Jonathan P.
    Margaria, Tiziana
    [J]. COMMUNICATIONS OF THE ACM, 2008, 51 (09) : 54 - 59
  • [8] Software engineering and formal methods
    Bernhard Aichernig
    Bernhard Beckert
    [J]. Software & Systems Modeling, 2008, 7 : 255 - 256
  • [9] Formal Methods and Software Engineering
    Serna Montoya, Edgar
    [J]. REVISTA VIRTUAL UNIVERSIDAD CATOLICA DEL NORTE, 2010, 30 : 158 - 184
  • [10] FORMAL METHODS IN SOFTWARE ENGINEERING
    LEVESON, NG
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 929 - 931
12345