3765 search results - page 40 / 753 » Formal Methods for Systems Engineering Behavior Models |
JUCS
2010
15 years 23 days ago
2010
: The situational method engineering (SME) literature is surveyed and a synoptic evaluation presented in the context of formalizing and regularizing the conceptual framework and un...
99
Voted
MODELS
2007
Springer
15 years 8 months ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
100
click to vote
ICSE
1994
IEEE-ACM
15 years 6 months ago
1994
IEEE-ACM
Abstract. Formal, visual approaches to system modelling are a promising research sub-area of con guration management. A visual notation for con guring software systems, called ConF...
102
Voted
SIGSOFT
2009
ACM
16 years 3 months ago
2009
ACM
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
147
click to vote
EGICE
2006
15 years 6 months ago
2006
System identification is an abductive task which is affected by several kinds of modeling assumptions and measurement errors. Therefore, instead of optimizing values of parameters ...