Enschede en omgeving Contactgegevens
522 volgers Meer dan 500 connecties

Word lid om profiel te bekijken
Green Vibrations

Activiteit

Neem nu deel om alle activiteiten te bekijken

Ervaring en opleidingen

  • Green Vibrations

Volledige ervaring van JW weergeven

Bekijk onder meer de functietitel en de aanstellingsduur.

of

Door op Doorgaan te klikken om deel te nemen of u aan te melden, gaat u akkoord met de gebruikersovereenkomst, het privacybeleid en het cookiebeleid van LinkedIn.

Publicaties

  • Resource Operation Model in a dynamic world

    Resource Operations Models have often been used as an abstraction of systems to perform behavioural pattern detection. Traditionally, for the actual pattern detection and constraint specification, these systems use regular expressions. However, regular expressions suffer from poor evolvability, because the alphabet must be known.
    Therefore in this thesis, two alternatives are considered: graph transformation systems and the vibes specification language.
    Because constraint verification…

    Resource Operations Models have often been used as an abstraction of systems to perform behavioural pattern detection. Traditionally, for the actual pattern detection and constraint specification, these systems use regular expressions. However, regular expressions suffer from poor evolvability, because the alphabet must be known.
    Therefore in this thesis, two alternatives are considered: graph transformation systems and the vibes specification language.
    Because constraint verification methods are almost exclusively used in combination with statically typed languages, we investigated the issues in performing constraint verification on dynamically typed languages.
    Traditional verification systems use the type information available in the Abstract Syntax Tree (AST), but this type information is mostly not available in the ast of dynamically typed languages, unless complex type inference algorithms are used.
    Although type inference helps in some cases, most of the time only a set of types can be inferred for variables, rather than an exact type.
    It has appeared that this makes it necessary to perform constraint verification at runtime. The solutions that are proposed in this thesis have been implemented and tested in the dynamically typed language Smalltalk.

    Publicatie weergeven

  • Creating a Tool Chain for Automatic Aspectual Model Generation

    5th Twente Student Conference on IT

    Following the research of Krishnamurthi et al. a tool chain is created which can be used to create models of aspects which can be checked modularly. This is done by adapting the AspectBench Compiler and using the Bandera model checking framework.

    Publicatie weergeven

Talen

  • English

    -

  • German

    -

  • Dutch

    -

Ontvangen aanbevelingen

1 persoon heeft JW aanbevolen

Word nu lid om dit te bekijken

Meer activiteiten van JW

Bekijk het volledige profiel van JW

  • Bekijk wie u allebei kent
  • Word voorgesteld
  • Neem rechtstreeks contact op met JW
Word lid en bekijk het volledige profiel

Overige vergelijkbare profielen

Voeg nieuwe vaardigheden toe met behulp van deze cursussen

Alle cursussen weergeven