Axivion - Stopping Software Erosion

AdaCore, The GNAT Pro Company

AdaCore

Founded in 1994, AdaCore is the leading provider of commercial, open-source software solutions for Ada, a modern programming language designed for large, long-lived applications where reliability, efficiency and safety are absolutely critical. AdaCore's flagship product is GNAT Pro, the commercial-grade open-source Ada development environment, which comes with expert online support and is available on more platforms than any other Ada technology. AdaCore has customers worldwide; see http://www.adacore.com/customers.php for more information.

Use of Ada and GNAT Pro continues to grow in high-integrity and safety-critical applications, including commercial and defense aircraft avionics, air traffic control, railroad systems, financial services and medical devices. Adacore provide a full solution for building safety-critical applications through the GNAT Pro HIE package and expert partner tools including the static code analysis tools provided by Axivion.


MicroConsult

Microconsult

Training, Coaching & Engineering for Industrial Hardware and Software Engineers:

For 30 years, MicroConsult has been a recommended partner for industrial HW and SW developers.

MicroConsult contributes to your project success

  • in a competent, reliable and personal way
  • with Training, Coaching and Engineering services
  • for technologies, tools, methods, processes and teams

Know-how for every project phase, from specification to test: www.microconsult.com


Software Quality Systems AG, Köln

SQS Software Quality Systems AG

SQS is the largest independent provider of software testing and quality management services in Europe. Founded in Cologne, Germany, in 1982, SQS has around 1.000 employees across Europe and achieved revenues of EUR 78.9 million in 2006. With more than 4,000 successfully completed projects under its belt SQS has a strong customer basis from all industries. Among the clients, there are names like Barclays, BP, Daimler, Dresdner Bank, T-Systems, or Zurich Group.

SQS offers consultancy services, covering the whole life cycle of the software. This allows SQS' customers to monitor their development processes constantly, guaranteeing that the systems meet quality and budget requirements. The SQS portfolio is completed by managed services for long-term outsourcing/offshoring/homeshoring of software testing, by tool solutions, as well as by high-tech engineering in the fields of test systems and embedded systems.

SQS consultants have proven skills in a wide range of areas like test management, test environment analysis, testing strategies, Agile development methods, Internet and Web testing, test asset management, health checks, performance and load testing and tuning, automation and in consultancy services.


Universität Stuttgart, Institut für Softwaretechnologie, Abteilung Programmiersprachen und Übersetzerbau Universität Stuttgart
Institut für Softwaretechnologie
Abteilung Programmiersprachen und Übersetzerbau
The Research Group for Programming Languages and Compilers at the University of Stuttgart pushes the scientific and engineering frontiers in analysing of large program systems. Here is the birthplace of the Bauhaus system from which the Axivion products have originated. Lately, the research has been particularly focused on the analysis of concurrent programs to support fault detection and refactoring of existing software for execution on multi-core and many-core hardware.

Universität Bremen, Fachbereich 3, Arbeitsgruppe Softwaretechnik We are one of the most active groups in software reengineering research. The research project Bauhaus was founded in 1997. The goal of this project is the development of means to describe a software architecture and methods and tools to analyze and recover the software architecture. In more detail, the following maintenance tasks shall be supported: derivation of different views on the architecture of legacy systems, identification of re-usable components, and estimation of change impact. The project is internationally well-known for its contributions in feature locationing, protocol recovery and software clustering. Research in our group now focuses on consolidating existing variants of software into software product lines and clone detection issues. Universität Bremen
Fachbereich 3
Arbeitsgruppe Softwaretechnik

Fraunhofer Institut für Experimentelles Software Engineering, Kaiserslautern Fraunhofer Institut für Experimentelles Software Engineering, Kaiserslautern
GTC · Imprint · Changed on 2008-10-02 13:19:02 +0200 (Thu, 02 Oct 2008) · © 2006-2008 Axivion GmbH Valid CSS!Valid HTML 4.01!