Fundamentals of Software Engineering

6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers

AvMehdi Dastani,Marjan Sirjani

Häftad, Engelska, 2015

Del 9392 i serien Lecture Notes in Computer Science

572 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

1 727 kr

572 kr

798 kr

685 kr

1 588 kr

572 kr

572 kr

572 kr

572 kr

Beskrivning

This book constitutes the thoroughly refereed post-conference proceedings of the 6th IPM International Conference on Fundamentals of Software Engineering, FSEN 2015, held in Tehran, Iran, in April 2015.The 21 full papers presented in this volume were carefully reviewed and selected from 64 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques.

Produktinformation

Utgivningsdatum:2015-11-12
Mått:155 x 235 x 21 mm
Vikt:504 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:317
Upplaga:15001
Förlag:Springer International Publishing AG
ISBN:9783319246437

Utforska kategorier

Programvaruutveckling inom Data och IT
Artificiell intelligens inom Data och IT
Programspråk inom Data och IT

Innehållsförteckning

Towards Smart Systems of Systems.- Automated Integration of Service-oriented Software Systems.- Software Architecture Modeling and Evaluation Based on Stochastic.- Applicative Bisimulation and Quantum Lambda-Calculi.- A Theory of Integrating Tamper Evidence with Stabilization.- A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-based Distributed Systems.- Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems.- Benchmarks for Parity Games.- A behavioral theory for a pi-calculus with preorders.- Incremental Realization of Safety Requirements: Non-Determinism vs. Modularity.- Analyzing Mutable Checkpointing.- High Performance Computing Applications using Parallel Data Processing Units.- Improved Iterative Methods for Verifying Markov Decision Processes.- A Pre-congruence Format for XY-simulation.- Tooled Process for Early Validation of SysML Models using Modelica Simulation.- Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?.- Painless support for static and runtime verification of component-based Applications.- Linear Evolution of Domain Architecture in Service-Oriented Software Product Lines.- An Interval-Based Approach to Modelling Time in Event-B.- From Event-B Models to Dafny Code Contracts.

Mer från samma författare

Multi-Agent Programming

Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni

Inbunden, 2005

1 701 kr

Multi-Agent Programming

Amal El Fallah Seghrouchni, Jurgen Dix, Mehdi Dastani, Rafael H. Bordini

E-bok

2005

2 127 kr

Multi-Agent Programming:

Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni

Inbunden, 2009

1 701 kr

Multi-Agent Programming:

Amal El Fallah Seghrouchni, Jurgen Dix, Mehdi Dastani, Rafael H. Bordini

E-bok

2009

1 634 kr

Multi-Agent Programming

Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni

Häftad, 2010

1 702 kr

Specification and Verification of Multi-agent Systems

Mehdi Dastani, Koen V. Hindriks, John-Jules Meyer

Inbunden, 2010

1 702 kr

Specification and Verification of Multi-agent Systems

John-Jules Meyer, Koen V. Hindriks, Mehdi Dastani

E-bok

2010

2 105 kr

Multi-Agent Programming:

Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni

Häftad, 2014

1 250 kr

Specification and Verification of Multi-agent Systems

Mehdi Dastani, Koen V. Hindriks, John-Jules Meyer

Häftad, 2014

1 702 kr

Del 11873

PRIMA 2019: Principles and Practice of Multi-Agent Systems

Matteo Baldoni, Mehdi Dastani, Beishui Liao, Yuko Sakurai, Rym Zalila Wenkstern

Häftad, 2019

1 137 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

555 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

933 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 024 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

933 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Du kanske också är intresserad av

10% rabatt på allt

Exit Adventskalender - Julens magi (SE)

Exit

499 kr

Del 10522