5 search results - page 1 / 1 » Round-Trip Engineering of Framework-Based Software using Fra... |
KBSE
2006
IEEE
13 years 11 months ago
2006
IEEE
FATES
2003
Springer
13 years 10 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
13 years 11 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
13 years 10 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
13 years 11 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...