Modeling Software Reports

WHITE PAPER: This white paper will provide a brief overview of the history of static analysis and explain how the use of SAT in static analysis is enabling developers to improve the quality and security of their code.

Posted: 05 Mar 2008 | Published: 03 Mar 2008

WHITE PAPER: This white paper discusses how static source code analysis can be used to find critical defects and security vulnerabilities in C/C++ and Java source code.

Posted: 05 Mar 2008 | Published: 03 Mar 2008

WHITE PAPER: This paper will review the most common pitfalls that software developers face when creating multi-threaded applications. Discover how static analysis techniques can be used to eliminate concurrency defects earlier in the lifecycle.

Posted: 05 Mar 2008 | Published: 03 Mar 2008

WHITE PAPER: Metastorm BPM empowers knowledge workers, managers, and executives to contribute to enterprise success in measurable ways. Click here to learn how Metastorm BPM helps organizations achieve Enterprise Process Advantage.

Posted: 10 Jul 2007 | Published: 01 Jul 2007

EZINE: In this week's Computer Weekly, the UK government has committed £1bn to the semiconductor sector – but can it ever compete with the US and China? The potential of 5G networking could transform manufacturing – we examine the implications. Read the issue now.

Posted: 26 May 2023 | Published: 30 May 2023

EZINE: In this week's Computer Weekly, two years after the Kalifa report laid out a roadmap for continued fintech sector growth, UK entrepreneurs and startups are worried about the lack of progress. We look at the top tech trends in retail and find out which companies are leading the way. And we examine six ways to slash IT emissions. Read the issue now.

Posted: 06 Mar 2023 | Published: 07 Mar 2023

EGUIDE: In this e-guide, read more about the trends that are shaping the demand for AI and how organizations including healthcare service providers and F1 racing teams are leveraging technology on their own terms.

Posted: 08 Feb 2021 | Published: 11 Jul 2018

EZINE: In this week's Computer Weekly, we talk to the CIO of Currys about the electronics retailer's AI strategy. We examine how China has become a leader in open source software – and what it means for the rest of the world. And we look at how AI is supporting networking alongside how to implement networking to support AI. Read the issue now.

Posted: 16 Sep 2024 | Published: 17 Sep 2024

EZINE: It's not just the countries of the Middle East that have a plan when it comes to digital transformation. Private businesses are also overhauling their systems. One such company is the automotive division of Saudi Arabia's Abdul Latif Jameel Company (ALJC), which has completed one of the biggest SAP projects ever undertaken in the auto sector.

Posted: 08 Feb 2021 | Published: 11 Jul 2019

EZINE: In this month's CW EMEA, we look at how schools in Germany have stopped using Microsoft Office 365 over lack of clarity over how data is collected, shared and used. We also delve into how former UK spy boss Richard Dearlove leaked names of MI6 secret agent recruiters in China to back an aggressive right-wing US campaign against tech company Huawei.

Posted: 11 Jan 2023 | Published: 12 Jan 2023