1676 search results - page 47 / 336 » Formal Development of Self-organising Systems |
ASWSD
2004
Springer
14 years 2 months ago
2004
Springer
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...
VAMOS
2010
Springer
13 years 10 months ago
2010
Springer
Model-driven development of software-intensive systems aims at designing systems by stepwise model refinement. In order to create software product lines by model-driven development...
CONCUR
2000
Springer
14 years 1 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
APSEC
2001
IEEE
14 years 17 days ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
CHARME
2003
Springer
14 years 17 days ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...