Active Object Languages: Current Research Trends

Häftad, Engelska, 2024

AvFrank de Boer,Ferruccio Damiani,Reiner Hähnle,Einar Broch Johnsen,Eduard Kamburjan,Reiner Hahnle

1 009 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal verification.

Produktinformation

Utgivningsdatum2024-01-29
Mått155 x 235 x 21 mm
Vikt587 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor375
FörlagSpringer International Publishing AG
ISBN9783031510595

Tillhör följande kategorier

Active Objects based on Algebraic Effects.- Actor-based Designs for Distributed Self-organisation Programming.- Encore: Coda.- Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems.- A Survey of Actor-Like Programming Models for Serverless Computing.- Programming Language Implementations with Multiparty Session Types.- Modelling.- Integrated Timed Architectural Modeling/Execution Language.- Simulating User Journeys with Active Objects.- Actors Upgraded for Variability, Adaptability, and Determinism.- Analysis.- Integrating Data Privacy Compliance in Active Object Languages.- Context-aware Trace Contracts.- Type-Based Verification of Delegated Control in Hybrid Systems.- Enforced Dependencies for Active Objects.

Du kanske också är intresserad av

Formal Methods for Executable Software Models

Formal Methods for Executable Software Models

Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer

709 kr

Formal Methods for Components and Objects

Formal Methods for Components and Objects

Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue, Reiner Hahnle, Frank S. De Boer

659 kr

Machine Learning for Dynamic Software Analysis: Potentials and Limits

Machine Learning for Dynamic Software Analysis: Potentials and Limits

Amel Bennaceur, Reiner Hähnle, Karl Meinke, Reiner Hahnle

829 kr

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Reiner Hähnle, Wil van der Aalst, Reiner Hahnle, Wil Van Der Aalst, Wil Van Der Aalst

709 kr

Deductive Software Verification: Future Perspectives

Deductive Software Verification: Future Perspectives

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich, Reiner Hahnle

709 kr

Deductive Software Verification – The KeY Book

Deductive Software Verification – The KeY Book

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich, Reiner Hahnle

1 689 kr

Software Engineering and Formal Methods

Software Engineering and Formal Methods

Frank de Boer, Antonio Cerone

779 kr

Concurrency Verification

Del 54

Concurrency Verification

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers, Germany) Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, The Netherlands) Boer, Frank de (Universiteit Utrecht, The Netherlands) Hanneman, Ulrich (Katholieke Universiteit Nijmegen, The Netherlands) Hooman, Jozef (Katholieke Universiteit Nijmegen, Grenoble) Lakhnech, Yassine (Universite Joseph Fourier, The Netherlands) Poel, Mannes (University of Twente, Enschede, The Netherlands) Zwiers, Job (University of Twente, Enschede, Willem-Paul de Roever, Frank de Boer

3 949 kr

It's All About Coordination

It's All About Coordination

Frank de Boer, Marcello Bonsangue, Jan Rutten

709 kr