3765 search results - page 57 / 753 » Formal Methods for Systems Engineering Behavior Models |
ISOLA
2004
Springer
14 years 2 months ago
2004
Springer
DEXAW
2003
IEEE
14 years 2 months ago
2003
IEEE
A challenging task in security engineering concerns the specification and integration of security with other requirements at the top level of requirements engineering. Empirical ...
SAC
2008
ACM
13 years 8 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
LPAR
2005
Springer
14 years 2 months ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
SDL
2007
13 years 10 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...