1099 search results - page 164 / 220 » A tool for assisting the understanding and formal developmen... |
CASCON
1996
13 years 10 months ago
1996
Today's advanced CASE tools, combining the building-block and generative approaches to software reuse, are effective for reuse of software components and procedures in the pr...
FMICS
2006
Springer
14 years 29 days ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
DKE
2007
13 years 9 months ago
2007
Interaction protocols enable agents to communicate with each other effectively. Whereas several approaches exist to specify interaction protocols, none of them has design tools t...
ECEASST
2008
13 years 9 months ago
2008
Monitoring human-computer interaction aids the analysis for understanding how well software meets its purpose. In particular, monitoring human-computer interactions with respect to...
GD
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. As the number of devices connected to the internet continues to grow rapidly and software systems are being increasingly deployed on the web, security and privacy have be...