Sciweavers

469 search results - page 24 / 94
» Language Design for Meta-programming in the Software Composi...
Sort
View
FASE
2007
Springer
15 years 9 months ago
Flexible and Extensible Notations for Modeling Languages
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk
102
Voted
CHI
2009
ACM
16 years 3 months ago
Musink: composing music through augmented drawing
We focus on the creative use of paper in the music composition process, particularly the interaction between paper and end-user programming. When expressing musical ideas, compose...
Theophanis Tsandilas, Catherine Letondal, Wendy E....
GTTSE
2007
Springer
15 years 9 months ago
Evolving a DSL Implementation
Abstract. Domain Specific Languages (DSLs) are small languages designed for use in a specific domain. DSLs typically evolve quite radically throughout their lifetime, but current...
Laurence Tratt
DSML
2008
116views Formal Methods» more  DSML 2008»
15 years 4 months ago
Bidirectional Synchronization of Multiple Views of Software Models
: 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...
Miguel Garcia
RE
2010
Springer
14 years 10 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis