Sciweavers

1117 search results - page 79 / 224
» Domain Specific Engineering Environments
Sort
View
115
Voted
AIED
2005
Springer
15 years 8 months ago
Generating Reports of Graphical Modelling Processes for Authoring and Presentation
Today's computer supported modelling environments could provide much more information about the users’ actions and problem solving processes than they usually store for late...
Lars Bollen
138
Voted
BMCBI
2007
187views more  BMCBI 2007»
15 years 2 months ago
BioWMS: a web-based Workflow Management System for bioinformatics
Background: An in-silico experiment can be naturally specified as a workflow of activities implementing, in a standardized environment, the process of data and control analysis. A...
Ezio Bartocci, Flavio Corradini, Emanuela Merelli,...
KBSE
2005
IEEE
15 years 8 months ago
Generation of visual editors as eclipse plug-ins
Visual Languages (VLs) play an important role in software system development. Especially when looking at well-defined domains, a broad variety of domain specific visual language...
Karsten Ehrig, Claudia Ermel, Stefan Hänsgen,...
ICSE
2008
IEEE-ACM
16 years 3 months ago
Formal verification of an automotive scenario in service-oriented computing
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Fr...
102
Voted
ENTCS
2006
120views more  ENTCS 2006»
15 years 2 months ago
Semantics of UML 2.0 Interactions with Variabilities
Means for the representation of variability in UML 2.0 interactions, as presented in a previous work, are further formalised and given a mathematically formal semantics. In this w...
María Victoria Cengarle, Peter Graubmann, S...