875 search results - page 5 / 175 » Specification Modules for Methodical System Development |
120
click to vote
JUCS
2008
15 years 1 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 ...
133
click to vote
ICTAC
2009
Springer
14 years 11 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...
116
click to vote
DLOG
2006
15 years 3 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...
168
Voted
AAAI
1993
15 years 3 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...
107
click to vote
ICRA
2002
IEEE
15 years 6 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...