|
 |
|
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
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
|
|
 |
|
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
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. |
|
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 |
|
|