-
Research guarantees proper integration of software components
Located in
News
/
2011
-
CWI improves coordination technology to combine large internet services
Located in
News
/
2011
-
New formal methods for software reconfiguration in cloud computing
Located in
News
/
2011
-
Better QoS for distributed software with stochastic and formal methods
Reusability of software is a hot topic nowadays. It is easier, cheaper and more efficient to reuse parts of existing software in order to adjust or ...
Located in
News
/
2011
-
Immo Grabe defends thesis on formal methods for parallel programs
Located in
News
/
2012
-
CWI joins Sino-European research network LIAMA
Centrum Wiskunde & Informatica (CWI) has officially joined research network LIAMA. The Sino-European Laboratory in Computer Science, Automation and Applied ...
Located in
News
/
2013
-
New technique detects bugs in object-oriented languages
CWI researcher Stijn de Gouw has developed a new technique for the detection of bugs in software written in object-oriented languages like Java. In a first ...
Located in
News
/
2013
-
Joost Winter verdedigt proefschrift over coalgebra en automatentheorie
CWI-onderzoeker Joost Winter promoveerde op 1 juli 2014 met een proefschrift waarin connecties tussen de coalgebra en de automatenthorie centraal staan. ...
Located in
Nieuws
/
2014
-
CWI and SDL join forces to improve cloud-based marketing
Centrum Wiskunde & Informatica (CWI) and SDL recently started a public-private partnership project to improve cloud-based software for marketing purposes. In ...
Located in
News
/
2014
-
CWI en SDL bundelen krachten om cloud-gebaseerde marketing te verbeteren
Het Centrum Wiskunde & Informatica (CWI) en SDL zijn onlangs een publiek-privaat-partnership project gestart om cloud-gebaseerde software voor marketing ...
Located in
Nieuws
/
2014