ASTEC / Springer´s Software / Large-Scale Complex IT Systems / Software Tools / Springer / LNCS / Deutsche Telekom / ThyssenKrupp / Siemens / BASF / ISoLA / /
Country
Denmark / /
Facility
University of Aarhus / University of Dortmund / University of Passau / /
IndustryTerm
earliest formal analysis tools / enterprise-scale applications / distributed cooperative systems / industrial software development / distributed and parallel systems / service-oriented software development / technology transfer initiative / infinite-state systems / software maintenance / /
Organization
Laboratory for Foundations of Computer Science / Christian-Albrechts Universität Kiel / University of Aarhus / University of Dortmund / University of Passau / International Scientific Advisory Board of the UK / National Aeronautics and Space Administration / Advisory Board / Senate / TACAS / /
Person
Checking / Bernhard Steffen / /
Position
Software Model / author / editor / Chair of Programming / Researcher / Professor for Programming / chair / Editor in Chief / first functioning Model / Dean / Associate Professor / co-founder and Steering Committee Member / co-founder / /