4895 search results - page 118 / 979 » Tools for Grammar Engineering |
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
Modularity is one of the most important properties of a software design, with significant impact on changeability and evolvability. However, a formalized and automated approach i...
ICSM
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper describes an architecture analysis tool-set supporting the evolutionary improvement of the software architecture of an existing medical imaging system. The toolset has ...
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
AVI
2006
14 years 11 months ago
2006
Flow selection is a time-based modeless selection and operation technique for freehand drawing and sketch tools. We offer flow selection as a modeless technique to address the obs...
CODES
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper, we present our approach to automate the development process of co-design tools. We demonstrate with a non-trivial real world example how we can accelerate the tool ...