Het ontwikkelingsproces van software is in veel bedrijfs- en onderzoeksdomeinen uiterst belangrijk geworden. Om dit proces snel, efficiënt, betrouwbaar en geautomatiseerd te maken, is software stapsgewijs gebaseerd op zowel de beste vaardigheden van de ontwikkelaar als de feedback van de eindgebruiker. Onderzoeker Vlad-Nicolae Şerbănescu (CWI en LIACS) onderzocht hoe dit kan worden verbeterd door modellering en programmeertalen in dit proces te verenigen.
Op 10 juni heeft Şerbănescu zijn proefschrift ‘Software Development by Abstract Behavioral Specification’ verdedigd aan de Universiteit Leiden. Zijn onderzoek richt zich op het overbruggen van de kloof tussen modellering en programmeren om formele methoden en twee van de meest bekende en gebruikte talen voor softwareontwikkeling, de Java- en Scala-talen, te integreren. De resultaten zijn interessant voor software-ingenieurs, architecten en onderzoekers. Hij legt uit: “Zowel programmeertalen als modelleertalen hebben als doel om productontwikkeling te vergemakkelijken door het ontwerpen van correcte en betrouwbare applicaties. Er bestaat echter nog steeds een kloof tussen de twee domeinen, waarbij het proces van softwareontwikkeling vaak via twee afzonderlijke paden gaat met betrekking tot modellering en implementatie. Dit leidt mogelijk tot fouten en verdubbelt de ontwikkelingsinspanning. Mijn onderzoek laat toe dat softwareontwikkeling één continue stroom volgt van het begin tot het einde van de ontwikkelingscyclus”.
Het werk in dit proefschrift is uitgevoerd als onderdeel van de Formal Methods Group bij Centrum Wiskunde & Informatica (CWI) in Amsterdam en Leiden Institute of Advanced Computer Science (LIACS) bij de Universiteit Leiden, onder leiding van prof. Frank de Boer en Dr Mohammad Mahdi Jaghoori. Dit onderzoek werd ondersteund door de Europese projecten FP7-610582 ENVISAGE (Engineering Virtualized Services) en FP7-612985 UPSCALE (From Inherent Concurrency to Massive Parallelism through Type-based Optimizations).
7 - 9 juni 2023Praktische driedaagse workshop met internationaal gerenommeerde spreker Alec Sharp over herkennen, beschrijven en ontwerpen van business processen. De workshop wordt ondersteund met praktijkvoorbeelden en duidelijke, herbruikbare richt...
9 oktoberPraktische dag met internationaal gerenommeerde trainer Keith McCormick over automated machine learning en explainable AI. This one-day workshop explores how data teams can leverage automated machine learning and which phases of the machine ...
12 oktober 2023 Praktisch en interactief seminar met Nigel Turner Data-gedreven worden lukt niet door alleen nieuwe technologie en tools aan te schaffen. Het vereist een transformatie van bestaande business modellen, met cultuurverandering, een heron...
6 t/m 8 november 2023 Praktische workshop Data Management Fundamentals door Chris Bradley - CDMP-examinatie optioneel De DAMA DMBoK2 beschrijft 11 disciplines van Data Management, waarbij Data Governance centraal staat. De Certified Data Manag...
7 december (online seminar op 1 middag)Praktische tutorial met Alec Sharp Alec Sharp illustreert de vele manieren waarop conceptmodellen (conceptuele datamodellen) procesverandering en business analyse ondersteunen. Waardevolle online tutorial van e...
9 en 10 november 2023 Praktische workshop Data Governance & Stewardship door Chris Bradley - CDMP-examinatie optioneel Wat betekent Data Governance eigenlijk, hoe kunnen we het praktisch laten werken en wat zijn de implicaties? Deze 2-daag...
16 en 17 november 2023Praktische workshop boordevol tips en technieken met Alec Sharp Er is toenemende belangstelling voor modelgebaseerde technieken. Alec Sharp behandelt de belangrijkste technieken, waaronder Concept Models, Process Scope en Proces...
30 november 2023 (online cursus van 1 ochtend) Workshop met BPM-specialist Christian Gijsels over business analyse, modelleren en simuleren met de nieuwste release van Sparx Systems' Enterprise Architect, versie 16.Intensieve cursus waarin de belangr...
Deel dit bericht