2014-07-02 Seminar Pohl (University of Duisburg-Essen) on Challenges for Information Systems Engineering and Operation

After a short introduction of IoS and IoT the talk outlines the potential of future information systems which utilize the capabilities of IoS and IoT. He illustrates those potentials using examples from the logistic domain. Utilizing the capabilities of IoS and IoT raises new challenges for engineering and operating future information systems. We briefly discuss those challenges and sketch a potential architecture addressing those challenges which include monitoring, runtime, quality prediction and adaptation

2014-05-23: Podcast Interview with Len Bass
Architect Len Bass and author of Software Architecture in Practice was interviewed for a podcast that was released on Friday 23rd May where he shared some of his stories over his 40+ year career in software

2014-05-19: Seminar Bjørner (TU Denmark) on 40 years of Formal Methods

Dines Bjørner delineates what is meant by method, formal method, computer science, computing science, software engineering, and model-oriented and algebraic methods. Based on that he characterises a spectrum from specification-oriented methods to analysis-oriented methods. Then he provides a survey: which are the prerequisite works that have enabled formal methods and which are, to us, the classical formal methods. A related paper is at http://www.imm.dtu.dk/~dibj/2014/fm40-paper.pdf

2014-05-06: NSW Big Picture Seminar Cutting (Stanford University, California) on The Future of Data
In recent years a wide range of new technologies have disrupted traditional data management. We're now in the middle of a revolution in data processing methods. Choosing allegiances in a revolution is risky. In this talk, Doug will present the underlying causes of the revolution and predict how the data world might look once we're through it.

2014-05-05 CeBIT Australia
NICTA's stand at CeBIT showcases our trustworthy systems technology