Formal engineering design synthesis

被引：0

作者：

Earl, CF ^{[1
]}

机构：

[1] Open Univ, Dept Design & Innovat, Milton Keynes MK7 6AA, Bucks, England

来源：

ENVIRONMENT AND PLANNING B-PLANNING & DESIGN | 2003年 / 30卷 / 04期

关键词：

D O I：

暂无

中图分类号：

X [环境科学、安全科学];

学科分类号：

08 ; 0830 ;

摘要：

引用

页码：638 / 639

页数：2

共 50 条

[1] Formal specification methods in engineering design
Boriani, DV
ISA TRANSACTIONS, 1997, 36 (02) : 123 - 129
[2] A FORMAL APPROACH TO SCHEMA DESIGN FOR ENGINEERING DATABASES
RASDORF, WJ
ABUDAYYEH, OY
ADVANCES IN ENGINEERING SOFTWARE, 1992, 14 (01) : 23 - 31
[3] Formal design techniques - Theory and engineering reality
Dislis, C
Musgrave, G
Hughes, RB
SEVENTH ASIAN TEST SYMPOSIUM (ATS'98), PROCEEDINGS, 1998, : 394 - 398
[4] RETHINKING DESIGN: THE FORMAL INTEGRATION OF ENGINEERING INNOVATION INTO A DESIGN PROCESS
Naim, Aziz M.
Lewis, Kemper E.
PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2011, VOL 9, 2012, : 465 - 477
[5] FORMAL REQUIREMENT FORMULATION AND SYNTHESIS IN SYSTEM ENGINEERING
Brace, William
Coatanea, Eric
ICED 09 - THE 17TH INTERNATIONAL CONFERENCE ON ENGINEERING DESIGN, VOL 4: PRODUCT AND SYSTEMS DESIGN, 2009, : 131 - +
[6] AN ENGINEERING APPROACH TO FORMAL DIGITAL SYSTEM-DESIGN
LARSSON, M
COMPUTER JOURNAL, 1995, 38 (02): : 101 - 110
[7] Using formal methods with SysML in aerospace design and engineering
Graves, Henson
Bijan, Yvonne
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2011, 63 (01) : 53 - 102
[8] Using formal methods with SysML in aerospace design and engineering
Henson Graves
Yvonne Bijan
Annals of Mathematics and Artificial Intelligence, 2011, 63 : 53 - 102
[9] SYNTHESIS IN ENGINEERING DESIGN
WESTERBERG, AW
COMPUTERS & CHEMICAL ENGINEERING, 1989, 13 (4-5) : 365 - 376
[10] A formal requirements engineering method for specification, synthesis, and verification
vonderBeeck, M
Margaria, T
Steffen, B
8TH CONFERENCE ON SOFTWARE ENGINEERING ENVIRONMENTS - PROCEEDINGS, 1997, : 131 - 144

← 1 2 3 4 5 →