1099 search results - page 82 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
174
click to vote
ICCD
2005
IEEE
15 years 12 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
189
click to vote
KCAP
2005
ACM
15 years 12 months ago
2005
ACM
The paper reports on an exploratory case study where an organizational learning methodology was used to support knowledge sharing in a medium-sized distributed software developmen...
202
click to vote
SEKE
2010
Springer
15 years 4 months ago
2010
Springer
The technological progress designing new devices and the scientific growth in the field of Human-Computer Interaction are enabling new interaction modalities to move from resear...
203
click to vote
EUMAS
2006
15 years 7 months ago
2006
Current IT application domains such as web services and autonomic computing call for highly flexible systems, able to automatically adapt to changing operational environments as w...
176
click to vote
IEE
2007
15 years 6 months ago
2007
— This paper presents an environment targeted at computer games development industrialization in the .NET Platform. A computer game product line definition and its architecture a...