3827 search results - page 153 / 766 » The Epsilon Generation Language |
250
click to vote
ERSHOV
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present an algorithm for generating all polynomial invariants of Psolvable loops with assignments and nested conditionals. We prove termination of our algorithm. The p...
144
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
We describe an architecture modeling and code generation framework called Bamboo. Using Bamboo, engineers design SCM repository and feature models, and then generate a running SCM...
160
Voted
NLDB
2004
Springer
15 years 10 months ago
2004
Springer
This paper presented an approach for automatic generation of reports from domain ontologies encoded in Semantic Web standards like OWL. The paper identifies the challenges that ne...
125
Voted
ICEIS
2003
IEEE
15 years 10 months ago
2003
IEEE
d graphically, interest in code generators which create applications based on abstract system descriptions, is high. An indicator for this are the many commercial products. This pa...
142
click to vote
ERLANG
2003
ACM
15 years 10 months ago
2003
ACM
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...