Sciweavers

1088 search results - page 4 / 218
» Tools for support of automata-based programming
Sort
View
ECOOPW
1999
Springer
15 years 1 months ago
Proposal for Tools Supporting Component Based Programming
Henrik Lykke Nielsen, René Elmstrøm
20
Voted
PCS
2007
58views more  PCS 2007»
14 years 9 months ago
Tools for support of automata-based programming
V. S. Gurov, M. A. Mazin, A. S. Narvsky, A. A. Sha...
ECLIPSE
2005
ACM
14 years 11 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»
14 years 9 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
15 years 3 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