A survey of current practice in aerospace software development

Robert Plant, Panagiotis Tsoumpas

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

This paper integrates the premise that current software level practices within the aerospace industry are weak and that there is a lack of rigour in both technical and managerial areas. Results from a survey of practitioners are presented that indicate a lack of information interchange exists and that the use of formal techniques is limited. The paper proposes that this is indicative of poor life-cycle practices and that more rigorous methodologies, ones that integrate formal methods with quality practices, are required. A two-level model is proposed to address the issue.

Original languageEnglish (US)
Pages (from-to)623-636
Number of pages14
JournalInformation and Software Technology
Volume37
Issue number11
DOIs
StatePublished - 1995

Fingerprint

Formal methods
Aerospace industry
Interchanges
Life cycle
Software engineering

Keywords

  • aerospace software
  • software practice
  • software process modelling

ASJC Scopus subject areas

  • Computer Science Applications
  • Information Systems
  • Software

Cite this

A survey of current practice in aerospace software development. / Plant, Robert; Tsoumpas, Panagiotis.

In: Information and Software Technology, Vol. 37, No. 11, 1995, p. 623-636.

Research output: Contribution to journalArticle

Plant, Robert ; Tsoumpas, Panagiotis. / A survey of current practice in aerospace software development. In: Information and Software Technology. 1995 ; Vol. 37, No. 11. pp. 623-636.
@article{c56841172e6c4778bba6322853f6e792,
title = "A survey of current practice in aerospace software development",
abstract = "This paper integrates the premise that current software level practices within the aerospace industry are weak and that there is a lack of rigour in both technical and managerial areas. Results from a survey of practitioners are presented that indicate a lack of information interchange exists and that the use of formal techniques is limited. The paper proposes that this is indicative of poor life-cycle practices and that more rigorous methodologies, ones that integrate formal methods with quality practices, are required. A two-level model is proposed to address the issue.",
keywords = "aerospace software, software practice, software process modelling",
author = "Robert Plant and Panagiotis Tsoumpas",
year = "1995",
doi = "10.1016/0950-5849(95)98299-U",
language = "English (US)",
volume = "37",
pages = "623--636",
journal = "Information and Software Technology",
issn = "0950-5849",
publisher = "Elsevier",
number = "11",

}

TY - JOUR

T1 - A survey of current practice in aerospace software development

AU - Plant, Robert

AU - Tsoumpas, Panagiotis

PY - 1995

Y1 - 1995

N2 - This paper integrates the premise that current software level practices within the aerospace industry are weak and that there is a lack of rigour in both technical and managerial areas. Results from a survey of practitioners are presented that indicate a lack of information interchange exists and that the use of formal techniques is limited. The paper proposes that this is indicative of poor life-cycle practices and that more rigorous methodologies, ones that integrate formal methods with quality practices, are required. A two-level model is proposed to address the issue.

AB - This paper integrates the premise that current software level practices within the aerospace industry are weak and that there is a lack of rigour in both technical and managerial areas. Results from a survey of practitioners are presented that indicate a lack of information interchange exists and that the use of formal techniques is limited. The paper proposes that this is indicative of poor life-cycle practices and that more rigorous methodologies, ones that integrate formal methods with quality practices, are required. A two-level model is proposed to address the issue.

KW - aerospace software

KW - software practice

KW - software process modelling

UR - http://www.scopus.com/inward/record.url?scp=0029406971&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0029406971&partnerID=8YFLogxK

U2 - 10.1016/0950-5849(95)98299-U

DO - 10.1016/0950-5849(95)98299-U

M3 - Article

AN - SCOPUS:0029406971

VL - 37

SP - 623

EP - 636

JO - Information and Software Technology

JF - Information and Software Technology

SN - 0950-5849

IS - 11

ER -