1599 search results - page 163 / 320 » A Reference Model for Knowledge Management in Software Engin... |
159
Voted
FOSSACS
2011
Springer
14 years 7 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
125
Voted
AUIC
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents user interface technology, using a glove based menuing system and 3D interaction techniques. It is designed to support applications that allow users to constru...
96
Voted
IEEECIT
2006
IEEE
15 years 9 months ago
2006
IEEE
As an important part of service-oriented software engineering, service retrieval receives much attention from industry and academia, but which still leaves much to be expected: ho...
114
Voted
ECBS
2010
IEEE
15 years 9 months ago
2010
IEEE
The Unified Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speci...
119
Voted
PROFES
2007
Springer
15 years 10 months ago
2007
Springer
The cost of a Software Product Line (SPL) development project sometimes exceeds the initially planned cost, because of requirements volatility and poor quality. In this paper, we p...