3045 search results - page 202 / 609 » Formal Approaches to Software Architecture |
FMCAD
2009
Springer
15 years 6 months ago
2009
Springer
—Sequential equivalence checking (SEC) technologies, capable of demonstrating the behavioral equivalence of two designs, have grown dramatically in capacity over the past decades...
108
click to vote
BRAIN
2010
Springer
14 years 8 months ago
2010
Springer
Biologically realistic modeling has been greatly facilitated by the development of neuro-simulators, and the development of simulatorindependent formats for model exchange is the s...
DSML
2008
15 years 26 days ago
2008
: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiv...
102
Voted
IJWET
2008
14 years 10 months ago
2008
: Building service-based architectures has become a major area of interest since the advent of web services. Modelling these architectures is a central activity. Model-driven devel...
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...