Sciweavers

833 search results - page 20 / 167
» A Domain Specific Language for Project Execution Models
Sort
View
VLC
2008
132views more  VLC 2008»
15 years 2 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
15 years 6 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
15 years 6 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»
15 years 7 months 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
15 years 8 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