1099 search results - page 62 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
155
click to vote
EUROMICRO
2005
IEEE
15 years 11 months ago
2005
IEEE
This article addresses the utilisation of the componentbased approach for building and executing a distributed application that can offer services over a set of heterogeneous and ...
162
click to vote
CBSE
2006
Springer
15 years 10 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
185
click to vote
ASWEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Most software engineering tools come with fixed functionality or limited plug-in extension capabilities. Building software development environments that support truly dynamic exte...
280
click to vote
EICS
2011
ACM
14 years 9 months ago
2011
ACM
This paper describes a model-based approach for designing distributed user interfaces (DUIs), i.e. graphical user interfaces that are distributed along one or many of the followin...
243
click to vote
DCEIS
2006
15 years 7 months ago
2006
During software engineering processes lots of artifacts are produced to document the development of a concrete software. For artifacts which are related with respect to their meani...