Sciweavers

7892 search results - page 308 / 1579
» Programming with Models
Sort
View
ISPAN
2002
IEEE
15 years 6 months ago
Building Ontology for Optimization and Composition of Parallel JavaBean Programs
Abstract— In this paper, we propose an ontology specification for JavaBean programs, the object component model of Java. Our specification is written using the DAML+OIL languag...
Cheng-Wei Chen, Chung-Kai Chen, Jenq Kuen Lee
FOAL
2009
ACM
15 years 8 months ago
A machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
Benjamin Delaware, William R. Cook, Don S. Batory
CIDR
2003
153views Algorithms» more  CIDR 2003»
15 years 3 months ago
Applying Model Management to Classical Meta Data Problems
Model management is a new approach to meta data management that offers a higher level programming interface than current techniques. The main abstractions are models (e.g., schema...
Philip A. Bernstein
APCCM
2006
15 years 3 months ago
Postmodern prospects for conceptual modelling
A number of recent developments in software engineering -- from agile methods to aspect-oriented programming to design patterns to good enough software -- share a number of common...
James Noble, Robert Biddle
ILP
2005
Springer
15 years 7 months ago
Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops
Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never s...
Yi-Dong Shen, Qiang Yang