Sciweavers

1088 search results - page 4 / 218
» Tools for support of automata-based programming
Sort
View
ECOOPW
1999
Springer
13 years 11 months ago
Proposal for Tools Supporting Component Based Programming
Henrik Lykke Nielsen, René Elmstrøm
PCS
2007
58views more  PCS 2007»
13 years 6 months ago
Tools for support of automata-based programming
V. S. Gurov, M. A. Mazin, A. S. Narvsky, A. A. Sha...
ECLIPSE
2005
ACM
13 years 9 months ago
Tool support for feature-oriented software development: featureIDE: an Eclipse-based approach
Software program families have a long tradition and will gain momentum in the future. Today’s research tries to move software development to a new quality of industrial producti...
Thomas Leich, Sven Apel, Laura Marnitz, Gunter Saa...
ENTCS
2007
86views more  ENTCS 2007»
13 years 7 months ago
Tool Support for Proof Engineering
Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation. These tools assist the prog...
Anne Mulhern, Charles Fischer, Ben Liblit
ACSC
2005
IEEE
14 years 1 months ago
Integration of generic program analysis tools into a software development environment
Support for program understanding in development and maintenance tasks can be facilitated by program analysis techniques. Both control-flow and data-flow analysis can support pr...
Erica Glynn, Ian J. Hayes, Anthony MacDonald