Sökning: "Jonas Westman"

Hittade 5 avhandlingar innehållade orden Jonas Westman.

  1. 1. Specifying Safety-Critical Heterogeneous Systems Using Contracts Theory

    Författare :Jonas Westman; Mattias Nyberg; Mats Heimdahl; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Contracts; Heterogeneous Systems; Safety; Architecture; Requirements; Specification; Elements; Compositional; IEC 61508; ISO 26262; Kontrakt; Heterogena System; Säkerhet; Arkitektur; Kravhantering; Specifiering; Element; Kompositionell; IEC 61508; ISO 26262; Machine Design; Maskinkonstruktion;

    Sammanfattning : Requirements engineering (RE) is a well-established practice that is also emphasized in safety standards such as IEC 61508 and ISO 26262. Safety standards advocate a particularly stringent RE where requirements must be structured in an hierarchical manner in accordance with the system architecture; at each level, requirements must be allocated to heterogeneous (SW, HW, mechanical, electrical, etc. LÄS MER

  3. 2. Loca Herodoti Svethicæ tradita. Venia ampl. fac. philos. Upsal. præside Mag. Gustavo Knös ... pro gradu philosophico p. p. Jonas Adolphus Westman Bothniensis. In Audit. Gustav. die X Junii MDCCCXII. H. P. M. S., D. 2

    Författare :Gustaf Knös; Jonas Adolphus Westman; Gustaf Knös; Uppsala universitet; []
    Nyckelord :HUMANIORA; HUMANITIES;

    Sammanfattning : .... LÄS MER

  4. 3. Dissertatio philosophica, de defensione rerum cum cæde alterius, quam, suffragante ampliss. qui ad Salam est, ordine philosophico, ac præside ... Laurentio Dahlman ... In audit. Carol. [maj.] die [XV] Junii anni MDCCLI. Horis ante meridiem solitis publicæ censuræ modeste committit Jonas Westman Medelpadus

    Författare :Lars Dahlman; Jonas Westman; Lars Dahlman; Uppsala universitet; []
    Nyckelord :;

    Sammanfattning : .... LÄS MER

  5. 4. Dissertatio gradualis, de absurditatibus zinzendorffianorum philosophicis, in doctrina de medio reconciliationis inter deum et homines, quam, consensu ampliss. facult. philos. in regia acad. Upsaliensi, præside ... Nicolao Wallerio ... publice examinandam sistit Jonas Westman, Medelpadus. In aud. Carol. majori die XIX Junii, anni MDCCLIV. H. a. m. s

    Författare :Nils Wallerius; Jonas Westman; Nils Wallerius; Uppsala universitet; []
    Nyckelord :HUMANIORA; HUMANITIES;

    Sammanfattning : .... LÄS MER

  7. 5. Specimen academicum artificii historiæ Herodoteæ ideam sistens quod venia ampl. fac. phil. Ups. p. p. mag. Nicolaus Fr. Biberg ... et J. A. Westman Bothniensis. In audit. Gustaviano die XXVIII Febr. MDCCCX. H. a. m. s

    Författare :Nils Fredrik Biberg; Jonas Adolph Westman; Nils Fredrik Biberg; Uppsala universitet; []
    Nyckelord :HUMANIORA; HUMANITIES;

    Sammanfattning : .... LÄS MER