403 search results - page 21 / 81 » Integrating Z into Large Projects Tools and Techniques |
SP
2010
IEEE
15 years 1 months ago
2010
IEEE
—Fuzz testing has proven successful in finding security vulnerabilities in large programs. However, traditional fuzz testing tools have a well-known common drawback: they are in...
WWW
2007
ACM
15 years 10 months ago
2007
ACM
Abstract We present OntoWiki, a tool providing support for agile, distributed knowledge engineering scenarios. OntoWiki facilitates the visual presentation of a knowledge base as a...
81
Voted
SIGSOFT
2008
ACM
15 years 10 months ago
2008
ACM
Commercial software project managers design project organizational structure carefully, mindful of available skills, division of labour, geographical boundaries, etc. These organi...
UML
2005
Springer
15 years 2 months ago
2005
Springer
This paper is not a technical paper that presents a new modelbased UI technique. It is about a project that revisits modeldriven UI design techniques in the context of business pr...
CHI
2002
ACM
15 years 9 months ago
2002
ACM
The Open Video Project is an on-going effort to develop an open source digital video collection that can be used by the research community and ultimately serve an even broader aud...