Sciweavers

6239 search results - page 20 / 1248
» From Zinc to Design Model
Sort
View
LICS
2009
IEEE
15 years 4 months ago
Applications of Game Semantics: From Program Analysis to Hardware Synthesis
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
Dan R. Ghica
SOSYM
2010
176views more  SOSYM 2010»
14 years 8 months ago
On challenges of model transformation from UML to Alloy
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, ...
KBSE
2010
IEEE
14 years 8 months ago
Variability modeling in the real: a perspective from the operating systems domain
Variability models represent the common and variable features of products in a product line. Several variability modeling languages have been proposed in academia and industry; ho...
Thorsten Berger, Steven She, Rafael Lotufo, Andrze...
CAISE
2000
Springer
15 years 2 months ago
A Formal Model for Business Process Modeling and Design
We present a formal framework for representing enterprise knowledge. The concepts of our framework (objectives and goals, roles and actors, actions and processes, responsibilities ...
Manolis Koubarakis, Dimitris Plexousakis
AOSD
2010
ACM
15 years 4 months ago
From aspect-oriented models to aspect-oriented code?: the maintenance perspective
Aspect-Oriented Modeling (AOM) provides support for separating concerns at the design level. Even though most AOM approaches provide means to execute the composition of the modula...
Aram Hovsepyan, Riccardo Scandariato, Stefan Van B...