SOSYM 2010 | Sciweavers

36

SOSYM
2010

119views more SOSYM 2010»

Formal specification of non-functional properties of component-based software systems

13 years 6 months ago

Component-based software engineering (CBSE) is viewed as an opportunity to deal with the increasing complexity of modern-day software. Along with CBSE comes the notion of component...

Steffen Zschaler

claim paper

Read More »

25

click to vote

SOSYM
2010

100views more SOSYM 2010»

Code generation by model transformation: a case study in transformation modularity

13 years 9 months ago

Download swerl.tudelft.nl

Zef Hemel, Lennart C. L. Kats, Danny M. Groenewege...

claim paper

Read More »

39

click to vote

SOSYM
2010

86views more SOSYM 2010»

Guest editorial to the special section on model transformation

13 years 9 months ago

Download www.lcc.uma.es

Jeff Gray, Alfonso Pierantonio, Antonio Vallecillo

claim paper

Read More »

38

click to vote

SOSYM
2010

107views more SOSYM 2010»

A UML/OCL framework for the analysis of graph transformation rules

13 years 9 months ago

Download astreo.ii.uam.es

In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate diﬀerent rule semantics into OCL, to...

Jordi Cabot, Robert Clarisó, Esther Guerra,...

claim paper

Read More »

43

click to vote

SOSYM
2010

124views more SOSYM 2010»

Lifting transformational models of product lines: a case study

13 years 9 months ago

Download www.cs.utexas.edu

Model driven development (MDD) of software product lines (SPLs) merges two increasing important paradigms that synthesize programs by transformation. MDD creates programs by transf...

Greg Freeman, Don S. Batory, R. Greg Lavender, Jac...

claim paper

Read More »

26

click to vote

SOSYM
2010

68views more SOSYM 2010»

Modeling presentation layers of web applications for testing

13 years 9 months ago

Download cs.gmu.edu

Jeff Offutt, Ye Wu

claim paper

Read More »

37

click to vote

SOSYM
2010

84views more SOSYM 2010»

Efficient analysis of pattern-based constraint specifications

13 years 9 months ago

Download www.brucker.ch

Michael Wahler, David A. Basin, Achim D. Brucker, ...

claim paper

Read More »

48

click to vote

SOSYM
2010

176views more SOSYM 2010»

On challenges of model transformation from UML to Alloy

13 years 9 months ago

Download kyriakos.anastasakis.net

Abstract The Uniﬁed Modeling Language (UML) is the de facto language used in the industry for software speciﬁcations. Once an application has been speciﬁed, Model Driven Arch...

Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, ...

claim paper

Read More »

25

click to vote

SOSYM
2010

70views more SOSYM 2010»

Process mining: a two-step approach to balance between underfitting and overfitting

13 years 9 months ago

Download prom.win.tue.nl

Wil M. P. van der Aalst, Vladimir Rubin, H. M. W. ...

claim paper