Abstract
Aerospace systems software is developed taking into account some precautions to avoid dangerous situations. Usually the controllers of these systems are critical embedded real-time controllers and the respective software programs are developed in the C programming language. This paper is developed on the context of developing embedded critical real-time systems software, for aerospace systems applications, based on formalisms commonly used in the industrial automation field. More precisely, the approach proposed, in this paper, consists in translating a SFC specification to C programming language code considering also the behaviour of the controller device, where the specification will be implemented. An illustrative case study is presented in the end of the paper in order to facilitate the understanding of the proposed approach.

Abstract
It is increasingly common to find research on the usability of E-learning systems. From the results of these investigations, it seems clear that most of them point to the need for a critical discussion about usability evaluation methods for specific education systems, particularly on the importance of methods focus on the primary users. However, it also seems to be urgent and essential to investigate how ergonomic analysis has been applied, as well as the necessary adaptations to such usability analysis methods, in order to set up assessments which are more consistent with the nature of the systems. It is now known that, in general terms, users go through several stages of interaction with the system throughout the period of tasks execution. In each of these interaction phases, their behavior and actions can lead them to success, or failure, with regard to compliance with the pre-set goals. Many of the commonly used usability evaluation methods do not stop to analyze the interactions occurring in the context of use. This paper presents a critical review of usability evalution for E-learning systems.

Abstract
This article's main goal is to present a review on the principles of ergonomics applied to tools used for e-learning. It is known that the errors in the application of these principles entail cognitive overload on users of these platforms, so the article tries to address the issue comprehensively. Thus, in the first section presents the most notable ergonomic principles as the foundations of Cognitive and Informational Ergonomics and then presents guidelines for the usability of information systems that can serve as support for academic interactions. In the second part, there will be a discussion about some aspects from collaborative learning experiences among teachers and students in research projects and extension. The methodology of this paper points to a research of qualitative nature, where the aim was to understand the interactions virtually experienced by users of systems whose goal is to encourage the construction of the academic knowledge. The results of this research appear as an additional form of analysis of issues related to ergonomics, so that the information systems always prioritize the different profiles of its users.

Abstract
Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing systems. We use static analysis techniques to generate models of the user interface behaviour from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particular type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection. © 2010, Universitatsbibliothek TU Berlin.

Abstract
Graphical user interfaces (GUIs) are critical components of today's software. Developers are dedicating a larger portion of code to implementing them. Given their increased importance, correctness of GUIs code is becoming essential. This paper describes the latest results in the development of GUISurfer, a tool to reverse engineer the GUI layer of interactive computing systems. The ultimate goal of the tool is to enable analysis of interactive system from source code.

Abstract
Graphical user interfaces (GUls) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI's code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineer an abstract model of a user interface directly from the GUI's legacy code. We also present results from a case study. These results are encouraging and give evidence that the goal of reverse engineering user interfaces can be met with more work on this technique.