Sciweavers

6016 search results - page 883 / 1204
» The semantics of graphical languages
Sort
View
CC
2005
Springer
134views System Software» more  CC 2005»
16 years 10 days ago
Jazz: A Tool for Demand-Driven Structural Testing
Software testing to produce reliable and robust software has become vitally important in recent years. Testing is a process by which software quality can be assured through the co...
Jonathan Misurda, James A. Clause, Juliya L. Reed,...
181
Voted
CP
2005
Springer
16 years 10 days ago
AND/OR Branch-and-Bound for Solving Mixed Integer Linear Programming Problems
Abstract. AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is...
Radu Marinescu 0002, Rina Dechter
BPM
2004
Springer
108views Business» more  BPM 2004»
16 years 6 days ago
SMART: System Model Acquisition from Requirements Text
Modeling of a business system has traditionally been based on free text documents. This work describes an elaborate experiment that constitutes a proof of concept to the idea that ...
Dov Dori, Nahum Korda, Avi Soffer, Shalom Cohen
FDG
2009
ACM
15 years 11 months ago
Can middle-schoolers use Storytelling Alice to make games?: results of a pilot study
In this paper we share experiences from two 2-week summer courses for middle-school students in game programming using Storytelling Alice (SA). The students spent 20 hours learnin...
Linda L. Werner, Jill Denner, Michelle Bliesner, P...
SEKE
2001
Springer
15 years 11 months ago
Gadget: A Tool for Extracting the Dynamic Structure of Java Programs
Source code analysis and inspection does not provide enough information to describe the structure of an objectoriented program completely because there are components and relation...
Juan Gargiulo, Spiros Mancoridis