-
Notifications
You must be signed in to change notification settings - Fork 0
/
research.html
116 lines (100 loc) · 3.83 KB
/
research.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<!--
Design by Free CSS Templates
http://www.freecsstemplates.org
Released for free under a Creative Commons Attribution 2.5 License
Name : TriColor
Description: A two-column, fixed-width design with dark color scheme.
Version : 1.0
Released : 20090723
-->
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta name="keywords" content="" />
<meta name="description" content="" />
<meta http-equiv="content-type" content="text/html; charset=utf-8" />
<title>DISTECH at Bergen University College </title>
<link href="style.css" rel="stylesheet" type="text/css" media="screen" />
</head>
<body>
<div id="wrapper">
<div id="banner"> </div>
<div id="header">
<div id="logo">
<h1><a href="">DISTECH -</a></h1>
<p>Software Technologies for Distributed Systems</p>
</div>
</div>
<!-- end #header -->
<div id="menu">
<ul>
<li><a href="index.html">Home</a></li>
<li><a href="research.html">Research</a></li>
<li><a href="people.html">People</a></li>
<li><a href="publications.html">Publications</a></li>
<li><a href="links.html">Links</a></li>
</ul>
</div>
<!-- end #menu -->
<div id="page">
<div id="page-bgtop">
<div id="page-bgbtm">
<div id="content">
<div class="post">
<div class="entry">
<p class "meta"><img src="images/distechlogo.jpg" width=180px</img></p>
</div>
</div>
<div style="clear: both;"> </div>
</div>
<!-- end #content -->
<div id="sidebar">
<h2>Research</h2>
<p>NOTE: THE LIST OF RESEARCH PROJECTS IS NOT FULLY UPDATED</p>
<p>The research within the DISTECH programme is organised into a collection of subprojects covering one or more of the core research areas. The portfolio of subpoject currently includes:
<ul>
<li> FORMGRID. The main objective of the FORMGRID project is to
develop new techniques and software tools for diagrammatically
modelling grid computing systems, and for formally verifying their
correct behaviour. The groundbreaking character of the project is that
the developed tools will allow users to model systems purely by
constructing graphical diagrams, following the model-driven
engineering philosophy, and that verification will be formal,
exhaustive, and automatic.
<li> <a href="http://dpf.hib.no/index.html">Diagram Predicate
Framework</a>. In Model-Driven Engineering (MDE) models are the
primary artefacts of the software development process. The usage of
these models have resulted in the introduction of a variety of
modelling languages and frameworks. Many of these languages and
frameworks are based on the Object Management Group's Meta-Object
Facility. In addition to their diagrammatic syntax, these languages
use the Object Constraint Language to specify constraints that are
difficult to specify diagrammatically.
<li> <a href="http://www.daimi.au.dk/~ascoveco/">The ASAP model
checking platform</a>. The goal of this project is to develop new
state space exploration and model checking techniques for concurrent
software systems. The project is concerned with research challenges
related to the theoretical development of time- and space efficient
algorithms and datastructures for state space exploration. The project
also focuses on industrial application of the ASAP platform for
verification of protocols for mobile networks and Internet-based
services. The ASAP model checking platform is developed jointly with
researchers at Aarhus University, Denmark.
</ul>
</div>
<!-- end #sidebar -->
<div style="clear: both;"> </div>
</div>
</div>
<hr>
</div>
<!-- end #page -->
</div>
<div id="footer">
<p>Bergen University College - Nygaardsgaten 112 - 5020 Bergen - Norway</p>
<p>Design by <a href="http://www.freecsstemplates.org/">Free CSS Templates</a>.</p>
<hr>
</div>
<!-- end #footer -->
</body>
</html>