4890 search results - page 2 / 978 » From system specifications to component behavioral models |
SIGSOFT
2010
ACM
13 years 3 months ago
2010
ACM
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...
ICSE
2003
IEEE-ACM
13 years 11 months ago
2003
IEEE-ACM
Modeling software components from multiple perspectives provides complementary views of a software system and enables sophisticated analyses of its functionality. A software compon...
ENTCS
2008
13 years 5 months ago
2008
We address the problem of component reuse by describing a quotient operation. Starting from the specifications of the behaviors of the component and of the desired overall system,...
COMPSAC
2009
IEEE
13 years 9 months ago
2009
IEEE
There is no clear distinction between service-oriented systems (SOS) and component-based systems (CBS). However, there are several characteristics that could let one consider SOS ...
FSEN
2009
Springer
13 years 9 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...