Sciweavers

26 search results - page 3 / 6
» A Tool for the Automatic Generation of Multimodel Editors
Sort
View
ECMDAFA
2010
Springer
151views Hardware» more  ECMDAFA 2010»
13 years 8 months ago
Generative Technologies for Model Animation in the TopCased Platform
Domain Specific Modeling Languages (DSML) are more and more used to handle high level concepts, and thus bring complex software development under control. The increasingly recurrin...
Xavier Crégut, Benoît Combemale, Marc...
ICSE
2011
IEEE-ACM
12 years 8 months ago
The quamoco tool chain for quality modeling and assessment
Continuous quality assessment is crucial for the long-term success of evolving software. On the one hand, code analysis tools automatically supply quality indicators, but do not p...
Florian Deissenboeck, Lars Heinemann, Markus Herrm...
CHI
1992
ACM
13 years 9 months ago
Interactive Constraint-Based Search and Replace
We describe enhancements to graphical search and replace that allow users to extend the capabilities of a graphical editor. Interactive constraint-based search and replace can sea...
David Kurlander, Steven Feiner
FPL
2001
Springer
115views Hardware» more  FPL 2001»
13 years 9 months ago
Placing, Routing, and Editing Virtual FPGAs
This paper presents the benefits of using a generic FPGA tool set developed at the university of Brest for programming virtual FPGA structures. From a high level FPGA description,...
Loïc Lagadec, Dominique Lavenier, Erwan Fabia...
APSEC
2005
IEEE
13 years 11 months ago
Tool Support for Invariant Based Programming
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
Ralph-Johan Back, Magnus Myreen