This paper describes the requirements handling process of a set of research projects, the ATHENA IP, and how this process is supported by modeling and visualizing requirement stru...
Helge Grenager Solheim, Frank M. Lillehagen, Sobah...
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
The paper describes an innovative image annotation tool, based on a multi-class Support Vector Machine, for classifying image pixels in one of seven classes - sky, skin, vegetation...
Abstract. The Agent Modeling Language (AML) is a semi-formal visual modeling language, specified as an extension to UML 2.0. It is a consistent set of modeling constructs designed...
In this paper, we illustrate a preliminary approach to the translation of Web data between heterogeneous formats. This work fits into a larger project whose aim is the development...