5 search results - page 1 / 1 » Round-Trip Engineering of Framework-Based Software using Fra... |
KBSE
2006
IEEE
14 years 4 months ago
2006
IEEE
FATES
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
FASE
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
EMSOFT
2004
Springer
14 years 4 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
EMSOFT
2009
Springer
14 years 5 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...