Sciweavers

7892 search results - page 88 / 1579
» Programming with Models
Sort
View
ISSRE
2006
IEEE
15 years 7 months ago
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...
Erwan Brottier, Franck Fleurey, Jim Steel, Benoit ...
DAC
1998
ACM
16 years 2 months ago
Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
Farzan Fallah, Srinivas Devadas, Kurt Keutzer
CP
2006
Springer
15 years 5 months ago
Constraint Programming Models for Graceful Graphs
The problem of finding a graceful labelling of a graph, or proving that the graph is not graceful, has previously been modelled as a CSP. A new and much faster CSP model of the pro...
Barbara M. Smith
IEEESCC
2005
IEEE
15 years 6 months ago
Transforming Business Process Models: Enabling Programming at a Higher Level
Two practical paradigms are presented, which facilitate domain concepts to be directly used to model business operations: the first paradigm is based on the business artifacts and...
Wei Zhao, Barrett R. Bryant, Fei Cao, Kamal Bhatta...
ER
1998
Springer
123views Database» more  ER 1998»
15 years 5 months ago
From Object Oriented Conceptual Modeling to Automated Programming in Java
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...
Oscar Pastor, Vicente Pelechano, Emilio Insfr&aacu...