8179 search results - page 101 / 1636 » The PRACTIONIST Development Tool |
172
click to vote
CASCON
2007
15 years 7 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
205
click to vote
ICSE
2010
IEEE-ACM
15 years 7 months ago
2010
IEEE-ACM
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...
143
Voted
HOPL
1993
15 years 9 months ago
1993
The C programming language was devised in the early 1970s as a system implementation language for the nascent Unix operating system. Derived from the typeless language BCPL, it ev...
150
click to vote
FLAIRS
2006
15 years 7 months ago
2006
Producing Intelligent Tutoring Systems (ITSs) is a labor-intensive process, requiring many different skill sets. A major component of an ITS, the cognitive model, has historically...
165
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
Multiagent systems (MAS) research is well established yet there is little development of agent technology in industry. It has been suggested that this is due, in part, to the unav...