2599 search results - page 72 / 520 » A Tool for Supporting Feature-Driven Development |
108
click to vote
JUCS
2008
15 years 4 months ago
2008
: This article is a revised and extended version of [VBG, 07]. We conjecture that the digitalization of historical text documents as a basis of data mining and information retrieva...
159
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. To cope with the ever increasing diversity of markup languages, programming languages, tool kits and interface development environments, conceptual modeling of user inter...
136
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Software developers are rooted in the written form of their code, yet they often draw diagrams representing their code. Unfortunately, we still know little about how and why they ...
176
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
118
click to vote
TOOLS
2000
IEEE
15 years 8 months ago
2000
IEEE
It is impossible to implement one tool that supports all activities in software development. Thus, it is important to focus on integration of different tools, ideally giving devel...