731 search results - page 82 / 147 » Specification Matching of Software Components |
ASWEC
2009
IEEE
15 years 6 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
ICSE
1997
IEEE-ACM
15 years 3 months ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
SIGSOFT
2002
ACM
16 years 8 days ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
Many architecture description languages (ADLs) have been proposed to model, analyze, configure, and deploy complex software systems. To face this diversity, extensible ADLs (or AD...
105
click to vote
IJCNN
2006
IEEE
15 years 5 months ago
2006
IEEE
- This paper presents a neurologically inspired vergence control model that uses the optimization of the disparity error between interlaced cortical maps incident on the visual cor...