Sciweavers

1988 search results - page 26 / 398
» Engineering formal metatheory
Sort
View
FM
2009
Springer
171views Formal Methods» more  FM 2009»
15 years 4 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 4 months ago
Formal Verification of AADL Specifications in the Topcased Environment
Bernard Berthomieu, Jean-Paul Bodeveix, Christelle...
62
Voted
CODES
1996
IEEE
15 years 1 months ago
A Co-Design Methodology Based on Formal Specification and High-level Estimation
Carlos Carreras, Juan Carlos López, Mar&iac...
EMSOFT
2006
Springer
15 years 1 months ago
Formal performance evaluation of AMBA-based system-on-chip designs
Gabor Madl, Sudeep Pasricha, Luis Angel D. Bathen,...