Sciweavers

703 search results - page 34 / 141
» Automatic Generation of Block-Recursive Codes
Sort
View
ATAL
2007
Springer
14 years 4 months ago
A design framework for generating BDI-agents from goal models
We define a tool-supported design framework that allows to specify an agent goal model and to automatically generate fragments of a BDI agent from it. We devise the design proces...
Loris Penserini, Anna Perini, Angelo Susi, Mirko M...
KBSE
2006
IEEE
14 years 3 months ago
Model-driven Monitoring: Generating Assertions from Visual Contracts
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
Marc Lohmann, Gregor Engels, Stefan Sauer
ECBS
2004
IEEE
129views Hardware» more  ECBS 2004»
14 years 1 months ago
Closing the Gap Between Software Modelling and Code
If a software implementation is to be generated fully automatically from a model, then the model must be detailed and totally complete. For the definition of software implementing...
Ferdinand Wagner, T. Wagner, Peter Wolstenholme
SAC
2008
ACM
13 years 9 months ago
UML-based design test generation
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
Waldemar Pires, João Brunet, Franklin Ramal...
EMNLP
2008
13 years 11 months ago
Learning to Predict Code-Switching Points
Predicting possible code-switching points can help develop more accurate methods for automatically processing mixed-language text, such as multilingual language models for speech ...
Thamar Solorio, Yang Liu