483 search results - page 14 / 97 » Model driven code checking |
ROBOCUP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
COMPSAC
2003
IEEE
14 years 1 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
VMCAI
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
WECWIS
2005
IEEE
14 years 1 months ago
2005
IEEE
The concept of MDA (model driven architecture) aims at the goal of longevity (through business logic and architecture migration between different platforms) and quality improvemen...