1376 search results - page 25 / 276 » Model-Driven Software Verification |
106
click to vote
ISOLA
2010
Springer
15 years 8 days ago
2010
Springer
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...
125
Voted
EICS
2010
ACM
15 years 7 months ago
2010
ACM
Ten years ago, I introduced the notion of user interface plasticity to denote the capacity of user interfaces to adapt, or to be adapted, to the context of use while preserving us...
119
click to vote
ICIW
2009
IEEE
15 years 8 months ago
2009
IEEE
— Supporting business services through Web service compositions (WSC) as part of service-oriented architectures (SOA) involves business performance monitoring requirements. Their...
127
Voted
EDOC
2006
IEEE
15 years 7 months ago
2006
IEEE
Increasingly, distributed systems are being constructed by composing a number of discrete components. This practice, termed composition, is particularly prevalent within the Web s...
131
Voted
EDOC
2008
IEEE
15 years 3 months ago
2008
IEEE
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...