Title :
Tools and Patterns for Dependable Concurrent Software
Author :
Jovanovic, Dusko S. ; Broenink, Jan F.
Author_Institution :
Dept. of Control Eng., Twente Univ.
Abstract :
First, we give reasons for choosing a process-oriented approach for building complex concurrent systems. Upon a brief review of dependability attributes of software-supported systems, means for increasing dependability in process-oriented architectures are illustrated
Keywords :
concurrency control; object-oriented programming; software architecture; software tools; concurrent software; formal analysis; process-oriented approach; software design pattern; software tool; software-supported system; Buildings; Computer architecture; Concurrent computing; Control engineering; Multithreading; Pattern analysis; Pervasive computing; Programming; Software quality; Software tools; CSP; concurrent exception handling; dependability; design patterns and tools; formal analysis;
Conference_Titel :
Computer as a Tool, 2005. EUROCON 2005.The International Conference on
Conference_Location :
Belgrade
Print_ISBN :
1-4244-0049-X
DOI :
10.1109/EURCON.2005.1630036
