Sökning: "program refinement"

Visar resultat 11 - 15 av 29 avhandlingar innehållade orden program refinement.

  1. 11. Parameterized Verification of Synchronized Concurrent Programs

    Författare :Zeinab Ganjei; Ahmed Rezine; Petru Ion Eles; Zebo Peng; Alastair Donaldson; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : There is currently an increasing demand for concurrent programs. Checking the correctness of concurrent programs is a complex task due to the interleavings of processes. Sometimes, violation of the correctness properties in such systems causes human or resource losses; therefore, it is crucial to check the correctness of such systems. LÄS MER

  3. 12. Spectroscopical and electron diffraction studies of some unsaturated chlorohydrocarbons

    Författare :Astrid Borg; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis deals with structural properties of unsaturated chlorhydrocarbons of general formulas C^H^Cl, C^H^Cl and as studied by microwave spectroscopy, electron diffraction and vibrational spectroscopic methods. The two former methods both give values of molecular structure parameters in gas phase, but due to different averages of the thermal motion the structures arrived at are not comparable. LÄS MER

  4. 13. Biomimetic Software Engineering Techniques for Dependability

    Författare :Robert Feldt; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; automated testing; genetic programming; dependability; software engineering; biomimetic algorithms; design exploration; software development workbench; software visualization; software testing; evolutionary computation;

    Sammanfattning : The powerful information processing capabilities of computers have made them an indispensable part of our modern societies. As we become more reliant on computers and want them to handle more critical and difficult tasks it becomes important that we can depend on the software that controls them. LÄS MER

  5. 14. Design of Multifunctional Body Panels for Conflicting Structural and Acoustic Requirements in Automotive Applications

    Författare :Christopher John Cameron; Dan Zenkert; Peter Göransson; Per Wennhage; Henry Rice; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Vehicle engineering; Farkostteknik; Construction engineering; Konstruktionsteknik;

    Sammanfattning : Over the past century, the automobile has become an integral part of society, with vastincreases in safety, refinement, and complexity, but most unfortunately in mass. Thetrend of increasing mass cannot be maintained in the face of increasingly stringentregulations on fuel consumption and emissions. LÄS MER

  7. 15. Computational Solid Wave Propagation Numerical Techniques and Industrial Applications

    Författare :Torbjörn Ekevid; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; wave propagation; multigrid; adaptivity; parallel; FEM; iterative; SBFEM;

    Sammanfattning : For wave propagation and many other physical phenomena, the dynamic effects are vital. In industrial applications, such problems are very complex and generally have to be treated by means of numerical methods. LÄS MER