Software Engineering Research Projects
Current projects
To Be Updated
Previous projects
-
Research on Open Source Software
- The aim of the project is to examine the quality aspects surrounding open source software products.
-
Several projects are feasible within the framework of Semantic
Integrity in Software Development.
(Projekt manager: Eivind Nordby)
-
Semantic Integrity in Synchronous, Functionally Based Distributed
Systems.
- In contrast to mathematical functions, it is not quaranteed that a function call
is completed in a functionally based distributed system. The project will consider how
this can be handled in the definition of an ADT (Abstarct Data-Type) for a distributed
module, that is the axiomatic definition of the behaviour of the distributed module, and
how the integrity of the implementation can be maintained in spite of this uncertainty.
Is a semantic description based on invariants and pre- and postconditions sufficient?
-
Semantic Integrity in Asynchronous, Message- Based Distributed
Systems.
- In a message-based asynchronous system a call is not always accompanied
by a reply, instead a call (or signal) to a module may result in new signals
to other modules. These signals may be delayed or disappear on the way.
A message-based system does not follow functional behaviour and it is
not clear that it can be described as an ADT. This project will investigate if there
are other more suitable description methods and if constructs other than
invariants and pre- and postconditions are needed to describe the implementation.
-
Semantic Integration of Service and Protocol Descriptions in a Process
Description.
- A communication solution is often described through its services and
protocols. When the services and protocols are implemented in a process the
process must ensure both the service and the protocol specifications.
This project strives to develop systematic methods to integrate the service
and protocol specifications into the specification of a process without loss
of semantics
and without violating the integrity of the process itself.
-
Improved software quality through semantic descriptions
(SKUTT).
- The aim of the project is to develop a method that enhances software quality
through improved semantic
descriptions.
The method, which should be based on established formal methods,
should be pragmatic enough to be
applied in industrial projects.
The expected impact of the method is improved software quality in complex industrial
projects through a reduction in the number of errors related to semantic
misunderstandings.
The project is funded by
Nutek's program for Complex Technical Systems (the
Software Engineering Cluster) and by
Ericsson Infotech AB.
|
|
|