420 search results - page 49 / 84 » Towards Design Tools for Protocol Development |
102
click to vote
ACMDIS
2000
ACM
15 years 4 months ago
2000
ACM
Contextual development differs from traditional user interface development in several ways: It focuses on the context of usage and the user population rather than on the technical...
100
click to vote
FM
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
ICDE
2006
IEEE
15 years 5 months ago
2006
IEEE
Development of sound approaches and software tools for specification, assembly, and deployment of composite Web services from independently developed components promises to enhan...
CHI
1999
ACM
15 years 4 months ago
1999
ACM
Recent debate has centered on the relative promise of focusing user-interface research on developing new metaphors and tools that enhance users’ abilities to directly manipulate...
112
click to vote
CORR
2007
Springer
14 years 11 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...