1.

Record Nr.

UNISA996466271103316

Titolo

Formal Methods for Web Services [[electronic resource] ] : 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures / / edited by Marco Bernardo, Luca Padovani, Gianluigi Zavattaro

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009

ISBN

3-642-01918-8

Edizione

[1st ed. 2009.]

Descrizione fisica

1 online resource (VII, 341 p.)

Collana

Programming and Software Engineering ; ; 5569

Classificazione

SS 4800

Disciplina

004

Soggetti

Software engineering

Computer engineering

Computer programming

Programming languages (Electronic computers)

Application software

Software Engineering/Programming and Operating Systems

Computer Engineering

Software Engineering

Programming Techniques

Programming Languages, Compilers, Interpreters

Information Systems Applications (incl. Internet)

Bertinoro (2009)

Kongress.

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Lectures.

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

Calculi for Service-Oriented Computing -- Service Interaction: Patterns, Formalization, and Analysis -- Synthesis and Composition of Web Services -- Fundamentals of Session Types -- Asynchronous Session Types: Exceptions and Multiparty Interactions -- Contract-Based Discovery and Adaptation of Web Services -- Contract-Based Discovery and Composition of Web Services -- Quantitative Analysis of Web



Services Using SRMC.

Sommario/riassunto

This book presents a set of 8 papers accompanying the lectures of leading researchers given at the 9th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, held in Bertinoro, Italy, in June 2009. SFM 2009 was devoted to formal methods for web services and covered several aspects including coreography, orchestration, description techniques, interaction, synthesis, composition, session types, contracts, verification, security, and performance.

2.

Record Nr.

UNINA9910504285403321

Autore

Straub Sarah

Titolo

Berufs- und Arbeitswelt in der Politischen Bildung : Über Bildungs- und Berufsvorstellungen Jugendlicher Am Ende der Sekundarstufe I in Deutschland Und Österreich

Pubbl/distr/stampa

Wiesbaden, : Springer Fachmedien Wiesbaden GmbH, 2021

ISBN

9783658343040

3658343044

Edizione

[1st ed.]

Descrizione fisica

1 online resource (187 p.)

Collana

Citizenship. Studien Zur Politischen Bildung

Classificazione

EDU000000EDU034000POL000000SOC026000

Altri autori (Persone)

BaumgardtIris

LangeDirk

Soggetti

Political science & theory

Sociology

Comparative politics

Central government policies

Educational strategies & policy

Education

Lingua di pubblicazione

Tedesco

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Description based upon print version of record.

Nota di contenuto

Intro -- Inhaltsverzeichnis -- Abbildungsverzeichnis -- Tabellenverzeichnis -- 1 Einleitung -- 2 Forschungsstand -- 2.1 Entwicklung der beruflichen Biografie im Spannungsfeld zwischen



Individuum und Gesellschaft -- 2.1.1 Berufswahl als Entwicklungsprozess -- 2.1.2 Berufswahl als Matching-Prozess -- 2.1.3 Berufswahl als Entscheidungsprozess -- 2.1.4 Berufswahl als Zuweisungsprozess -- 2.1.5 Aktuelle Ansätze -- 2.2 Welche Vorstellungen haben Jugendliche von ihrer Zukunft? -- 2.2.1 Österreich -- 2.2.2 Deutschland -- 2.2.3 Zusammenfassung -- 2.3 Übergangsrelevante Faktoren -- 2.3.1 Soziale Herkunft -- 2.3.2 Geschlecht -- 2.3.3 Migrationshintergrund -- 2.3.4 Medien -- 2.4 Unterstützung der beruflichen Orientierung -- 2.4.1 Migrationshintergrund -- 2.4.2 Medien -- 2.4.3 Perspektive der Jugendlichen -- 2.5 Reflexion -- 3 Empirische Studie -- 3.1 Studienaufbau -- 3.2 Sample -- 3.3 Teil I - Quantitative Fragebogenstudie -- 3.3.1 Erhebungsinstrument - Der Fragebogen -- 3.3.2 Datenerhebung -- 3.3.3 Auswertung -- 3.3.4 Zusammenfassung -- 3.4 Teil II - Qualitative Interviewstudie -- 3.4.1 Datenerhebung -- 3.4.2 Auswertung -- 3.4.3 Ergebnisse -- 4 (Politik-)didaktische Handlungsempfehlungen -- 5 Conclusio -- Anhang -- Literatur.

Sommario/riassunto

Dieses open access-Buch analysiert den Zusammenhang von Berufsorientierung und politischer Bildung von Jugendlichen. Der Anspruch der Mündigkeitsbildung stellt die Ausgangsposition für die Vorstellungsforschung subjektiver Sinnbilder über die Berufs- und Arbeitswelt von Jugendlichen in der Sekundarstufe I dar. Dabei zeichnen sich Unterschiede in den Vorstellungen entlang der Trennlinien von sozioökonomischem Hintergrund, Herkunft, Geschlecht und Schulform ab. Die empirische Studie liefert wichtige Erkenntnisse zu den Vorstellungen und Handlungsmöglichkeiten von Schüler*innen und hilft zu verstehen, wovon diese abhängen und welche didaktischen Ansätze sich für die Berufsorientierung ableiten lassen.