510 search results - page 46 / 102 » An IDE for software development using tabular expressions |
108
click to vote
NAR
2007
14 years 11 months ago
2007
Onto-Tools is a freely available web-accessible software suite, composed of an annotation database and nine complementary data-mining tools. This article describes a new tool, Ont...
ECOOP
2008
Springer
15 years 1 months ago
2008
Springer
Rather than upgrading a software system to the next version by installing a new binary, software systems could be updated "on-thefly" during their execution. We are devel...
110
click to vote
ASM
2010
ASM
15 years 2 months ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...
107
click to vote
OOPSLA
1999
Springer
15 years 4 months ago
1999
Springer
The Advanced Teaching and Learning Academic Server (Atlas) is a software system that supports web-based learning. Students can register for courses, and can navigate through perso...
SIGSOFT
2007
ACM
16 years 16 days ago
2007
ACM
Because of the growing complexity of wireless sensor network applications (WSNs), traditional software development tools are being developed that are specifically designed for the...