Challenges in the successful transfer of formal methods technology into industrial applications

Hossein Saiedian; Michael G. Hinchey

doi:10.1016/0950-5849(95)01057-2

Challenges in the successful transfer of formal methods technology into industrial applications

Research output: Contribution to journal › Article › peer-review

Abstract

The primary objective of this article is to discuss a number of challenges (presented in terms of 'guidelines') that must be addressed in a pragmatic manner in order to transfer formal methods technology into the actual workplace and to ensure that formal methods are actually used on an industrial scale.

Original language	English
Pages (from-to)	313-322
Number of pages	10
Journal	Information and Software Technology
Volume	38
Issue number	5
DOIs	https://doi.org/10.1016/0950-5849(95)01057-2
Publication status	Published - May 1996
Externally published	Yes

Keywords

Education
Formal methods
Marketing
Reusable framework
Simulation
Training

Access to Document

10.1016/0950-5849(95)01057-2

Cite this

@article{22b33a7444584e3c9899b68e66144efd,

title = "Challenges in the successful transfer of formal methods technology into industrial applications",

abstract = "The primary objective of this article is to discuss a number of challenges (presented in terms of 'guidelines') that must be addressed in a pragmatic manner in order to transfer formal methods technology into the actual workplace and to ensure that formal methods are actually used on an industrial scale.",

keywords = "Education, Formal methods, Marketing, Reusable framework, Simulation, Training",

author = "Hossein Saiedian and Hinchey, {Michael G.}",

year = "1996",

month = may,

doi = "10.1016/0950-5849(95)01057-2",

language = "English",

volume = "38",

pages = "313--322",

journal = "Information and Software Technology",

issn = "0950-5849",

number = "5",

}

TY - JOUR

T1 - Challenges in the successful transfer of formal methods technology into industrial applications

AU - Saiedian, Hossein

AU - Hinchey, Michael G.

PY - 1996/5

Y1 - 1996/5

N2 - The primary objective of this article is to discuss a number of challenges (presented in terms of 'guidelines') that must be addressed in a pragmatic manner in order to transfer formal methods technology into the actual workplace and to ensure that formal methods are actually used on an industrial scale.

AB - The primary objective of this article is to discuss a number of challenges (presented in terms of 'guidelines') that must be addressed in a pragmatic manner in order to transfer formal methods technology into the actual workplace and to ensure that formal methods are actually used on an industrial scale.

KW - Education

KW - Formal methods

KW - Marketing

KW - Reusable framework

KW - Simulation

KW - Training

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

U2 - 10.1016/0950-5849(95)01057-2

DO - 10.1016/0950-5849(95)01057-2

M3 - Article

AN - SCOPUS:0030141996

SN - 0950-5849

VL - 38

SP - 313

EP - 322

JO - Information and Software Technology

JF - Information and Software Technology

IS - 5

ER -

Challenges in the successful transfer of formal methods technology into industrial applications

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this