875 search results - page 5 / 175 » Specification Modules for Methodical System Development |
JUCS
2008
14 years 9 months ago
2008
: In this article we present the development of a web application called SHARP Online: An Adaptive Hypermedia System Applied to Mathematical Problem Solving. The pedagogical basis ...
ICTAC
2009
Springer
14 years 7 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
DLOG
2006
14 years 11 months ago
2006
Modularity and rigor are two key elements for multi-agent technology. Hong Zhu's multi-agent system (MAS) development method provides proper language facilities supporting mo...
135
click to vote
AAAI
1993
14 years 11 months ago
1993
This paper describes a method for the development of dialogue managers for natural language interfaces. A dialogue manager is presented designed on the basis of both a theoretical...
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper presents an advanced leg module developed for HRP-2. HRP-2 is a new humanoid robotics platform, which we have been developing in phase two of HRP. HRP is a humanoid rob...