Avancerad sökning

Hittade 3 avhandlingar som matchar ovanstående sökkriterier.

1. 1. Analysing Fault Tolerance for Erlang Applications

   Författare :Jan Henry Nyström; Bengt Jonsson; Sven-Olof Nyström; John Hughes; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; formal methods; symbolic evaluation; fault tolerance; erlang; Computer engineering; Datorteknik; Computer Systems; Datorteknik;

   Sammanfattning : ERLANG is a concurrent functional language, well suited for distributed, highly concurrent and fault-tolerant software. An important part of Erlang is its support for failure recovery. Fault tolerance is provided by organising the processes of an ERLANG application into tree structures. LÄS MER

3. 2. Denotational Semantics for Asynchronous Concurrent Languages

   Författare :Sven-Olof Nyström; Bengt Jonsson; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Computing Science;

   Sammanfattning : .... LÄS MER

4. 3. Model-Based Protocol Testing in an Erlang Environment

   Författare :Johan Blom; Bengt Jonsson; Sven-Olof Nyström; Bernhard Aichernig; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Testing; Erlang; Model-Based Testing; Symbolic Execution; Communication Protocols; Datavetenskap; Computer Science;

   Sammanfattning : Testing is the dominant technique for quality assurance of software systems. It typically consumes considerable resources in development projects, and is often performed in an ad hoc manner. This thesis is concerned with model-based testing, which is an approach to make testing more systematic and more automated. LÄS MER