Using formal methods with SysML in aerospace design and engineering

DOI10.1007/s10472-011-9267-5zbMath1261.68087OpenAlexW2066532994MaRDI QIDQ434438

Henson Graves, Yvonne Bijan

Publication date: 10 July 2012

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-011-9267-5

zbMATH Keywords

description logictype theorydesign by refinementMBSEOWLSysML

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• SysML
• Specware

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The calculus of constructions
• Reasoning on UML class diagrams
• La logique des topos
• The Description Logic Handbook
• Communicating sequential processes
• The B-Book
• Theoretical Pearls:Representing ‘undefined’ in lambda calculus
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• An axiomatic basis for computer programming

This page was built for publication: Using formal methods with SysML in aerospace design and engineering