Sciweavers

4895 search results - page 118 / 979
» Tools for Grammar Engineering
Sort
View
KBSE
2007
IEEE
15 years 11 months ago
A framework and tool supports for testing modularity of software design
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...
Yuanfang Cai, Sunny Huynh, Tao Xie
ICSM
2002
IEEE
15 years 10 months ago
Architecture Analysis Tools to Support Evolution of Large Industrial Systems
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 ...
Tobias Rötschke, René L. Krikhaar
136
Voted
ICSE
2001
IEEE-ACM
15 years 9 months ago
JMOCHA: A Model Checking Tool that Exploits Design Structure
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...
Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A....
AVI
2006
15 years 6 months ago
Flow selection: a time-based selection and operation technique for sketching tools
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...
Gabe Johnson, Mark D. Gross, Ellen Yi-Luen Do
128
Voted
CODES
1999
IEEE
15 years 9 months ago
Co-design tool construction using APICES
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 ...
Ansgar Bredenfeld