Agile Formal Engineering Method for Software Productivity and Reliability

被引：0
|
作者：
Liu, Shaoying [1 ]
机构：
[1] Hosei Univ, Tokyo, Japan
来源：
CEE-SECR'18: PROCEEDINGS OF THE 14TH CENTRAL AND EASTERN EUROPEAN SOFTWARE ENGINEERING CONFERENCE RUSSIA | 2018年
关键词：
Agile Method; Formal Engineering Method; SOFL; Agile Formal Engineering Method; Agile-SOFL;
D O I：
10.1145/3290621.3290634
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In spite of the extensive efforts made by researchers and practitioners over the last fifty years, software engineering is still facing tremendous challenges. Several well-recognized software development paradigms have been studied and applied, but considerable difficulties and problems with software productivity and quality are still serious. In this paper, we present an Agile Formal Engineering Method called Agile-SOFL for achieving high software productivity and reliability, which is the result of our recent five-year KAKENHI research project involving four universities and one national research institute in Japan. We describe the overall idea of the method and discuss every activity involved in the method with examples to ensure the readability of our discussions.
引用
收藏
页数：6
相关论文
共 50 条
  • [21] Green Software Engineering with Agile Methods
    Dick, Markus
    Drangmeister, Jakob
    Kern, Eva
    Naumann, Stefan
    [J]. 2013 2ND INTERNATIONAL WORKSHOP ON GREEN AND SUSTAINABLE SOFTWARE (GREENS), 2013, : 78 - 85
  • [22] Resources for agile software development in the software engineering course
    Williams, L
    Smith, SE
    Rappa, M
    [J]. 18TH CONFERENCE ON SOFTWARE ENGINEERING EDUCATION & TRAINING, PROCEEDINGS, 2005, : 236 - 238
  • [23] Construction of an agile software product-enhancement process by using an agile software solution framework (ASSF) and situational method engineering
    Qumer, Asif
    Henderson-Sellers, Brian
    [J]. COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL I, PROCEEDINGS, 2007, : 539 - +
  • [24] Software engineering and formal methods
    Aichernig, Bernhard
    Beckert, Bernhard
    [J]. SOFTWARE AND SYSTEMS MODELING, 2008, 7 (03): : 255 - 256
  • [25] 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
  • [26] Formal Methods and Software Engineering
    Serna Montoya, Edgar
    [J]. REVISTA VIRTUAL UNIVERSIDAD CATOLICA DEL NORTE, 2010, 30 : 158 - 184
  • [27] Software engineering and formal methods
    Bernhard Aichernig
    Bernhard Beckert
    [J]. Software & Systems Modeling, 2008, 7 : 255 - 256
  • [28] FORMAL METHODS IN SOFTWARE ENGINEERING
    LEVESON, NG
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 929 - 931
  • [29] Software reliability and productivity improvements
    Collins, John
    Wilson, Paul
    [J]. New Zealand Engineering, 1998, 53 (08):
  • [30] Engineering and software reliability
    Ingineria și fiabilitatea programelor software
    [J]. Băjenescu, Titu-Marius I. (tmbajenesco@bluewin.ch), 1600, Editura ELECTRA (64):
12345