351 search results - page 1 / 71 » Properties of Behavioural Model Merging |
FM
2006
Springer
13 years 8 months ago
2006
Springer
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...
SIGSOFT
2004
ACM
14 years 5 months ago
2004
ACM
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...
ECSQARU
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic mer...
ICSE
2007
IEEE-ACM
14 years 4 months ago
2007
IEEE-ACM
Synthesis of behaviour models from software development artifacts such as scenario-based descriptions or requirements specifications not only helps significantly reduce the effort...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
We study the spectral distribution of the threshold network model. The results contain an explicit description and its asymptotic behaviour.