Sciweavers

125 search results - page 6 / 25
» Prototyping, Domain Specific Language, and Testing
Sort
View
IADIS
2008
13 years 9 months ago
Automatic Generation Of Multiple Choice Questions From Domain Ontologies
The aim of this paper is to present an innovative approach for generating multiple choice questions in automatic way. Although other approaches have been already reported in the l...
Andreas Papasalouros, Konstantinos Kanaris, Konsta...
RTCSA
1999
IEEE
14 years 7 days ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
POPL
2005
ACM
14 years 8 months ago
Formal prototyping in early stages of protocol design
Network protocol design is usually an informal process where debugging is based on successive iterations of a prototype implementation. The feedback provided by a prototype can be...
Alwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr
CG
2005
Springer
13 years 7 months ago
LADDER, a sketching language for user interface developers
Sketch recognition systems are currently being developed for many domains, but can be time consuming to build if they are to handle the intricacies of each domain. In order to aid...
Tracy Hammond, Randall Davis
VL
2002
IEEE
111views Visual Languages» more  VL 2002»
14 years 26 days ago
An Interrogative Approach to Novice Programming
Domain specific programming languages tend to be rigid in capability and dependent on either a graphical interface or a scripting language. We present a question-oriented approach...
Alexander Quinn