131 search results - page 10 / 27 » Model-Driven Design, Refinement and Transformation of Abstra... |
VL
2009
IEEE
14 years 2 months ago
2009
IEEE
Domain specific languages (DSLs) play a cornerstone Model-Driven Software Development. The abstract syntax of a DSL is usually defined by a metamodel, while inplace model transf...
EUROMICRO
1996
IEEE
13 years 11 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
FASE
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these sepa...
ATVA
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
Security is one of the major concerns when developing missioncritical business applications, and this concern motivated the Web Services Security specifications. However, the exis...