22698 search results - page 458 / 4540 » Modeling in Software Engineering |
162
click to vote
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
Model-driven engineering proposes to develop software systems by first creating an executable model of the system design and then transforming this model into an implementation. T...
156
Voted
COMPSAC
2006
IEEE
16 years 14 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
170
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...
162
click to vote
ASWEC
2007
IEEE
16 years 23 days ago
2007
IEEE
—Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of se...
264
click to vote
EUROMICRO
2011
IEEE
14 years 6 months ago
2011
IEEE
—This paper presents a method for using the CORBA Component Model (CCM) to integrate heterogeneous DRE systems. It has been realized in a extensible C++ template framework named ...