13099 search results - page 199 / 2620 » Cooperative method development |
127
click to vote
IUSED
2008
15 years 6 months ago
2008
Permanent involvement of end users in software development is both highly recommended and highly challenging. Against the background of our results and experiences from two resear...
133
click to vote
XPU
2005
Springer
15 years 10 months ago
2005
Springer
The main goal to be answered by this Ph.D. thesis is whether there is a potential for a successful and powerful application of agile methods and related techniques to embedded syst...
153
click to vote
LREC
2010
15 years 6 months ago
2010
Semantic lexicons and lexical ontologies are some major resources in natural language processing. Developing such resources are time consuming tasks for which some automatic metho...
123
click to vote
STTT
2008
15 years 4 months ago
2008
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...
112
click to vote
HASE
2008
IEEE
15 years 11 months ago
2008
IEEE
—Formal methods provide remarkable tools allowing for high levels of confidence in the correctness of developments. Their use is therefore encouraged, when not required, for the...