1712 search results - page 81 / 343 » Assistive technology in computer science |
ERSHOV
1999
Springer
14 years 2 months ago
1999
Springer
A semi-visual framework for the speci cation of syntax and semantics of imperative programming languages, called Montages, was proposed in an earlier work by the authors. The prima...
ACSE
1997
ACM
14 years 2 months ago
1997
ACM
Literate programming is a powerful technique that helps expert programmers integrate code and documentation in a manner that assists human comprehension. To date, tools for litera...
GI
2007
Springer
14 years 2 months ago
2007
Springer
: In this paper, we present an approach to refine user profiles that were derived from Web server logs in an automated procedure. In most application scenarios, such automatically ...
ACSC
2004
IEEE
14 years 1 months ago
2004
IEEE
Two important recent trends in military and civilian communications have been the increasing tendency to base operations around an internal network, and the increasing threats to ...
ACSC
2000
IEEE
14 years 1 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...