320 search results - page 36 / 64 » Automating Model Transformations in Agent-Oriented Modelling |
119
click to vote
KDD
1999
ACM
15 years 4 months ago
1999
ACM
Code synthesis is routinely used in industry to generate GUIs, form lling applications, and database support code and is even used with COBOL. In this paper we consider the questi...
87
Voted
SEMWEB
2001
Springer
15 years 5 months ago
2001
Springer
Machine-understandable metadata is providing the foundation for next-generationframeworks that enable automated construction ofserver-side Java applications. Suchapplications are ...
188
click to vote
FROCOS
2011
Springer
14 years 6 days ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
91
Voted
LOPSTR
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. A formal and effective approach to the extension of the computational behaviour of logic programs is presented. The approach builds upon the following concepts. The exte...
130
Voted
ADAEUROPE
2007
Springer
15 years 6 months ago
2007
Springer
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...