2493 search results - page 308 / 499 » Tool Support for Design by Contract |
CSCW
2012
ACM
13 years 6 months ago
2012
ACM
Civic networks of community-based organizations face significant challenges in working together to combat issues facing their community (e.g., gang violence, sex trafficking). In ...
MOBISYS
2004
ACM
15 years 10 months ago
2004
ACM
Privacy is the most often-cited criticism of ubiquitous computing, and may be the greatest barrier to its long-term success. However, developers currently have little support in d...
UML
2001
Springer
15 years 3 months ago
2001
Springer
System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented, UML development, this means that system test requirements ...
102
click to vote
CORR
2007
Springer
14 years 10 months ago
2007
Springer
Prolog is an excellent tool for representing and manipulating data written in formal languages as well as natural language. Its safe semantics and automatic memory management make...
ECLIPSE
2006
ACM
15 years 4 months ago
2006
ACM
The support available in Eclipse to help software developers learn complex APIs and development tools is inadequate; the support is largely passive and the support typically opera...