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…
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.
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)
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)