FORMAL SPECIFICATION METHODS IN ENGINEERING DESIGN

Authors
Citation
Dv. Boriani, FORMAL SPECIFICATION METHODS IN ENGINEERING DESIGN, ISA transactions, 36(2), 1997, pp. 123-129
Citations number
10
Categorie Soggetti
Instument & Instrumentation",Engineering
Journal title
ISSN journal
00190578
Volume
36
Issue
2
Year of publication
1997
Pages
123 - 129
Database
ISI
SICI code
0019-0578(1997)36:2<123:FSMIED>2.0.ZU;2-N
Abstract
This paper is intended for engineering staff intent on embarking on a rigorous hardware or software design effort. It discusses formal speci fication as an important tool for formulating and validating engineeri ng designs, from the Feint of view of organizational requirements, exp ectations, and benefits. It compares existing approaches and cites exa mples of real-life case studies. (C) 1997 Elsevier Science Ltd.