Search results for “[Subject: software-development-engineering-tools]”

• Author(s): Manfred Broy | Stefan Jähnichen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the final report of the work carried out in the project KORSO ("Korrek...

• Author(s): Manfred Broy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralModern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondete...

• Author(s): Manfred Broy • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralUnique collection of historically significant papers completed by descriptions of the pioneers, of their work, and contributions from a prospective of t...

• Author(s): Manfred Broy | Johannes Gruenbauer | David Harel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralSoftware engineering has over the years been applied in many different fiel...

• Author(s): Manfred Broy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer SimulationSoftware development for the automotive domain is currently subject to a silent revolution. On the one hand, software has become the enablin...