11722 search results - page 358 / 2345 » How Developers Develop Features |
169
click to vote
ESEM
2009
ACM
15 years 10 months ago
2009
ACM
The long-term sustainability of a software product depends on more than developing features. Priorities are placed on aspects that support the development of software, like softwar...
194
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
This is the first system description of the Barcelogic SMT solver, which implements all techniques that our group has been developing over the last four years as well as state-of-t...
170
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper proposes a formal framework and architecture for specification and analysis of interactive agents. The framework can be used to explore the design space, study features...
148
click to vote
COMSIS
2006
15 years 6 months ago
2006
The Program Composing Assistant is an interactive generic development environment dedicated to programming languages. It provides a structure editor with graphical user interface a...
153
click to vote
COMSIS
2007
15 years 6 months ago
2007
This paper presents an extension of the Tatoo compiler compiler that supports separate compilation and dynamic linking of formal grammars. It allows the developer to define reusabl...