Knowbotic Interface Project



SWE References

This is a working paper which will probably be rewritten several times in the next months



AUTHOR: Gerd Döben-Henisch
COLLABORATORS: Leo Pos und Thore Swindall
FIRST DATE: December 27, 1995
DATE of LAST CHANGE: May-30, 1996


BACH, Maurice J. [1986], The design of the UNIX operating system, Prentice Hall, Englewood Cliffs (NJ).

J.BACKUS [1985], From Function Level Semantics to Program Transformation and Optimization, in: H.EHRIG et.al (eds.), Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin March 1985, Vol.I, Series: Lecture Notes in Computer Science Vol.185, Springer-Verlag, Berlin - Heidelberg - New York, pp.60-91

H.BILLER/ V.SCHMIDT-RAMSIN [1980], Die Einführung der SSD-Entwicklungsmethode bei GOLEM, in: R.WILHELM (ed.), GI - 10.Jahrestagung, Reihe : Informatik Fachberichte Bd.33, Springer-Verlag, Berlin - Heidelberg - New York, pp.139-149

C.BÖHM/ G.JACOPINI [1966, repr. 1979], Flow Diagrams, Turing Machines and Languages with Only Two Formation Rules, in: E.N.YOURDON (ed.) [1979], pp.13-25

B.W.BOEHM [1971 repr. 1979], Software Engineering, in: in: E.N.YOURDON (ed.) [1979], pp.325-361

M.BROY [1985], Specification and Top Down Design of Distributed Systems, in: H.EHRIG et.al (eds.), Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin March 1985, Vol.I, Series: Lecture Notes in Computer Science Vol.185, Springer-Verlag, Berlin - Heidelber - New York, pp.4-28.

COMER, Douglas [1984], Operating system design. The XINU approach, Prentice Hall Inc., Englewood Cliffs (NJ)

M.DAVIS (ed) [1965], The Undecidable. Basic Papers On Undecidable Propositions, Unsolvable Problems And Computable Functions, Raven Press, Hewlett (NY).

W.F.CLOCKSIN/ C.S.MELLISH [1984, 2nd ed.], Programming in Prolog, Springer-Verlag, Berlin - Heidelberg -New York et al.

P.DEGANO/ U.MONTANARI [1985], Specification Languages for Distributed Systems, in: H.EHRIG et.al (eds.), Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin March 1985, Vol.I, Series: Lecture Notes in Computer Science Vol.185, Springer-Verlag, Berlin - Heidelber - New York, pp.29-51

DILLON, Tharam/TAN, Poh Lee [1993], Object-Oriented Conceptual Modeling, Prentice Hall, New York - London - Toronto

ELLIS, John R. [1994], Objectifying Real-Time Systems, Sigs Books, New York.

M.A.ELLIS/ B.STROUSTRUP [1990], The Annotated C++ Reference Manual, Addison-Wesley, Reading (MA) - Menlo Park (CA) - New York.

Joseph R. FALCONE/ James R.STINGER, [1983] The Smalltalk-80 Implementation at Hewlett-Packard, in: Glenn KRASNER (ed.), Smalltalk-80. Bits of History, Words of Advice, Addison-Wesley Reading (MA) - Menlo Park (CA) - London et al., pp. 79-112.

GÖDEL, K. [1931], Über form al unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, in: Monatshefte f. Mathem. u. Physik, Vol. 38, pp. 173 - 198.

Adele GOLDBERG/ David ROBSON, [1983] Smalltalk-80. The Language and its implementation, Addison-Wesley, Reading (MA) - Menlo Park (CA) - London et al.

Paul HARMON/Brian SAWYER, [1991] ObjectCraft. A graphical programming tool for object-oriented applications, Addison-Wesley Reading (MA) - Menlo Park (CA) - London et al.

Sören HENKEL, [1996] Netz-Kapseln. C++-Klassenbibliotheken für die Interprozeßkommunikation, in: IX, vol: 2/1996, Heise, Hannover, pp.64-72.

H.HERMES [1960, 2.Aufl. 1971] Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einführung in die Theorie der rekursiven Funktionen,Springer-Verlag, Berlin.

W.HESSE [1980], Das Projektmodell - Eine Grundlage für die ingenieursmäßige Software-Entwicklung, in: R.WILHELM (ed.), GI - 10.Jahrestagung, Reihe : Informatik Fachberichte Bd.33, Springer-Verlag, Berlin - Heidelberg - New York, pp.107-122

Tobias HIMSTEDT, [1996] Objektbeschwörung. Python: objectorientierte Scriptsprache fürs World Wide Web, in: IX, vol.3/1996, Heise, Hannover, pp.144-153

J.E.HOPCROFT/ J.D.ULLMAN [1979] Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Reading (MA).

MARTIN, James/ ODELL,James J. [1995], Object Oriented Methods. A Foundation, PTR Prentice Hall, Englewood Cliffs (New Jersey).

Gerald MESARIC, [1996] Szenarium. Hyper-G mit Standardformaten, in: IX, vol. 3/1996, Heise, Hannover, pp. 128-132

M.MINSKY [1967], Computation: Finite and Infinite Machines, Prentice Hall, Englewood Cliffs (NJ).

Stefan MINTERT, [1996] Annäherungsversuch. Java-Script: neue Netscape-Möglichkeiten, in: IX, vol. 2/1996, Heise, Hannover, pp. 134-139

Th.NAGEL [1986], The View from Nowhere, Oxford University Press, New York, Oxford.

H.ÖSTERLE [1980], Eine Methode zum Entwurf betrieblicher Informationssysteme, in: R.WILHELM (ed.), GI - 10.Jahrestagung, Reihe : Informatik Fachberichte Bd.33, Springer-Verlag, Berlin - Heidelberg - New York, pp.150-165

J.RAASCH [1993], Systementwicklung mit strukturierten Methoden, Carl Hanser Verlag, München - Wien

ROCHKIND, Marc J. [1985], Advanced Unix Programming, PTR Prentice Hall Englewood Cliffs (New Jersey)

D.T.ROSS/ K.E.SCHOMAN Jr. [1977 repr. 1979], Structured Analysis for Requirements Definition, in: E.N.YOURDON (ed.) [1979], pp.365-388

RUMBAUGH ,James et al. [1993], Objektorientiertes Modellieren und Entwerfen, Carl Hanser und Prentice Hall International, München - Wien - London.

A.K.SALOMAA] [1978], Formale Sprachen , Springer-Verlag, Berlin.

D.Chr.SCHELLENBERG [1996], Objektklasseneditor und Welteditor für das Knowbotic Interface Project, Dipl.Arbeit, FH Darmstadt, FB Informatik, WS 1995/96.

H.SCHILDT [1990, 2nd rev. ed.], C. The complete Reference. Covers C++ and ANSI-C, Osborne McGrawHill, Berkeley (CA)

Michael SCHILLI, [1996] Gesegnet. Objektorientierte Programmierung mit Perl 5, in: IX, vol. 3/1996, Heise, Hannover, pp. 162-166

STEVENS, W.Richard [1990], UNIX Network Programming PTR Prentice Hall, Englewood Cliffs (New Jersey).

STEVENS, W.Richard [1992], Advanced programming in the UNIX Environment, Addison-Wesley, Reading (MA) - Menlo Park (CA) - New York et al.

W.STEVENS/ G.MYERS / L.CONSTANTINE [1974], Structured Design, in: Edward Nash YOURDON (ed), Classics in Software Engineering, YOURDON Press, New York (New York), pp.207-231.

B.STROUSTRUP [1992, 2 nd rev.ed.], Die C++ Programmiersprache, Addison-Wesley, Bonn - München - Paris - et al.

D.TEICHROEW/ E.A.HERSHEY III [1977 repr. 1979], PSL/PSA: A Computer Aided Technique for Structured Documentation and Analysis of Information Processing Systems, in: E.N.YOURDON (ed.) [1979], pp.389-407

A.M.TURING [1936-7], On Computable Numbers with an Application to the Entscheidungsproblem, In: Proc. London Math. Soc., Ser.2, vol.42, pp.230-265; corr. vol.43, pp.544-546 (Reprint in M.DAVIS 1965, pp.116-151; corr. ibid. pp.151-154).

E.N.YOURDON (ed.) [1979], Classics in Software Engineering, YOURDON PRESS, New York (NY).



Comments are welcomed to kip-ml@inm.de




INM



Daimlerstrasse 32, 60314 Frankfurt am Main, Deutschland. Tel +49- (0)69-941963-0, Tel-Gerd: +49(0)69-941963-10