Sciweavers

1926 search results - page 247 / 386
» Modeling and Model Checking Software Product Lines
Sort
View
SOSYM
2010
119views more  SOSYM 2010»
14 years 11 months ago
Formal specification of non-functional properties of component-based software systems
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
METRICS
2003
IEEE
15 years 9 months ago
A Metrics Suite for Measuring Reusability of Software Components
In component-based software development, it is necessary to measure the reusability of components in order to realize the reuse of components effectively. There are some product m...
Hironori Washizaki, Hirokazu Yamamoto, Yoshiaki Fu...
TAMODIA
2008
15 years 5 months ago
MuiCSer: A Process Framework for Multi-disciplinary User-Centred Software Engineering Processes
In this paper we introduce MuiCSer, a conceptual process framework for Multi-disciplinary User-centred Software Engineering (UCSE) processes. UCSE processes strive for the combinat...
Mieke Haesen, Karin Coninx, Jan Van den Bergh, Kri...
MODELS
2009
Springer
15 years 9 months ago
Teaching Modeling: Why, When, What?
This paper reports on a panel discussion held during the Educators’ Symposium at MODELS’2009. It shortly explains the context provided for the discussion and outlines the state...
Jean Bézivin, Robert France, Martin Gogolla...
ECMDAFA
2011
Springer
246views Hardware» more  ECMDAFA 2011»
14 years 8 months ago
Incremental Updates for View-Based Textual Modelling
Abstract. Model-Driven Engineering (MDE) aims at improving the development of software systems. Within this context textual concrete syntaxes for models are beneficial for many re...
Thomas Goldschmidt, Axel Uhl