Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Praktische Übungen anhand von Programmieraufgaben sind ein gängiger und zentraler Bestandteil der Programmierausbildung in der Informatik und verwandten Fächern. Die manuelle Korrektur von Lösungen zu Programmieraufgaben ist jedoch zeitaufwändig und nicht immer einfach. Gerade in Szenarien, die auf sogenanntes "formatives Assessment" setzen, ist jedoch ein zeitnahes Feedback zumindest zu den wesentlichen Aspekten einer Lösung sehr wünschenswert. In diesem - aber auch in weiteren Szenarien - kann eine automatisierte Bewertung der Lösungen von Programmieraufgaben einen wertvollen Beitrag zur Verbesserung der Lehre leisten. Darüber hinaus ermöglichen geeignete Systeme eine Darstellung des Lernfortschritts, halten Lernende durch regelmäßig bewertete Übungsaufgaben zur kontinuierlichen Mitarbeit an und unterstützen Lehrende durch einen Überblick über Lernfortschritte und Lernhürden einzelner Studierender und der gesamten Gruppe bei der Planung und Ausrichtung ihrer Lehre. Dieses Buch richtet sich an Lehrende an Hochschulen, Schulen und anderen Ausbildungseinrichtungen, an Hochschuldidaktiker mit Bezug zur Programmierausbildung und an Informatiker, die mit der Entwicklung oder Integration von Systemen zur automatischen Programmbewertung beschäftigt sind. Die Ziele dieses Buches sind zum einen, Lehrenden die praktische Relevanz und Tauglichkeit automatisierter Programmbewertung aufzuzeigen und damit den Einsatz automatischer Programmbewertung durch die Darstellung erfolgreicher Ansätze zu fördern. Zum anderen soll dem Thema der automatisierten Programmbewertung ein größerer Bekanntheitsgrad in der Fachöffentlichkeit verschafft und Arbeitsergebnisse aus Forschungs- und Praxisprojekten einem größeren Anwenderkreis präsentiert werden.

Programmierausbildung --- Java --- SQL --- Prolog --- UML-Modellierung --- App --- Android --- Mathematikausbildung --- Grader --- JACK --- Praktomat --- Graja --- aSQLg --- GATE --- VEA --- PABS --- ASB --- Moodle --- LON-CAPA --- STUD.IP --- Medien- und Umweltpädagogik

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), which is an annual event that, for the ?rst time, was hosted in the UK. Conceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications in - search,softwareengineering,manufacturing and business.The conference brings together researchersin computer science, information technology,arti?cial int- ligence, philosophy and a variety of applied disciplines to explore novel ways that information technologies can be leveraged to assist human reasoning and interaction for tangible business or social bene?ts. Conceptual structures can be used to augment human intelligence by facilitating knowledge integration, de- sion making, the creation of intelligent software systems and the exploration of implicit structures. The theme for this year’s conference was “Conceptual Structures: Kno- edge Architectures for Smart Applications.” Knowledge architectures give rise to smart applications that allow enterprises to share meaning across their int- connected computing resources and to realize transactions that would otherwise remain as lost business opportunities. Conceptual structures and smart appli- tions integrate the creativity of individuals and organizations with the prod- tivity of computers for a meaningful digital future. A focus of ICCS 2007 was on papers that apply conceptual structures in business and technological settings. Other submitted papers covered researchin conceptual structures, which is s- ported by mathematical and computational theory, including formal concept analysis, algorithm design and graph theory, and a variety of software tools.

Conceptual structures (Information theory) --- Graph theory --- Logic diagrams --- Knowledge representation (Information theory) --- Natural language processing (Computer science) --- Structures conceptuelles --- Théorie des graphes --- Logigrammes --- Représentation des connaissances --- Traitement automatique des langues naturelles --- Congresses. --- Congrès --- Computer Science --- Mechanical Engineering - General --- Engineering & Applied Sciences --- Mechanical Engineering --- Information Technology --- Artificial Intelligence --- Diagrams, Logic --- Logic --- Diagrams --- Graphic methods --- Computer science. --- Algorithms. --- Mathematical logic. --- Computer science --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Discrete Mathematics in Computer Science. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- Information Systems Applications (incl. Internet). --- Mathematics. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer mathematics --- Discrete mathematics --- Foundations --- Computational complexity. --- Computer software. --- Artificial Intelligence. --- Software, Computer --- Computer systems --- Complexity, Computational --- Computer science—Mathematics. --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software