Sciweavers

833 search results - page 20 / 167
» A Domain Specific Language for Project Execution Models
Sort
View
VLC
2008
132views more  VLC 2008»
13 years 7 months ago
Enforced generative patterns for the specification of the syntax and semantics of visual languages
We present the new notion of enforced generative pattern, a structure that declares positive or negative conditions that must be satisfied by a model. Patterns are applied to tran...
Paolo Bottoni, Esther Guerra, Juan de Lara
ICALT
2009
IEEE
13 years 12 months ago
The Language Technologies for Lifelong Learning Project
This poster presents an ongoing European project: Language Technologies for Lifelong Learning (LTfLL). The aim of the project is to create a next-generation of support and advice ...
Adriana J. Berlanga, Peter van Rosmalen, Stefan Tr...
FASE
2004
Springer
13 years 11 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...
HICSS
2002
IEEE
71views Biometrics» more  HICSS 2002»
14 years 28 days ago
Source Code Generator Based on a Proprietary Specification Language
An application generator has resulted from the authors' efforts to improve the development of interactive database applications. The developed tool is based on a meta-base. T...
Kresimir Fertalj, Damir Kalpic, Vedran Mornar
EEE
2005
IEEE
14 years 1 months ago
From Multi-Context Business Collaboration Models to Context-Specific ebXML BPSS
UN/CEFACT’s Modelling Methodology (UMM) is used to analyze and design B2B business processes. We extend UMM by a constraint mechanism for adding business environment-specific co...
Birgit Hofreiter, Christian Huemer