004 Datenverarbeitung; Informatik
Refine
Has Fulltext
- yes (213)
Year of publication
Document Type
- Article (168)
- Conference Proceeding (23)
- Doctoral Thesis (9)
- Monograph/Edited Volume (8)
- Master's Thesis (2)
- Preprint (2)
- Postprint (1)
Is part of the Bibliography
- no (213) (remove)
Keywords
- Informatik (16)
- Didaktik (13)
- Ausbildung (12)
- Hochschuldidaktik (12)
- Computer Science Education (4)
- Big Data (3)
- Competence Measurement (3)
- Informatics Education (3)
- Secondary Education (3)
- middleware (3)
- Automatisches Beweisen (2)
- Blended Learning (2)
- Cloud Computing (2)
- Competence Modelling (2)
- Computational thinking (2)
- DPLL (2)
- Data Privacy (2)
- Datenschutz (2)
- Diversity (2)
- E-Learning (2)
- Informatics (2)
- Informatics Modelling (2)
- Informatics System Application (2)
- Informatics System Comprehension (2)
- Klausellernen (2)
- Kompetenzen (2)
- Mensch-Computer-Interaktion (2)
- Relevanz (2)
- SAT (2)
- Softwareentwicklung (2)
- Teamarbeit (2)
- Theorembeweisen (2)
- Unifikation (2)
- competence (2)
- computational thinking (2)
- education (2)
- informatics education (2)
- relevance (2)
- theorem (2)
- 21st century skills, (1)
- ABRACADABRA (1)
- AMNET (1)
- ARCS Modell (1)
- Achievement (1)
- Activity Theory (1)
- Activity-orientated Learning (1)
- Adaption (1)
- Adaptive hypermedia (1)
- Analyse (1)
- Andere Fachrichtungen (1)
- Anerkennung (1)
- Anfragepaare (1)
- Anomalien (1)
- Anrechnung (1)
- Arduino (1)
- Aspect-Oriented Programming (1)
- Aspektorientierte Programmierung (1)
- Aspektorientierte Softwareentwicklung (1)
- Audience Response Systeme (1)
- Ausführungsgeschichte (1)
- Austria (1)
- Authentifizierung (1)
- Automated Theorem Proving (1)
- Bachelor (1)
- Bachelorstudium (1)
- Barrierefreiheit (1)
- Bayesian networks (1)
- Bayessche Netze (1)
- Berufsausbildung (1)
- Betriebssysteme (1)
- Beweisaufgaben (1)
- Blended learning (1)
- Bloom’s Taxonomy (1)
- C-Test (1)
- COVID-19 (1)
- CS Ed Research (1)
- CS at school (1)
- CS concepts (1)
- CS curriculum (1)
- CSCW (1)
- Capability approach (1)
- Challenges (1)
- Clause Learning (1)
- Cloud computing (1)
- Coccinelle (1)
- Codeverständnis (1)
- Cognitive Skills (1)
- Comparing programming environments (1)
- Competences (1)
- Competencies (1)
- Computational Thinking (1)
- Computer Science (1)
- Computer Science in Context (1)
- Computing (1)
- Constraint Solving (1)
- Contest (1)
- Contextualisation (1)
- Contradictions (1)
- Course development (1)
- Course marketing (1)
- Course of Study (1)
- Courses for female students (1)
- Curricula Development (1)
- Curriculum (1)
- Curriculum Development (1)
- Curriculum analysis (1)
- Data Analysis (1)
- Data Literacy (1)
- Data Management (1)
- Data Science (1)
- Databases (1)
- Datenanalyse (1)
- Datenbanken (1)
- Deduction (1)
- Degenerationsprozesse (1)
- Design Thinking (1)
- Digital Competence (1)
- Digital Education (1)
- Digital Revolution (1)
- Digitale Whiteboards (1)
- Disambiguierung (1)
- Diskussionskultur (1)
- Dispositional learning analytics (1)
- Distanzlehre (1)
- Durchlässigkeit (1)
- Dynamic assessment (1)
- Early Literacy (1)
- Educational Standards (1)
- Educational software (1)
- Embedded Systems (1)
- Empirische Untersuchung (1)
- Erfolgsmessung (1)
- Ethics (1)
- Euclid’s algorithm (1)
- Explorative Datenanalyse (1)
- Facebook (1)
- Fachinformatik (1)
- Fachinformatiker (1)
- Feedback (1)
- Fehlende Daten (1)
- Fehlerbeseitigung (1)
- Fertigkeiten (1)
- Fibonacci numbers (1)
- Formale Sprachen und Automaten (1)
- Formative assessment (1)
- Forschung (1)
- Forschungsprojekte (1)
- Function (1)
- Fundamental Ideas (1)
- Future SOC Lab (1)
- Gender (1)
- General subject “Information” (1)
- Geschäftsprozessmanagement (1)
- Graphensuche (1)
- HCI (1)
- HEI (1)
- Herodotos (1)
- History of pattern occurrences (1)
- Hochschule (1)
- Hochschulkurse (1)
- Hochschullehre (1)
- ICT (1)
- ICT Competence (1)
- ICT competencies (1)
- ICT curriculum (1)
- ICT skills (1)
- ISSEP (1)
- Identität (1)
- In-Memory Technologie (1)
- Informatik B. Sc. (1)
- Informatik für alle (1)
- Informatikstudium (1)
- Information Ethics (1)
- Informationskompetenz (1)
- Informationsvorhaltung (1)
- Inhalte (1)
- Inhaltsanalyse (1)
- Inquiry-based Learning (1)
- Internet applications (1)
- Internetanwendungen (1)
- Intersectionality (1)
- Interventionen (1)
- Inverted Classroom (1)
- Java Security Framework (1)
- KI (1)
- Key Competencies (1)
- Kollaboration (1)
- Kompetenz (1)
- Kompetenzerwerb (1)
- Kompetenzmessung (1)
- Kontext (1)
- Kryptographie (1)
- LMS (1)
- Learners (1)
- Learning Analytics (1)
- Learning Fields (1)
- Learning analytics (1)
- Learning dispositions (1)
- Learning ecology (1)
- Learning interfaces development (1)
- Learning with ICT (1)
- Lehr- und Lernformate (1)
- Lehramtsstudium (1)
- Lehre (1)
- Lehrer*innenbildung (1)
- Lehrevaluation (1)
- Leistungsfähigkeit (1)
- Lern-App (1)
- Lernerfolg (1)
- Lernmotivation (1)
- Lernzentrum (1)
- Liguistisch (1)
- Logarithm (1)
- Logic Programming (1)
- Logics (1)
- Logikkalkül (1)
- Lower Secondary Level (1)
- Lückentext (1)
- MOOCs (1)
- Massive Open Online Courses (1)
- Measurement (1)
- Middleware (1)
- Mobile learning (1)
- Multicore Architekturen (1)
- Music Technology (1)
- Natural Science Education (1)
- Navigation (1)
- Netzwerk (1)
- NoSQL (1)
- Norway (1)
- Novice programmers (1)
- OpenOLAT (1)
- Optimization (1)
- Owner-Retained Access Control (ORAC) (1)
- Pedagogical content knowledge (1)
- Peer-Review (1)
- Performance (1)
- Personas (1)
- Physical Science (1)
- Planing (1)
- Policy Languages (1)
- Policy Sprachen (1)
- Preprocessing (1)
- Primary informatics (1)
- Probabilistische Modelle (1)
- Problem Solving (1)
- Problem solving (1)
- Problem solving strategies (1)
- Process Mining (1)
- Programmierausbildung (1)
- Programming environments for children (1)
- Programming learning (1)
- Projekte (1)
- Prolog (1)
- Pytho n (1)
- Quantenkryptographie (1)
- RDF (1)
- Re-Engineering (1)
- Recommendations for CS-Curricula in Higher Education (1)
- SPARQL (1)
- STEM (1)
- Scalability (1)
- Scientific understanding of Information (1)
- Selektion (1)
- Semantische Analyse (1)
- Seminarkonzept (1)
- Sensors (1)
- Skalierbarkeit (1)
- Small Private Online Courses (1)
- Social (1)
- Social impact (1)
- Sociotechnical Design (1)
- Software Engineering (1)
- Softwareentwicklungsprozesse (1)
- Softwaretest (1)
- Strategie (1)
- Strukturverbesserung (1)
- Student Engagement (1)
- Studienabbruch (1)
- Studienanfänger*innen (1)
- Studieneingangsphase (1)
- Studiengestaltung (1)
- Studiengänge (1)
- Studienverläufe (1)
- Studierendenperformance (1)
- Studium (1)
- Systemsoftware (1)
- Tasks (1)
- Teacher perceptions (1)
- Teachers (1)
- Teaching information security (1)
- Teaching problem solving strategies (1)
- Technology proficiency (1)
- Terminology (1)
- Test-getriebene Fehlernavigation (1)
- Tests (1)
- Theoretische Informatik (1)
- Theory (1)
- Trajectories (1)
- Umfrage (1)
- VIL (1)
- Vernetzte Daten (1)
- Verteiltes Arbeiten (1)
- Videoanalyse (1)
- Videometadaten (1)
- Virtuelle Maschinen (1)
- Vocational Education (1)
- Vorhersage (1)
- Vorkenntnisse (1)
- Vorwissen (1)
- Wartung von Lehrveranstaltungen (1)
- Weiterbildung (1)
- Wissenschaftliches Arbeiten (1)
- Women and IT (1)
- XM (1)
- Young People (1)
- abstraction (1)
- ad hoc learning (1)
- ad hoc messaging network (1)
- analogical thinking (1)
- anomalies (1)
- aspect adapter (1)
- aspect oriented programming (1)
- aspect-oriented (1)
- aspects (1)
- aspectualization (1)
- assistive Technologien (1)
- assistive technologies (1)
- authentication (1)
- automated theorem proving (1)
- back-in-time (1)
- binary representation (1)
- binary search (1)
- bottom–up (1)
- bug tracking (1)
- built–in predicates (1)
- business process management (1)
- changeability (1)
- classroom language (1)
- clause learning (1)
- cloud computing (1)
- cognitive modifiability (1)
- collaboration (1)
- community (1)
- competencies (1)
- competency (1)
- complexity (1)
- comprehension (1)
- computer science (1)
- computer science education (1)
- computer science teachers (1)
- computer security (1)
- computing science education (1)
- concept of algorithm (1)
- concurrency (1)
- consistency (1)
- constructionism (1)
- context awareness (1)
- crosscutting wrappers (1)
- cryptography (1)
- cs4fn (1)
- cscw (1)
- curriculum theory (1)
- debugging (1)
- deductive databases (1)
- design thinking (1)
- didactics (1)
- didaktisches Konzept (1)
- digital whiteboard (1)
- digitale Bildung (1)
- distributed systems (1)
- divide and conquer (1)
- duale IT-Ausbildung (1)
- dynamic reconfiguration (1)
- e-Assessment (1)
- e-Learning (1)
- e-learning platform (1)
- e-mentoring (1)
- education and public policy (1)
- educational programming (1)
- edutainment (1)
- empirical studies (1)
- empirische Studien (1)
- engaged computing (1)
- environments (1)
- exponentiation (1)
- extensions of logic programs (1)
- forschendes Lernen (1)
- forschungsorientiertes Lernen (1)
- forward / backward chaining (1)
- fun (1)
- function symbols (1)
- fächerverbindend (1)
- general secondary education (1)
- generalized logic programs (1)
- graph-search (1)
- heterogeneity (1)
- high school (1)
- higher (1)
- higher education (1)
- in-memory technology (1)
- individuelle Lernwege (1)
- informatics (1)
- informatics curricula (1)
- informatics in upper secondary education (1)
- informatische Grundkompetenzen (1)
- innovation (1)
- instruction (1)
- interactive course (1)
- interactive workshop (1)
- international comparison (1)
- international study (1)
- invasive aspects (1)
- key competencies (1)
- kinaesthetic teaching (1)
- klinisch-praktischer Unterricht (1)
- knowledge representation (1)
- learning (1)
- lesson (1)
- linguistic (1)
- linked data (1)
- logic programming (1)
- logical calculus (1)
- machine learning (1)
- mandatory computer science foundations (1)
- maschinelles Lernen (1)
- mediated learning experience (1)
- misconceptions (1)
- missing data (1)
- mobiles Lernen (1)
- model-driven engineering (1)
- modelgetriebene Entwicklung (1)
- multi-valued logic (1)
- multicore architectures (1)
- multiuser (1)
- network (1)
- networks (1)
- online assistance (1)
- open learning (1)
- operating system (1)
- operating systems (1)
- paraconsistency (1)
- parameter (1)
- pedagogy (1)
- personal (1)
- personal response systems (1)
- pervasive learning (1)
- philosophical foundation of informatics pedagogy (1)
- pre-primary level (1)
- prediction (1)
- prefetching (1)
- preprocessing (1)
- primary education (1)
- primary level (1)
- primary school (1)
- probabilistic models (1)
- problem-solving (1)
- process mining (1)
- professional development (1)
- program analysis (1)
- programming (1)
- programming in context (1)
- programming language (1)
- proving (1)
- quantum cryptography (1)
- query matching (1)
- reflection (1)
- remote collaboration (1)
- research projects (1)
- reusable aspects (1)
- science (1)
- secondary computer science education (1)
- secondary education (1)
- security policies (1)
- selection (1)
- self-efficacy (1)
- semantic analysis (1)
- semantics (1)
- service-oriented (1)
- sign language (1)
- situated learning (1)
- social media (1)
- social networking (1)
- software development (1)
- software development processes (1)
- sorting (1)
- spreadsheets (1)
- stochastic Petri nets (1)
- stochastische Petri Netze (1)
- stratification (1)
- student activation (1)
- student experience (1)
- student perceptions (1)
- studentische Forschung (1)
- students’ conceptions (1)
- students’ knowledge (1)
- systems software (1)
- teacher (1)
- teacher competencies (1)
- teacher education (1)
- teacher training (1)
- teaching informatics in general education (1)
- teaching material (1)
- technische Rahmenbedingungen (1)
- test items (1)
- test-driven fault navigation (1)
- testing (1)
- tools (1)
- topics (1)
- top– down (1)
- tracing (1)
- tuple spaces (1)
- unification (1)
- user interfaces (1)
- user-centred (1)
- video analysis (1)
- video metadata (1)
- views (1)
- virtual machines (1)
- virtual reality (1)
- wissenschaftliches Arbeiten (1)
- wissenschaftliches Schreiben (1)
- word sense disambiguation (1)
- Änderbarkeit (1)
- ‘unplugged’ computing (1)
Institute
.NET Gadgeteer Workshop
(2013)
A comparison of current trends within computer science teaching in school in Germany and the UK
(2013)
In the last two years, CS as a school subject has gained a lot of attention worldwide, although different countries have differing approaches to and experiences of introducing CS in schools. This paper reports on a study comparing current trends in CS at school, with a major focus on two countries, Germany and UK. A survey was carried out of a number of teaching professionals and experts from the UK and Germany with regard to the content and delivery of CS in school. An analysis of the quantitative data reveals a difference in foci in the two countries; putting this into the context of curricular developments we are able to offer interpretations of these trends and suggest ways in which curricula in CS at school should be moving forward.
Many formal descriptions of DPLL-based SAT algorithms either do not include all essential proof techniques applied by modern SAT solvers or are bound to particular heuristics or data structures. This makes it difficult to analyze proof-theoretic properties or the search complexity of these algorithms. In this paper we try to improve this situation by developing a nondeterministic proof calculus that models the functioning of SAT algorithms based on the DPLL calculus with clause learning. This calculus is independent of implementation details yet precise enough to enable a formal analysis of realistic DPLL-based SAT algorithms.
This paper describes the proof calculus LD for clausal propositional logic, which is a linearized form of the well-known DPLL calculus extended by clause learning. It is motivated by the demand to model how current SAT solvers built on clause learning are working, while abstracting from decision heuristics and implementation details. The calculus is proved sound and terminating. Further, it is shown that both the original DPLL calculus and the conflict-directed backtracking calculus with clause learning, as it is implemented in many current SAT solvers, are complete and proof-confluent instances of the LD calculus.
Informatics as a school subject has been virtually absent from bilingual education programs in German secondary schools. Most bilingual programs in German secondary education started out by focusing on subjects from the field of social sciences. Teachers and bilingual curriculum experts alike have been regarding those as the most suitable subjects for bilingual instruction – largely due to the intercultural perspective that a bilingual approach provides. And though one cannot deny the gain that ensues from an intercultural perspective on subjects such as history or geography, this benefit is certainly not limited to social science subjects. In consequence, bilingual curriculum designers have already begun to include other subjects such as physics or chemistry in bilingual school programs. It only seems a small step to extend this to informatics. This paper will start out by addressing potential benefits of adding informatics to the range of subjects taught as part of English-language bilingual programs in German secondary education. In a second step it will sketch out a methodological (= didactical) model for teaching informatics to German learners through English. It will then provide two items of hands-on and tested teaching material in accordance with this model. The discussion will conclude with a brief outlook on the chances and prerequisites of firmly establishing informatics as part of bilingual school curricula in Germany.
In an attempt to pave the way for more extensive Computer Science Education (CSE) coverage in K-12, this research developed and made a preliminary evaluation of a blended-learning Introduction to CS program based on an academic MOOC. Using an academic MOOC that is pedagogically effective and engaging, such a program may provide teachers with disciplinary scaffolds and allow them to focus their attention on enhancing students’ learning experience and nurturing critical 21st-century skills such as self-regulated learning. As we demonstrate, this enabled us to introduce an academic level course to middle-school students. In this research, we developed the principals and initial version of such a program, targeting ninth-graders in science-track classes who learn CS as part of their standard curriculum. We found that the middle-schoolers who participated in the program achieved academic results on par with undergraduate students taking this MOOC for academic credit. Participating students also developed a more accurate perception of the essence of CS as a scientific discipline. The unplanned school closure due to the COVID19 pandemic outbreak challenged the research but underlined the advantages of such a MOOCbased blended learning program above classic pedagogy in times of global or local crises that lead to school closure. While most of the science track classes seem to stop learning CS almost entirely, and the end-of-year MoE exam was discarded, the program’s classes smoothly moved to remote learning mode, and students continued to study at a pace similar to that experienced before the school shut down.
We propose a paraconsistent declarative semantics of possibly inconsistent generalized logic programs which allows for arbitrary formulas in the body and in the head of a rule (i.e. does not depend on the presence of any specific connective, such as negation(-as-failure), nor on any specific syntax of rules). For consistent generalized logic programs this semantics coincides with the stable generated models introduced in [HW97], and for normal logic programs it yields the stable models in the sense of [GL88].
This contribution presents a quantitative evaluation procedure for Information Retrieval models and the results of this procedure applied on the enhanced Topic-based Vector Space Model (eTVSM). Since the eTVSM is an ontology-based model, its effectiveness heavily depends on the quality of the underlaying ontology. Therefore the model has been tested with different ontologies to evaluate the impact of those ontologies on the effectiveness of the eTVSM. On the highest level of abstraction, the following results have been observed during our evaluation: First, the theoretically deduced statement that the eTVSM has a similar effecitivity like the classic Vector Space Model if a trivial ontology (every term is a concept and it is independet of any other concepts) is used has been approved. Second, we were able to show that the effectiveness of the eTVSM raises if an ontology is used which is only able to resolve synonyms. We were able to derive such kind of ontology automatically from the WordNet ontology. Third, we observed that more powerful ontologies automatically derived from the WordNet, dramatically dropped the effectiveness of the eTVSM model even clearly below the effectiveness level of the Vector Space Model. Fourth, we were able to show that a manually created and optimized ontology is able to raise the effectiveness of the eTVSM to a level which is clearly above the best effectiveness levels we have found in the literature for the Latent Semantic Index model with compareable document sets.
A deterministic cycle scheduling of partitions at the operating system level is supposed for a multiprocessor system. In this paper, we propose a tool for generating such schedules. We use constraint based programming and develop methods and concepts for a combined interactive and automatic partition scheduling system. This paper is also devoted to basic methods and techniques for modeling and solving this partition scheduling problem. Initial application of our partition scheduling tool has proved successful and demonstrated the suitability of the methods used.
Adaption von Lernwegen in adaptierten Lehrmaterialien für Studierende mit Berufsausbildungsabschluss
(2023)
Obwohl immer mehr Menschen nicht direkt ein Studium aufnehmen, sondern zuvor eine berufliche Ausbildung absolvieren, werden die in der Ausbildung erworbenen Kompetenzen von den Hochschulen inhaltlich und didaktisch meist ignoriert. Ein Ansatz, diese Kompetenzen zu würdigen, ist die formale Anrechnung von mitgebrachten Kompetenzen als (für den Studienabschluss erforderliche) Leistungspunkte. Eine andere Variante ist der Einsatz von speziell für die Zielgruppe der Studierenden mit Vorkenntnissen adaptiertem Lehr-Lernmaterial. Um darüber hinaus individuelle Unterschiede zu berücksichtigen, erlaubt eine weitere Adaption individueller Lernpfade den Lernenden, genau die jeweils fehlenden Kompetenzen zu erwerben. In diesem Beitrag stellen wir die exemplarische Entwicklung derartigen Materials anhand des Kurses „Datenbanken“ für die Zielgruppe der Studierenden mit einer abgeschlossenen Ausbildung zum Fachinformatiker bzw. zur Fachinformatikerin vor.
We launched an original large-scale experiment concerning informatics learning in French high schools. We are using the France-IOI platform to federate resources and share observation for research. The first step is the implementation of an adaptive hypermedia based on very fine grain epistemic modules for Python programming learning. We define the necessary traces to be built in order to study the trajectories of navigation the pupils will draw across this hypermedia. It may be browsed by pupils either as a course support, or an extra help to solve the list of exercises (mainly for algorithmics discovery). By leaving the locus of control to the learner, we want to observe the different trajectories they finally draw through our system. These trajectories may be abstracted and interpreted as strategies and then compared for their relative efficiency. Our hypothesis is that learners have different profiles and may use the appropriate strategy accordingly. This paper presents the research questions, the method and the expected results.
We describe a framework to support the implementation of web-based systems to manipulate data stored in relational databases. Since the conceptual model of a relational database is often specified as an entity-relationship (ER) model, we propose to use the ER model to generate a complete implementation in the declarative programming language Curry. This implementation contains operations to create and manipulate entities of the data model, supports authentication, authorization, session handling, and the composition of individual operations to user processes. Furthermore and most important, the implementation ensures the consistency of the database w.r.t. the data dependencies specified in the ER model, i.e., updates initiated by the user cannot lead to an inconsistent state of the database. In order to generate a high-level declarative implementation that can be easily adapted to individual customer requirements, the framework exploits previous works on declarative database programming and web user interface construction in Curry.
In der letzten Jahren ist die Zahl der erfolgreichen Prüfungen von Studierenden im Informatikkurs des ersten Studienjahres für verschiedene Studiengänge an der Universität Óbuda stark gesunken. Dies betrifft Prüfungen in den Teilgebieten Rechnerarchitektur, Betrieb von Peripheriegeräten, Binäre Codierung und logische Operationen, Computerviren, Computernetze und das Internet, Steganographie und Kryptographie, Betriebsysteme. Mehr als der Hälfte der Studenten konnte die Prüfungen der ersten Semester nicht erfolgreich absolvieren. Die hier vorgelegte Analyse der Studienleistungen zielt darauf ab, Gründe für diese Entwicklung zu identifizieren, die Zahl der Abbrecher zu reduzieren und die Leistungen der Studenten zu verbessern. Die Analyse zeigt, dass die Studenten die erforderlichen Lehrmaterialen erst ein bis zwei Tage vor oder sogar erst am Tag der Klausuren vom Server downloaden, so dass sie nicht mehr hinreichend Zeit zum Lernen haben. Diese Tendenz zeigt sich bei allen Teilgebieten des Studiengangs. Ein Mangel an kontinuierlicher Mitarbeit scheint einer der Gründe für ein frühes Scheitern zu sein. Ferner zeigt sich die Notwendigkeit, dass bei den Lehrangeboten in Informatik auf eine kontinuierliche Kommunikation mit den Studierenden und Rückmeldung zu aktuellen Unterrichtsinhalten zu achten ist. Dies kann durch motivierende Maßnahmen zur Teilnahme an den Übungen oder durch kleine wöchentliche schriftliche Tests geschehen.
Diese Arbeit enthält eine umfassende Analyse, wie der Kompetenzerwerb in einem einsemestrigen Softwarepraktikum vonstatten geht. Dabei steht neben der Frage, welche Kompetenzen besonders gut erworben wurden, der Einfluss von Vorwissen/-kompetenz im Mittelpunkt der Abhandlung. Auf dieser Basis werden einige grundlegende und konkrete Verbesserungsvorschläge erarbeitet, wie der breite Kompetenzerwerb begünstigt wird, d.h. möglichst viele Studierende sich in einem breiten Kompetenzspektrum weiterentwickeln.
Students of computer science studies enter university education with very different competencies, experience and knowledge. 145 datasets collected of freshmen computer science students by learning management systems in relation to exam outcomes and learning dispositions data (e. g. student dispositions, previous experiences and attitudes measured through self-reported surveys) has been exploited to identify indicators as predictors of academic success and hence make effective interventions to deal with an extremely heterogeneous group of students.
Die Studieneingangsphase stellt für Studierende eine Schlüsselphase des tertiären Ausbildungsabschnitts dar. Fachwissenschaftliches Wissen wird praxisfern vermittelt und die Studierenden können die Zusammenhänge zwischen den Themenfeldern der verschiedenen Vorlesungen nicht erkennen. Zur Verbesserung der Situation wurde ein Workshop entwickelt, der die Verbindung der Programmierung und der Datenstrukturen vertieft. Dabei wird das Spiel Go-Moku1 als Android-App von den Studierenden selbständig entwickelt. Die Kombination aus Software (Java, Android-SDK) und Hardware (Tablet-Computer) für ein kleines realistisches Softwareprojekt stellt für die Studierenden eine neue Erfahrung dar.
Erstsemester-Studierende sind mit den Anforderungen des Lehr-/ Lernprozess einer Universität oder Fachhochschule noch nicht vertraut. Ihre Erwartungen orientieren sich vielmehr an ihrer bisherigen Lerngeschichte (Abitur, Fachabitur, o. ä.). Neben den fachlichen Anforderungen des ersten Semesters müssen die Studierenden also auch Veränderungen im Lehr-/Lernprozess erkennen und bewältigen. Es wird anhand einer Output-orientierten
informatischen Lehrveranstaltung aufgezeigt, dass sich aus deren strengen Anforderungen der Messbarkeit klare Kompetenzbeschreibungen ergeben, die besonders dem Orientierungsbedürfnis Erstsemester-Studierender entgegenkommen.
Zur Unterstützung von Studierenden in der Studieneingangsphase wurde an der RWTH Aachen ein neuartiger und motivierender Einstieg in den Vorkurs Informatik entwickelt und zum Wintersemester 2011/12 erprobt. Dabei wurde die grafische Programmierung mittels App Inventor eingeführt, die zur Umsetzung anwendungsbezogener Projekte genutzt wurde. In diesem Beitrag werden die Motivation für die Neugestaltung, das Konzept und die Evaluation des Testlaufs beschrieben. Diese dienen als Grundlage für eine vollständige Neukonzeption des Vorkurses für das Wintersemester 2012/2013.
Projektmanagement-Kompetenzen werden von Unternehmen unterschiedlichster Branchen mit wachsender Priorität betrachtet und eingefordert. Als Beitrag zu einer kompetenzorientierten Ausbildung werden in diesem Paper interdisziplinäre Studienmodule als Bestandteil des Wirtschaftsinformatik-Studiums vorgestellt. Zielsetzung der Studienmodule ist die Befähigung der Studierenden, konkrete Projekte unter Nutzung von standardisierten Werkzeugen und Methoden nach dem IPMA-Standard planen und durchführen zu können.
Enforcing security policies to distributed systems is difficult, in particular, when a system contains untrusted components. We designed AspectKE*, a distributed AOP language based on a tuple space, to tackle this issue. In AspectKE*, aspects can enforce access control policies that depend on future behavior of running processes. One of the key language features is the predicates and functions that extract results of static program analysis, which are useful for defining security aspects that have to know about future behavior of a program. AspectKE* also provides a novel variable binding mechanism for pointcuts, so that pointcuts can uniformly specify join points based on both static and dynamic information about the program. Our implementation strategy performs fundamental static analysis at load-time, so as to retain runtime overheads minimal. We implemented a compiler for AspectKE*, and demonstrate usefulness of AspectKE* through a security aspect for a distributed chat system.