Sciweavers

1988 search results - page 26 / 398
» Engineering formal metatheory
Sort
View
FM
2009
Springer
171views Formal Methods» more  FM 2009»
15 years 11 months ago
Formal Management of CAD/CAM Processes
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
Michael Kohlhase, Johannes Lemburg, Lutz Schrö...
ADAEUROPE
2009
Springer
15 years 11 months ago
Formal Verification of AADL Specifications in the Topcased Environment
Bernard Berthomieu, Jean-Paul Bodeveix, Christelle...
EMSOFT
2006
Springer
15 years 8 months ago
Formal performance evaluation of AMBA-based system-on-chip designs
Gabor Madl, Sudeep Pasricha, Luis Angel D. Bathen,...