Skip to ContentSkip to Navigation
Over ons Praktische zaken Waar vindt u ons dr. R. (Rein) Smedinga

dr. R. (Rein) Smedinga

docent Informatica & facultair beleidsmedewerker informatievoorziening
Profielfoto van dr. R. (Rein) Smedinga
Telefoon:
050 36 34615 (secretariaat Faculteitsbureau)
050 36 33939 (secretariaat Informatica)
Bereikbaar via email:
r.smedinga rug.nl
E-mail:
r.smedinga rug.nl

Research interests

Education

I am interested in computer science education and been member of the board of NIOC since 2002. 

Most appreciated course is the student colloquium, where we simulate a real CS conference for master students. We also produce conference proceedings and have a hall of fame for best presentations and best paper.

Software engineering

My current field of interest is software engineering, especially software architectures and product lines. A joint publication is [BBS]. In[GSB01] some ideas about fragments,  i.e. a means to support architecture design, are shown.

Within education I am involved in object oriented techniques  (in programming, analysis, design), UML, UP, Java etc.)

Discrete Event Systems

I have also done research in the field of discrete event systems (DESs). A DES is a system, in which events can happen. An event is some action, occurring at some time (but without any duration). A DES can be modeled by a triple, consisting of an alphabet (representing all possible events), a behaviour set (all possible sequences of events), and a task set (all possible sequences that lead to completed behaviour).

Theory has been developed about cooperation of such systems. Especially, questions about controlling DESs can be answered. Controllers can be computed to get a controlled system that act as prescribed and/or to avoid ending in deadlock.

DESs play an important role in many applications, like flexible manufacturing systems, computer networks, communication and protocol design, VLSI design and traffic systems.

This research has resulted in a PH.D.thesis and a couple of publications (most important ones: [SpSm] [SSR] [Sme19] [Sme17] [Sme16]  [Sme10] ).

A first workshop on the field has been organized together with Petr Kozák (Institute of Information Theory and Automation, Czech Academy of Sciences, Prague) in August 1992 in Prague [WODES92] and a second workshop has been organisated in 1996 in Edinburgh, Scotland, see [WODES96]. A third was organized in Cagliari, see [WODES98] and a next one in Gent, Belgium. During WODES2000 and the conference in Spain in 2002, I was a member of the WODES-steering group.

A website with all WODES information is available through this link.

I have cooperated with Michael Spathopoulos (University of Strathclyde, Glasgow, UK). In the period 1994-1999, joint research is done in the fields of decentralized and distributed controllers for discrete event systems, using hierarchical and distributed structures and study on how this theory can be applied in control problems for flexible manufacturing and traffic systems.

Within the framework of Research Networks, Training and Mobility of Researchers, a programme of the European Commission, Directorate General XII, the ALAPEDES project has started in october 1996 and was finished in 2001.

 Citation

In Dutch Dictionary "Dikke van Dale":roker (de (m.); vgl. -er), rookster (de (v)) 1. iem. die tabak, sigaren, sigaretten of een pijp rookt, pleegt te roken: hij is een matig, een sterk, een zware roker; aangezien niet-rokers ook in het bijzijn van rokers niet roken zouden rokers bij niet-rokers ook niet mogen roken (Smedinga); (uitdr.) een tevreden roker is geen onruststoker; -- ook in samenst. als: hasjroker, opiumroker, pijproker, sigarenroker, sigarettenroker 2. iem. die vis, vlees enz. rookt; -- ook in samenst. als: haringroker, palingroker, visroker, vleesroker, zalmroker. 

 
Lees meer

Publicaties

20th SC@RUG 2023 proceedings 2022-2023

A Development Example: From Conceptual Specification to OO Specification

From Conceptual Specification to OO Specification

19th SC@RUG 2022 proceedings 2021-2022

18th SC@RUG 2020 proceedings 2020-2021

17th SC@RUG 2020 proceedings 2019-2020

16th SC@RUG 2019 proceedings 2018-2019

15th SC@RUG 2018 proceedings 2017-2018

Software metrics for policy-driven software development life cycle automation

14th SC@RUG 2017 proceedings 2016-2017

Lees meer