Sciweavers

8083 search results - page 69 / 1617
» A Formalization of Software Architecture
Sort
View
98
Voted
TOSEM
1998
100views more  TOSEM 1998»
15 years 3 months ago
Errata: A Formal Basis for Architectural Connection
Robert Allen, David Garlan
84
Voted
ADAEUROPE
2009
Springer
15 years 10 months ago
Formal Verification of AADL Specifications in the Topcased Environment
Bernard Berthomieu, Jean-Paul Bodeveix, Christelle...
108
Voted
CODES
1996
IEEE
15 years 7 months ago
A Co-Design Methodology Based on Formal Specification and High-level Estimation
Carlos Carreras, Juan Carlos López, Mar&iac...