665 search results - page 96 / 133 » Extending Software Development Methodologies to Support Trus... |
SIGSOFT
2008
ACM
15 years 11 months ago
2008
ACM
Executable models are increasingly being employed by development teams to implement robust software systems. Modern executable models offer powerful composition mechanisms that al...
ICWS
2007
IEEE
15 years 3 days ago
2007
IEEE
The semantic web promises to bring automation to the areas of web service discovery, composition and invocation. In order to realize these benefits, rich semantic descriptions of...
CONSTRAINTS
2008
14 years 10 months ago
2008
Zinc is a new modelling language developed as part of the G12 project. It has four important characteristics. First, Zinc allows speci cation of models using a natural mathematical...
FDL
2005
IEEE
15 years 4 months ago
2005
IEEE
The support of heterogeneity at the specification level, that is, the ability to mix several models of computation (MoCs) in the system-level specification, is becoming increasing...
100
click to vote
EUROMICRO
2009
IEEE
15 years 2 months ago
2009
IEEE
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transform...