(Towards an) Implementation of a Graphical Editor for Diagrammatic Predicate Logic in the Eclipse Platform

dc.contributor.author	Skjerveggen, Stian	eng
dc.date.accessioned	2009-03-24T12:03:00Z
dc.date.available	2009-03-24T12:03:00Z
dc.date.issued	2008	eng
dc.date.submitted	2008-06-02	eng
dc.identifier.uri	https://hdl.handle.net/1956/3198
dc.description.abstract	The primary goal of this master's thesis is to explore how the Eclipse Platform can be beneficial for the Generic Diagrammatic Software Specification project, and how a graphical editor in the Eclipse Platform can be put together. The Eclipse Platform is designed for building integrated development environments, with all its functionality based on various plug-ins. The objective is to explore the plug-ins that are made especially for modeling software and graphical editing and find out how to utilize them in the DPL framework.	en_US
dc.format.extent	1166544 bytes	eng
dc.format.mimetype	application/pdf	eng
dc.language.iso	eng	eng
dc.publisher	The University of Bergen	en_US
dc.title	(Towards an) Implementation of a Graphical Editor for Diagrammatic Predicate Logic in the Eclipse Platform	en_US
dc.type	Master thesis
dc.rights.holder	The author	en_US
dc.rights.holder	Copyright the author. All rights reserved	en_US
dc.description.degree	Master i Informatikk	en_US
dc.description.localcode	MAMN-INF
dc.description.localcode	INFL
dc.subject.nus	754199	eng
dc.subject.nsi	VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Teoretisk databehandling, programmeringsspråk og -teori: 421	nob
fs.subjectcode	INFL