5180 search results - page 346 / 1036 » Requirements Engineering |
216
click to vote
FSTTCS
2003
Springer
15 years 12 months ago
2003
Springer
The Covering Steiner problem is a common generalization of the k-MST and Group Steiner problems. An instance of the Covering Steiner problem consists of an undirected graph with ed...
199
click to vote
SAFECOMP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
195
click to vote
ASM
2010
ASM
15 years 10 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
175
click to vote
NLDB
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. This paper proposes an approach which utilizes natural language processing (NLP) and ontology knowledge to automatically denote the implicit semantics of textual requirem...
169
click to vote
WCRE
2005
IEEE
16 years 9 days ago
2005
IEEE
— Chuck is a new code browser that allows navigation of a code base along semantic structures, such as data-flow and higher-order control-flow relationships. Employing the fast...