A formalization and implementation of Gries's program development method within the KIV environment

A formalization and implementation of Gries's program development method within the KIV environment

Weitere Versionen anzeigen (1)

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Heisel, Maritta (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Karlsruhe Univ., Fak. für Informatik 1989
Schriftenreihe:	Interner Bericht / Universität Karlsruhe, Fakultät für Informatik 1989,3
Schlagworte:	Softwareentwicklung Künstliche Intelligenz Prüfprogramm
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Markt- und Ist-Analyse, sowie die Entwicklung einer Machbarkeitsstudie, im Hinblick auf die Vorbereitung der Einführung adäquater Test-Tools
von: Grimm, Patrick
Veröffentlicht: (2003)

A functional language to construct proofs
von: Heisel, M., et al.
Veröffentlicht: (1986)

Diagnostic techniques for semiconductor materials processing II symposium held November 27 - 30, 1995, Boston, Massachusetts, U.S.A.
Veröffentlicht: (1996)

Methoden zur rechnergestützten zeitbezogenen Analyse und Optimierung von Testabläufen beim Test integrierter Schaltungen
von: Beyer, Heiko
Veröffentlicht: (2004)

School testing programs
von: Bauernfeind, Robert H.
Veröffentlicht: (1968)

Automatisierte Testfallerzeugung auf Grundlage einer zustandsbasierten Funktionsbeschreibung für Kraftfahrzeugsteuergeräte
von: Brost, Michael 1974-
Veröffentlicht: (2009)

KTB-Report
Veröffentlicht: (1990)

Automatische Generierung von Testszenarien für UNIX-ähnliche Echtzeitrechner aufgrund algorithmischer Beschreibungen
von: Krüger, Andreas
Veröffentlicht: (1998)

Artificial intelligence applications for improved software engineering development new prospects
Veröffentlicht: (2010)

Designing artificial intelligence based software
von: Bahrami, Ali
Veröffentlicht: (1988)

Designing artificial intelligence based software
von: Bahrami, Ali
Veröffentlicht: (1988)

Industrial Software Technology
Veröffentlicht: (1987)

Formale Beschreibung der Testspezifikation und Testerarchitektur zur Verbesserung der Testentwicklung für gemischt analog-digitale integrierte Schaltungen
von: Deng, Baolin
Veröffentlicht: (2005)

Petri-Netz-basierte Verifikation von funktionalen Testfällen
von: Thiel, Sebastian 1982-
Veröffentlicht: (2012)

International Symposium on New Directions in Computing August 12 - 14, 1985, Norwegian Institute of Technology, Trondheim, Norway
Veröffentlicht: (1985)

All About Voice - inkl. Arbeitshilfen online Konzeption, Design und Vermarktung von Anwendungen für digitale Sprachassistenten - inkl. Arbeitshilfen online
von: Kahle, Tim
Veröffentlicht: (2020)

All About Voice [Konzeption, Design und Vermarktung von Anwendungen für digitale Sprachassistenten ; mit begleitender Voice-Anwendung]
von: Kahle, Tim, et al.
Veröffentlicht: (2020)

Agent technology foundations, applications, and markets
Veröffentlicht: (1998)

Agent technology foundations, applications, and markets
Veröffentlicht: (1999)

Developing apps with GPT-4 and ChatGPT build intelligent chatbots, content generators, and more
von: Caelen, Olivier, et al.
Veröffentlicht: (2023)

Industrial software technology
Veröffentlicht: (1987)

Designing Bots creating conversational experiences
von: Shevat, Amir
Veröffentlicht: (2017)

Designing bots creating conversational experiences
von: Shevat, Amir
Veröffentlicht: (2017)

Conceptual modeling 40th International Conference, ER 2021, virtual event, October 18-21, 2021 : proceedings
Veröffentlicht: (2021)

Readings in artificial intelligence and software engineering
Veröffentlicht: (1986)

Algorithmic and architectural gaming design implementation and development
Veröffentlicht: (2012)

Algorithmic and architectural gaming design implementation and development
Veröffentlicht: (2012)

A primer of artificial intelligence with sample programs in Turbo Pascal
von: Chabris, Christopher F.
Veröffentlicht: (1988)

Designing artificial intelligence based software
von: Bahrami, Ali
Veröffentlicht: (1988)

Computational intelligence a logical approach
von: Poole, David L. 1958-, et al.
Veröffentlicht: (1998)

Game AI Pro 360 guide to tactics and strategy
Veröffentlicht: (2020)

Implementations and Applications of Machine Learning
Veröffentlicht: (2020)

Entwicklung, Test und Wartung deklarativer KI-Programme Workshop zur 18. Jahrestagung für Künstliche Intelligenz, Saarbrücken, 19. - 20.9.1994
Veröffentlicht: (1994)

Model-Based Testing for Self-Organization Mechanisms
von: Eberhardinger, Benedikt ca. 20./21. Jh
Veröffentlicht: (2018)

Künstliche Intelligenz eine Einführung mit zahlreichen Programmierbeispielen und Aufgaben
von: Brosch, Herbert
Veröffentlicht: (1989)

Künstliche Intelligenz
Veröffentlicht: (1990)

Künstliche Intelligenz Einführung und technische Anwendungen
von: Lunze, Jan 1952-, et al.
Veröffentlicht: (1990)

Künstliche Intelligenz
von: Hahn, Walther von 1942-
Veröffentlicht: (1985)

Entwicklung und Implementation von Methoden der Künstlichen Intelligenz in APL2
von: Gerneth, Thomas
Veröffentlicht: (1989)

Artificial Intelligence: Methods and Applications 8th Hellenic Conference on AI, SETN 2014, Ioannina, Greece, May 15-17, 2014 ; Proceedings
Veröffentlicht: (2014)