Sciweavers

1219 search results - page 108 / 244
» Towards automatization of domain modeling
Sort
View
FLAIRS
2008
15 years 8 months ago
Towards Verification of Storyboards
Storyboards are commonly known as rows of pictures, which exemplarily sketch scenes in performing arts. The rows specify the sequence of scenes. The scenes themselves are illustra...
Rainer Knauf, Horst Duesel
KBSE
2005
IEEE
15 years 12 months ago
Bamboo: an architecture modeling and code generation framework for configuration management systems
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...
Guozheng Ge, E. James Whitehead Jr.
ICWE
2009
Springer
16 years 27 days ago
UWE4JSF: A Model-Driven Generation Approach for Web Applications
Model-driven engineering is a promising approach, but there are still many hurdles to overcome. The tool UWE4JSF solves the hurdles for the model-driven development of web applicat...
Christian Kroiss, Nora Koch, Alexander Knapp
EKAW
2006
Springer
15 years 10 months ago
Multilayered Semantic Social Network Modeling by Ontology-Based User Profiles Clustering: Application to Collaborative Filtering
We propose a multilayered semantic social network model that offers different views of common interests underlying a community of people. The applicability of the proposed model to...
Iván Cantador, Pablo Castells
CP
2009
Springer
15 years 9 months ago
Constraint-Based Local Search for the Automatic Generation of Architectural Tests
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
Pascal Van Hentenryck, Carleton Coffrin, Boris Gut...