University of Szeged

Displaying 1-4 of 4 results

  • White Papers // Aug 2010

    The Relationship Between Perceived Risk, Perceived Value And Project Competencies

    Perceived risk and value. The concept of perceived risk has been conceptualised as corresponding to situations when there are potentially negative outcomes. Later studies distinguished between uncertainty before the outcome and the outcome itself, which points to the timing of the perceived risk. This paper focuses on how perceived risk...

    Provided By University of Szeged

  • White Papers // Aug 2010

    The Impact Of The Closeness Of Cooperation On The Effectiveness Of Cooperation In University-Industry R&D Collaborations

    The effectiveness and manageability of collaborations between universities and companies are extremely significant in the period when cooperative R&D projects enjoy increased support. University-corporate relationships may imply a lot of advantages that can yield significant potential added value for all participants. This added value can be translated as contribution to...

    Provided By University of Szeged

  • White Papers // Jan 2009

    Static Security Analysis Based on Input-Related Software Faults

    It is important to focus on security aspects during the development cycle to deliver reliable software. However, locating security faults in complex systems is difficult and there are only a few effective automatic tools available to help developers. In this paper, the authors present an approach to help developers locate...

    Provided By University of Szeged

  • White Papers // May 2008

    Programming Language Elements for Correctness Proofs

    The study of formal methods to reason about program properties is becoming an important research area, as a considerable part of a software product's lifecycle is testing and bug-fixing. Formal methods are not widely used in industrial software development, because the overhead of formally proving program properties is generally not...

    Provided By University of Szeged

  • White Papers // May 2008

    Programming Language Elements for Correctness Proofs

    The study of formal methods to reason about program properties is becoming an important research area, as a considerable part of a software product's lifecycle is testing and bug-fixing. Formal methods are not widely used in industrial software development, because the overhead of formally proving program properties is generally not...

    Provided By University of Szeged

  • White Papers // Aug 2010

    The Relationship Between Perceived Risk, Perceived Value And Project Competencies

    Perceived risk and value. The concept of perceived risk has been conceptualised as corresponding to situations when there are potentially negative outcomes. Later studies distinguished between uncertainty before the outcome and the outcome itself, which points to the timing of the perceived risk. This paper focuses on how perceived risk...

    Provided By University of Szeged

  • White Papers // Aug 2010

    The Impact Of The Closeness Of Cooperation On The Effectiveness Of Cooperation In University-Industry R&D Collaborations

    The effectiveness and manageability of collaborations between universities and companies are extremely significant in the period when cooperative R&D projects enjoy increased support. University-corporate relationships may imply a lot of advantages that can yield significant potential added value for all participants. This added value can be translated as contribution to...

    Provided By University of Szeged

  • White Papers // Jan 2009

    Static Security Analysis Based on Input-Related Software Faults

    It is important to focus on security aspects during the development cycle to deliver reliable software. However, locating security faults in complex systems is difficult and there are only a few effective automatic tools available to help developers. In this paper, the authors present an approach to help developers locate...

    Provided By University of Szeged