44 search results - page 5 / 9 » The Right Tools: Reflections on Computation and Language |
JOT
2008
13 years 6 months ago
2008
Readers of this article have probably seen, at least once, diagrams produced using the UML (Unified Modeling Language). Some of you have perhaps used UML for your own work and kno...
SIGSOFT
2003
ACM
14 years 7 months ago
2003
ACM
Although a software application always executes within a particular environment, current testing methods have largely ignored these environmental factors. Many applications execut...
PLDI
2009
ACM
14 years 7 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
CCS
2005
ACM
14 years 7 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
TOOLS
1999
IEEE
13 years 11 months ago
1999
IEEE
This paper reports on the utilisation of object technology in a university-level course on software development, specifically designed for distance learning, and now enrolling ove...