1099 search results - page 94 / 220 » A tool for assisting the understanding and formal developmen... |
SOFTVIS
2010
ACM
13 years 9 months ago
2010
ACM
Software visualization can be of great use for understanding and exploring a software system in an intuitive manner. Spatial representation of software is a promising approach of ...
APSEC
2004
IEEE
14 years 26 days ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
ERLANG
2006
ACM
14 years 3 months ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
FDG
2009
ACM
14 years 3 months ago
2009
ACM
Designing videogames involves weaving together systems of rules, called game mechanics, which support and structure compelling player experiences. Thus a significant portion of ga...
APSEC
2000
IEEE
14 years 1 months ago
2000
IEEE
Internet and intranet web sites have become an integral part of software development as well as the wider fields of commercial, educational and recreational activity. In order to...