Sciweavers

1369 search results - page 126 / 274
» On the Semantics of Petri Nets
Sort
View
90
Voted
MODELS
2009
Springer
15 years 7 months ago
Catch Me If You Can - Debugging Support for Model Transformations
Abstract. Model-Driven Engineering places models as first-class artifacts throughout the software lifecycle requiring the availability of proper transformation languages. Although...
Johannes Schönböck, Gerti Kappel, Angeli...
136
Voted
SAC
2008
ACM
15 years 9 days ago
Towards a model-driven engineering approach for developing embedded hard real-time software
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro
140
Voted
JCSS
2011
154views more  JCSS 2011»
14 years 7 months ago
Model interoperability via Model Driven Development
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...
100
Voted
ISTA
2008
15 years 2 months ago
A Framework for Building Mapping Operators Resolving Structural Heterogeneities
Seamless exchange of models among different modeling tools increasingly becomes a crucial prerequisite for the success of modeldriven engineering. Current best practices use model ...
Gerti Kappel, Horst Kargl, Thomas Reiter, Werner R...
97
Voted
ANLP
2000
114views more  ANLP 2000»
15 years 2 months ago
The FrameNet tagset for frame-semantic and syntactic coding of predicate-argument structure
This paper presents the syntactic and semantic tags used to annotate predicate-argument structure in the Berkeley FrameNet Project. It briefly explains the theory of frame semanti...
Christopher Johnson, Charles J. Fillmore