Sciweavers

4109 search results - page 410 / 822
» User Interface Software Tools
Sort
View
CSEE
2007
Springer
16 years 1 months ago
Student Project Collaboration Using Wikis
A wiki is a web tool that allows users to easily create and edit web pages collaboratively. The ease-of-editing feature and accessibility from anywhere by anyone make wikis ideal ...
Joseph Chao
ICCBR
1999
Springer
15 years 11 months ago
Automatic Conversion of VHDL Programs into Cases
Software programming is a complex task. To help the user with this task, we are developing a case-based reasoning tool capable of suggesting code to the programmer (software reuse...
Paulo Gomes, Carlos Bento
SPIN
2000
Springer
15 years 10 months ago
Logic Verification of ANSI-C Code with SPIN
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
Gerard J. Holzmann
SERP
2007
15 years 8 months ago
Using Constraints with Action Language for Model Evolution
- Since the advent of model driven software engineering (MDSE) it has become necessary to develop techniques and tools for model evolution. In this paper we examine two issues and ...
Shahid Alam, Samuel A. Ajila
ICRA
2006
IEEE
77views Robotics» more  ICRA 2006»
16 years 25 days ago
Opening the Dialog: Robotics and the Internet
Abstract— Inter-component communication has received considerable attention by robotic software architects as various frameworks and toolkits have matured. While the resulting pl...
Anthony Cowley, Hwa-Chow Oliver Hsu, Camillo J. Ta...