110 search results - page 6 / 22 » A Goal Modeling Framework for Self-contextualizable Software |
COMPSAC
1995
IEEE
13 years 11 months ago
1995
IEEE
Software development environments are examples of complex computer applications characterized by heterogeneity; they are composed of diverse information repositories, user interfa...
IEE
2010
13 years 6 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
CODES
1999
IEEE
14 years 17 hour ago
1999
IEEE
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor...
COLING
2010
13 years 2 months ago
2010
Our goal is to propose a description model for the lexicon. We describe a software framework for representing the lexicon and its variations called Proteus. Various examples show ...
ICSEA
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper introduces a framework for classifying and comparing three domains related to the process technology. More particularly, it gives process definitions, characteristics, m...