Traditionally in industrial system development, the total project is decomposed into phases. The result from one phase, normally a document or a system component, is passed to the...
Ulf Cederling, Roland Ekinge, Bengt Lennartsson, L...
Existing applications often contain security holes that are not patched until after the system has already been compromised. Even when software updates are available, applying the...
Software component technology facilitates the costeffective development of specialized applications. Nevertheless, due to the high number of principals involved in a component-str...
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
Abstract. The security of any computer system that is configured or operated by human beings critically depends on the information conveyed by the user interface, the decisions of...