Sciweavers

713 search results - page 135 / 143
» Viewcharts: Syntax and Semantics
Sort
View
IJCSA
2008
126views more  IJCSA 2008»
13 years 8 months ago
The GOQL Language and its Formal Specifications
The Graphical Object Query Language (GOQL) is a graphical query language that complies with the ODMG standard and runs on top of the o2 DBMS. The language provides users with the ...
Euclid Keramopoulos, Philippos Pouyioutas, Tasos P...
ESE
2006
95views Database» more  ESE 2006»
13 years 8 months ago
Input validation analysis and testing
This research addresses the problem of statically analyzing input command syntax as defined in interface and requirements specifications and then generating test cases for dynamic ...
Jane Huffman Hayes, Jeff Offutt
IANDC
2006
117views more  IANDC 2006»
13 years 8 months ago
A modular approach to defining and characterising notions of simulation
We propose a modular approach to defining notions of simulation, and modal logics which characterise them. We use coalgebras to model state-based systems, relators to define notio...
Corina Cîrstea
ISCI
2008
181views more  ISCI 2008»
13 years 8 months ago
Attribute reduction in decision-theoretic rough set models
Rough set theory can be applied to rule induction. There are two different types of classification rules, positive and boundary rules, leading to different decisions and consequen...
Yiyu Yao, Yan Zhao
ITSSA
2006
116views more  ITSSA 2006»
13 years 8 months ago
A Genetic Programming Approach to Automated Test Generation for Object-Oriented Software
: This article proposes a new method for creating test software for object-oriented systems using a genetic programming approach. It is believed that this approach is advantageous ...
Arjan Seesing, Hans-Gerhard Groß