Sciweavers

469 search results - page 24 / 94
» Language Design for Meta-programming in the Software Composi...
Sort
View
141
Voted
FASE
2007
Springer
15 years 11 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
125
Voted
CHI
2009
ACM
16 years 5 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....
146
Voted
GTTSE
2007
Springer
15 years 11 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 6 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
15 years 2 days 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