Informatik hat sich als technische Wissenschaft herausgebildet, ohne deshalb eine reine Ingenieurswissenschaft zu werden. Noch deutlicher als andere technische Wissenschaften ist sie in sehr kurzer Zeit durch ihre dauerhaften und unmittelbaren, technisch wie ökonomisch motivierten Eingriffe in die Arbeitsorganisation und in viele andere gesellschaftliche Bereiche eine sozial wirksame Wissenschaft geworden. Sie teilt diese Eigenschaft mit anderer Technik, da technische Wissenschaft von ihrer Bestimmung her immer als sozial wirksam gedacht werden muß. Dennoch unterliegt die Informatik sozialen Bezügen stärker als die klassischen Ingenieurswissenschaften, da sie gesellschaftliche Prozesse, wie etwa die Gestaltung der Arbeit, zum unmittelbaren Objekt ihrer Forschung und Anwendung macht. Ihre Herkunft aus Mathematik und Rechentechnik, ihre engen Verbindungen zur Nachrichtentechnik und zur Halbleitertechnik und ihre Anwendungen und Rückwirkungen in Betrieb und Produktion haben in der Informatik Besonderheiten herausgebildet, wegen derer sie als eigenständige Wissenschaft interpretiert werden kann. Eine theoretische Begründung hat die Informatik bisher fast ausschließlich aus der mathematischen Theorie der Berechenbarkeit und, in geringerem Maße, aus der Formalen Logik erfahren. Einzelne methodische Ansätze einer Entwurfstheorie als Software Engineering oder zum Hardware-Entwurf sind unzusammenhängend und partikulär geblieben. Die Software-Krise, die in ihren Grundzügen nicht aufgelöst ist, beruht wahrscheinlich weniger auf mathematisch-logischen oder programmtechnischen Mängeln der bislang verwendeten Methoden des Software-Entwurfs, sondern vielmehr auf der unzureichenden Reflexion des Wechselspiels von technischer Gestaltung und sozialer Wirkung informationstechnischer Systeme. Ähnliches gilt für die Methoden des Hardware-Entwurfs, wo sich zunehmende Schwierigkeiten aus der unzureichenden begrifflichen Trennung von Gerätetechnik, Informationssystem und Anwenderebene ergeben.