3828 search results - page 482 / 766 » Proof-Based System Engineering Using a Virtual System Model |
174
click to vote
FASE
2003
Springer
16 years 3 days ago
2003
Springer
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
182
click to vote
EDUTAINMENT
2007
Springer
16 years 1 months ago
2007
Springer
Interactive storytelling in the virtual environment attracts a lot of research interests in recent years. Story plot and character are two most important elements of a story. Based...
207
click to vote
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Object-oriented software quality models usually use metrics of classes and of relationships among classes to assess the quality of systems. However, software quality does not de...
219
click to vote
CCGRID
2006
IEEE
16 years 29 days ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
175
click to vote
UIST
1997
ACM
15 years 11 months ago
1997
ACM
This paper describes our experiences implementing a component architecture for TeamWave Workplace, an integrated groupware environment using a rooms metaphor. The problem we faced...