4890 search results - page 36 / 978 » From system specifications to component behavioral models |
ACTA
2004
14 years 9 months ago
2004
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
EDOC
2006
IEEE
15 years 3 months ago
2006
IEEE
SEFM
2005
IEEE
15 years 3 months ago
2005
IEEE
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications...
SAM
2004
14 years 11 months ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
100
click to vote
JUCS
2008
14 years 9 months ago
2008
: In a component-based development process the selection of components is an activity that takes place over multiple lifecycle phases that span from requirement specifications thro...