2613 search results - page 168 / 523 » Proposal for Tools Supporting Component Based Programming |
192
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
167
click to vote
CSREAEEE
2008
15 years 7 months ago
2008
- This paper proposes the use of an interactive web based problem solving application that utilises flowchart based programming and code generation to address the issues faced by n...
144
Voted
ICSE
2009
IEEE-ACM
15 years 3 months ago
2009
IEEE-ACM
traceMaintainer is a tool that supports an approach for maintaining post-requirements traceability relations after changes have been made to traced model elements. The update of t...
167
click to vote
SOFTVIS
2010
ACM
15 years 6 months ago
2010
ACM
When software developers work with a program's source code, the structure of the source code often requires that they split their attention simultaneously across several docu...
140
Voted
ICMCS
2006
IEEE
16 years 5 days ago
2006
IEEE
Possible solutions to the management of multichannel delivering, production on demand, and containment of sale prices in the digital multimedia content production could be the aut...