240 search results - page 5 / 48 » Integrating Graph Rewriting and Standard Software Tools |
ICSE
2001
IEEE-ACM
14 years 1 days ago
2001
IEEE-ACM
Software maintenance costs dominate software engineering costs, partly because most such engineering is done manually. Program Transformation tools leverage an engineer-provided b...
AMAST
2010
Springer
13 years 2 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
AGTIVE
1999
Springer
13 years 12 months ago
1999
Springer
A suitable software architecture –for example in the area of distributed application– can be composed of known-to-work solutions. These are also known as design patterns. Howev...
BMCBI
2010
13 years 7 months ago
2010
Background: Many complementary solutions are available for the identifier mapping problem. This creates an opportunity for bioinformatics tool developers. Tools can be made to fle...
ENTCS
2006
13 years 7 months ago
2006
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...