The "International Journal of Critical Computer-Based Systems" (IJCCBS) is a quarterly research journal by Inderscience Publishers. It focuses on engineering and verification of complex computer-based systems (where complex means large, distributed and heterogeneous) in critical applications, with special emphasis on model-based approaches and industrial case-studies. Critical computer-based systems include real-time control, fly/brake-by-wire, on-line transactional and web servers, biomedical apparels, networked devices for telecommunications, environmental monitoring, infrastructure protection, etc.
At the end of this post is an audacious idea about the present and future of software development. In the middle are points about mental models: how important and how difficult they are. But first, a…
R. Kazman, and M. Burth. CSMR '98: Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering ( CSMR'98), page 104. Washington, DC, USA, IEEE Computer Society, (1998)
M. AlSharif, W. Bond, and T. Al-Otaiby. ACM-SE 42: Proceedings of the 42nd annual Southeast regional conference, page 98--103. New York, NY, USA, ACM, (2004)