Daniel Frischemeier entwickelt eine Lehrveranstaltung für Lehramtsstudierende der Mathematik (für Grund-, Haupt-, actual- und Gesamtschulen) zur Datenanalyse mit der software program TinkerPlots. Dabei legt er den Design-Based-Research-Ansatz zugrunde und beschreibt das layout, die Durchführung und die overview der Lehrveranstaltung. Davon ausgehend formuliert er Implikationen für die Datenanalyse mit TinkerPlots. In einer anschließenden Fallstudie identifiziert und analysiert er mithilfe der qualitativen Inhaltsanalyse das statistische Denken von Lehramtsstudierenden und die Einsatzweise der software program beim Vergleich von Verteilungen.
By Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel (auth.), José Luiz Fiadeiro, Paola Inverardi (eds.)
This ebook constitutes the refereed court cases of the eleventh foreign convention on basic techniques to software program Engineering, FASE 2008, held in Budapest, Hungary, in March/April 2008 as a part of ETAPS 2008, the ecu Joint meetings on conception and perform of Software.
The 26 revised complete papers offered including five device demonstrations have been conscientiously reviewed and chosen from 119 submissions. The papers are prepared in topical sections on specifications and architectures, types and version adjustments, conceptual types and UML, carrier engineering and adaptable providers, verification and trying out, and gadgets and components.
By Anneke Kleppe (auth.), Dragan Gašević, Ralf Lämmel, Eric Van Wyk (eds.)
This e-book constitutes the completely refereed post-conference complaints of the 1st foreign convention on software program Language Engineering, SLE 2008, held in Toulouse, France, in September 2008.
The sixteen revised complete papers and 1 revised brief paper awarded including 1 device demonstration paper and a couple of keynote lectures have been rigorously reviewed and chosen from 106 preliminary submissions. The papers are geared up in topical sections on language and power research and evaluate, concrete and summary syntax, language engineering innovations, language integration and transformation, language implementation and research, in addition to language engineering pearls.
By B. Jamison (auth.), C. E. Veni Madhavan (eds.)
The papers during this quantity approved for the convention on foundations of software program know-how and theoretical laptop technological know-how undertaking learn ends up in - Algorithmics: layout and research of graph, geometric, algebraic and VLSI algorithms; info buildings; ordinary research; complexity concept; parallel parsing. - Concurrency: algebraic semantics, occasion constructions. - good judgment programming: algebraic homes, semantics. - software program expertise: application adjustments, algebraic tools. those effects including the formal recommendations hired to provide them replicate present tendencies pursued by means of prime examine teams around the globe. The papers deal with their subject matters intensive through conscientiously reviewing present effects, constructing and demonstrating new concepts and suggesting extra instructions for research.
This e-book presents a finished creation to Internetware, protecting the features starting from the basic ideas, engineering methodologies, operational platform, caliber measurements and coverage, to destiny instructions. It additionally presents instructions and plenty of consultant genuine international case stories that may be precious reference for software program engineers within the improvement of Internetware functions. This e-book additionally offers an immense research of present learn tendencies in glossy software program engineering within the net period. As such, the publication deals a vital blueprint and priceless contribution to the examine on software program engineering and structures for destiny net computing.
These days, with a rise in requests from clients for simply used and customized workstations, it is important to advertise simple study into software program improvement recommendations, together with new languages and communique software program, within the community atmosphere. This ebook comprises the result of a joint study undertaking among IBM Japan and twelve universities, the aim of which used to be to enforce prototypes of a few of the applied sciences which are possible at present examine degrees. The venture used to be geared up into 3 teams: 1) paradigms for software program improvement, processing, and verbal exchange, 2) natural-language interfaces, and three) software program improvement environments with comparable working platforms. the consequences should be applied as study instruments, probably for enterprise use, within the box of software program improvement innovations.
By H. Gregor Molter
The complexity of contemporary embedded structures has elevated speedily within the fresh previous. Introducing versions of computation into the layout movement has considerably raised the abstraction in procedure point layout of embedded structures. developing such excessive abstraction degrees in universal /software co-design flows continues to be in its infancy. H. Gregor Molter develops a / software program co-design circulate in response to the Discrete occasion method Specification version of computation. He advocates that the sort of procedure point layout movement may still make the most a timed version of computation to permit a large program box. The offered layout move will remodel timed DEVS versions to either synthesizable VHDL resource code and embeddable C++ resource code.
By Dorina C. Petriu (auth.), Iulian Ober, Ileana Ober (eds.)
This booklet constitutes the completely refereed post-conference lawsuits of the fifteenth foreign SDL discussion board, SDL 2011, held in Toulouse, France, in July 2011. The sixteen revised complete papers offered jointly have been conscientiously reviewed and chosen for inclusion within the booklet. The papers conceal quite a lot of issues equivalent to SDL and similar languages; checking out; and companies and parts to a variety shows of area particular languages and functions, going from use maps to coach station versions or consumer interfaces for medical dataset editors for prime functionality computing.