Static analysis and diversity in the software development process - Experiences with the use of SPARK

被引：0

作者：

Thornley, JP ^{[1
]}

机构：

[1] British Aerosp Mil Aircraft, Preston PR4 1AX, Lancs, England

来源：

RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE '97 | 1997年 / 1251卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

This paper discusses the need for diversity in any development process used for high integrity software and describes some ways in which differing levels of diversity can be created. A summary of the SPARK language is given and experience with-the use of SPARK in creating the highest level of diversity for safety critical software is described. Current best practice for the use of SPARK is then described as well as potential future developments in its use.

引用

页码：266 / 277

页数：12

共 50 条

[41] Analysis of software component quality to improve object utilization in software development process
Rahul, Kumar
Sinha, Brijesh Kumar
[J]. PROCEEDINGS OF THE 2016 2ND INTERNATIONAL CONFERENCE ON APPLIED AND THEORETICAL COMPUTING AND COMMUNICATION TECHNOLOGY (ICATCCT), 2016, : 515 - 518
[42] A Crisis Situations Decision-Making Systems Software Development Process With Rescue Experiences
Nowroozi, Alireza
Teymoori, Peyman
Ramezanifarkhani, Toktam
Besharati, Mohammad Reza
Izadi, Mohammad
[J]. IEEE ACCESS, 2020, 8 : 59599 - 59617
[43] On the use of static analysis to engage students with software quality improvement: An experience with PMD
AlOmar, Eman Abdullah
AlOmar, Salma Abdullah
Mkaouer, Mohamed Wiem
[J]. 2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING-SOFTWARE ENGINEERING EDUCATION AND TRAINING, ICSE-SEET, 2023, : 179 - 191
[44] Understanding How to Use Static Analysis Tools for Detecting Cryptography Misuse in Software
Braga, Alexandre
Dahab, Ricardo
Antunes, Nuno
Laranjeiro, Nuno
Vieira, Marco
[J]. IEEE TRANSACTIONS ON RELIABILITY, 2019, 68 (04) : 1384 - 1403
[45] Experiences with criticality predictions in software development
Ebert, C
[J]. SOFTWARE ENGINEERING - ESEC/FSE '97, 1997, 1301 : 278 - 293
[46] Experiences in software development with different methodologies
Liu, JB
[J]. COMPUTERS AND THEIR APPLICATIONS, 2001, : 425 - 428
[47] Diversity in Software Development Routines are Attractive: A Preliminary Analysis of GitHub Repositories
Robinson, William N.
Deng, Tianjie
[J]. AMCIS 2015 PROCEEDINGS, 2015,
[48] THE USE OF ANALOGS IN THE INNOVATION PROCESS - A SOFTWARE ENGINEERING PROTOCOL ANALYSIS
SILVERMAN, BG
[J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1985, 15 (01): : 30 - 44
[49] AN XML BASED METHODOLOGY TO MODEL AND USE SCENARIOS IN THE SOFTWARE DEVELOPMENT PROCESS
Della Penna, Giuseppe
Laurenzi, Anna Rita
Orefice, Sergio
Intrigila, Benedetto
[J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2008, 18 (06) : 823 - 852
[50] The personal software process: Experiences from Denmark
Abrahamsson, P
Kautz, K
[J]. PROCEEDINGS OF THE 28TH EUROMICRO CONFERENCE, 2002, : 367 - 374

← 1 2 3 4 5 →