2513 search results - page 21 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
AGTIVE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Significant achievements have been made in the design and implementation of languages and tools for graph transformation systems. However, many other competing approaches...
VAMOS
2008
Springer
13 years 11 months ago
2008
Springer
With current trends towards moving variability from hardware to software, and given the increasing desire to postpone design decisions as much as is economically feasible, managin...
ECBS
2006
IEEE
14 years 1 months ago
2006
IEEE
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
DSML
2008
13 years 11 months ago
2008
: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiv...
RCIS
2010
13 years 7 months ago
2010
Every interactive system has a functional part and an interactive part. However the software engineering and the human-computer-interaction communities work separately in terms of ...