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).
21 en 22 maart 2023 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 ...
4 april 2023 (Face-to-face én Live Video Stream) Schrijf in voor al weer de tiende editie van ons jaarlijkse congres met wederom een ijzersterke sprekers line-up. Op deze editie behandelen wij belangrijke thema’s als Datamesh, Analytics ...
5 april 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 herontwe...
5 april 2023 (halve dag)Praktische workshop met Alec Sharp This workshop introduces concept modelling from a non-technical perspective, provides tips and guidelines for the analyst, and explores entity-relationship modelling at conceptual and logical...
5 april 2023 (halve dag)Praktische workshop door Thomas Frisendal In deze workshop van een halve dag zal de Deense expert Thomas Frisendal laten zien wat graph technologieën in de praktijk betekenen. Hij zal ook laten zien hoe graph oplossi...
13 april 2023 Praktische workshop Datavisualisatie en Human Data Stories. Hoe gaat u van data naar inzicht? En hoe gaat u om met grote hoeveelheden data, de noodzaak van storytelling, data science en de data artist? Lex Pierik behandelt de stromingen...
8 t/m 10 mei 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 Managemen...
11 en 12 mei 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-daagse cursus bie...
Deel dit bericht