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).
27 maart 2024 (Face-to-face én Live Video Stream) Schrijf in voor al weer de elfde editie van ons jaarlijkse congres met wederom een ijzersterke sprekers line-up. Op deze editie behandelen wij belangrijke thema’s als Data Architectuur, D...
28 maart 2024 (halve dag)Praktische workshop met Alec Sharp [Halve dag] Deze workshop door Alec Sharp introduceert conceptmodellering vanuit een non-technisch perspectief. Alec geeft tips en richtlijnen voor de analist, en verkent datamodellering op ...
28 maart 2023 Dit seminar met Mike Ferguson gaat dieper in op de ontwikkeling van dataproducten en ook hoe je een datamarktplaats kunt gebruiken om het delen van dataproducten in de hele organisatie te regelen en te delen om de time-to-value te ver...
28 maart 2023 Dit seminar behandelt de strategische implementatie van Knowledge Graph-initiatieven binnen organisaties en biedt een uitgebreid raamwerk waarin geavanceerde technieken worden gecombineerd met praktijkcases. Het voorziet deelneme...
9 april 2024 Workshop met BPM-specialist Christian Gijsels over AI-Gedreven Business Analyse met ChatGPT. Kunstmatige Intelligentie, ongetwijfeld een van de meest baanbrekende technologieën tot nu toe, opent nieuwe deuren voor analisten met inno...
11 april 2024 Praktische workshop Datavisualisatie - Dashboards en Data Storytelling. Hoe gaat u van data naar inzicht? En hoe gaat u om met grote hoeveelheden data, de noodzaak van storytelling en data science? Lex Pierik behandelt de stromingen in ...
16 april 2024 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 herontw...
24 en 25 april 2024 Organisaties hebben behoefte aan data science, selfservice BI, embedded BI, edge analytics en klantgedreven BI. Vaak is het dan ook tijd voor een nieuwe, toekomstbestendige data-architectuur. Dit tweedaagse seminar geeft antwoord ...
Deel dit bericht