Sciweavers

12670 search results - page 309 / 2534
» Requirements Modeling
Sort
View
203
Voted
FASE
2005
Springer
16 years 7 days ago
Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
Ralf Reussner, Jens Happe, Annegret Habel
HASE
1999
IEEE
15 years 11 months ago
Model Checking UML Statechart Diagrams Using JACK
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
Stefania Gnesi, Diego Latella, Mieke Massink
AUTOMATICA
2004
77views more  AUTOMATICA 2004»
15 years 6 months ago
Non-asymptotic quality assessment of generalised FIR models with periodic inputs
In any real-life identification problem, only a finite number of data points is available. On the other hand, almost all results in stochastic identification pertain to asymptotic...
Marco C. Campi, Su Ki Ooi, Erik Weyer
165
Voted
VL
2007
IEEE
108views Visual Languages» more  VL 2007»
16 years 1 months ago
A PROLOG-based Approach to Representing and Querying Software Engineering Models
Striving toward the vision of Model Driven development (MDD), we face many open questions connected to the elementary tasks involved in working with models. Probably the most basi...
Harald Störrle
INFSOF
2006
97views more  INFSOF 2006»
15 years 6 months ago
Applying Model-Driven Architecture to achieve distribution transparencies
This paper proposes a principled methodology for the realization of distribution transparencies. The proposed methodology is placed within the general context of Model-Driven Arch...
Apostolos Zarras