Search Results - "specification language"

Eine Technologie für das durchgängige und automatisierte Testen eingebetteter Software by Fischer, Till

Subjects: “…Domain specific languages…”
DOAB: download the publication
DOAB: description of the publication

Frontiers in the Acquisition of Literacy by Claire M. Fletcher-Flinn

Subjects: “…spelling and specific language impairment…”
DOAB: download the publication
DOAB: description of the publication

Metodika práce s třídním kolektivem v inkluzivní třídě se zaměřením na žáky s narušenou komunikační schopností Metodická příručka by Chleboradová, Barbora

Subjects: “…specific language impairment…”
DOAB: download the publication
DOAB: description of the publication

Zweisprachigkeit und das semantische Lexikon Gezielte, sprachspezifische Foerderung und Therapie in der Kita und Grundschule by Wahn, Claudia

Subjects: “…Specific Language Impairment (SLI)…”
DOAB: download the publication
DOAB: description of the publication

Zweisprachigkeit und das semantische Lexikon Gezielte, sprachspezifische Foerderung und Therapie in der Kita und Grundschule by Wahn, Claudia

Subjects: “…Specific Language Impairment (SLI)…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Language Development in Children: Description to Detect and Prevent Language Difficulties

Subjects: “…specific language impairment (SLI)…”
DOAB: download the publication
DOAB: description of the publication

New Research in Children with Neurodevelopmental Disorders

Subjects: “…specific language disorder…”
DOAB: download the publication
DOAB: description of the publication

Human Computer Interaction for Intelligent Systems

Subjects: “…domain-specific languages…”
DOAB: download the publication
DOAB: description of the publication

Human Computer Interaction for Intelligent Systems

Subjects: “…domain-specific languages…”
DOAB: download the publication
DOAB: description of the publication

Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates by Mostowski, Wojciech

DOAB: download the publication
DOAB: description of the publication

Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates by Mostowski, Wojciech

OAPEN Library: download the publication
OAPEN Library: description of the publication

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs.…”
Link to Metadata

تطوير نموذج تجريدي لتوصيف خصائص الشبكات المتغيرة by رضوان دندة, قاسم قبلان, سوسن يوسف

Connect to this object online.

Towards Bayesian Model-Based Demography Agency, Complexity and Uncertainty in Migration Studies / by Bijak, Jakub

Table of Contents: “…Agent-based modelling and simulation with domain-specific languages -- Part III: Model results, applications, and reflections -- Chapter 8. …”
Link to Metadata

Close Gap Test Strategies for Students with Severe Speech Impairment by Olga E. Gribova, Anna A. Almazova

Connect to this object online.

Outcome of Severe Receptive Language Disorder by J Gordon Millichap

Connect to this object online.

Broca's Area Asymmetry and Language Deficits in Autism by J Gordon Millichap

Connect to this object online.

MRI Anatomical Correlates of Reading and Language Deficits by J Gordon Millichap

Connect to this object online.

Comparing Anxiety Levels during the COVID-19 Pandemic among Mothers of Children with and without Neurodevelopmental Disorders by Ivana Bogavac, Ljiljana Jeličić, Jelena Đorđević, Ivana Veselinović, Maša Marisavljević, Miško Subotić

Connect to this object online.

The Didactic Domino in the English teaching as a foreign language and its technical application by Marisel Rivas Reyes, Raiza Texidor Pellón, Rosa María González Ramos

Connect to this object online.