Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings: Lecture Notes in Computer Science, cartea 9276
Editat de Radu Calinescu, Bernhard Rumpeen Limba Engleză Paperback – 21 aug 2015
The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.
Din seria Lecture Notes in Computer Science
- 20% Preț: 1061.55 lei
- 20% Preț: 307.71 lei
- 20% Preț: 438.69 lei
- 20% Preț: 645.28 lei
- Preț: 410.88 lei
- 15% Preț: 580.46 lei
- 17% Preț: 427.22 lei
- 20% Preț: 596.46 lei
- Preț: 381.21 lei
- 20% Preț: 353.50 lei
- 20% Preț: 1414.79 lei
- 20% Preț: 309.90 lei
- 20% Preț: 583.40 lei
- 20% Preț: 1075.26 lei
- 20% Preț: 310.26 lei
- 20% Preț: 655.02 lei
- 20% Preț: 580.93 lei
- 20% Preț: 340.32 lei
- 15% Preț: 438.59 lei
- 20% Preț: 591.51 lei
- 20% Preț: 649.49 lei
- 20% Preț: 337.00 lei
- Preț: 449.57 lei
- 20% Preț: 607.39 lei
- 20% Preț: 1024.44 lei
- 20% Preț: 579.30 lei
- 20% Preț: 763.23 lei
- 20% Preț: 453.32 lei
- 20% Preț: 575.48 lei
- 20% Preț: 585.88 lei
- 20% Preț: 825.93 lei
- 20% Preț: 763.23 lei
- 17% Preț: 360.19 lei
- 20% Preț: 1183.14 lei
- 20% Preț: 340.32 lei
- 20% Preț: 504.57 lei
- 20% Preț: 369.12 lei
- 20% Preț: 583.40 lei
- 20% Preț: 343.62 lei
- 20% Preț: 350.21 lei
- 20% Preț: 764.89 lei
- 20% Preț: 583.40 lei
- Preț: 389.48 lei
- 20% Preț: 341.95 lei
- 20% Preț: 238.01 lei
- 20% Preț: 538.29 lei
Preț: 336.67 lei
Preț vechi: 420.84 lei
-20% Nou
Puncte Express: 505
Preț estimativ în valută:
64.43€ • 66.86$ • 53.85£
64.43€ • 66.86$ • 53.85£
Carte tipărită la comandă
Livrare economică 15-29 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783319229683
ISBN-10: 3319229680
Pagini: 369
Ilustrații: XI, 369 p. 84 illus.
Dimensiuni: 155 x 235 x 32 mm
Greutate: 0.54 kg
Ediția:1st ed. 2015
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering
Locul publicării:Cham, Switzerland
ISBN-10: 3319229680
Pagini: 369
Ilustrații: XI, 369 p. 84 illus.
Dimensiuni: 155 x 235 x 32 mm
Greutate: 0.54 kg
Ediția:1st ed. 2015
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering
Locul publicării:Cham, Switzerland
Public țintă
ResearchCuprins
Invited Papers.- Reasoning about Separation using Abstraction and Reification.- An Interface Theory for the Internet of Things.- Program Verification.- Learning Assertions to Verify Linked-List Programs.- Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications.- Specification and Verification of Atomic Operations in GPGPU Programs.- History-based Verification of Functional Behaviour of Concurrent Programs.- Investigating Instrumentation Techniques for ESB Runtime Verification.- Towards Domain Refinement for UML/OCL Bounded Verification.- Testing.- Efficient Testing of Different Loop Paths.- Model-Based Robustness Testing in Event-B using Mutation.- On the Testability of Properties Patterns.- Certification.- Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning.- Formal Analysis of Proactive, Distributed Routing.- Certification of Distributed Algorithms Solving Problems with Optimal Substructure.- Formal Specification and Proof.- From Failure to Proof: The ProB Disprover for B and Event-B.- Formalizing a Secure Foreign Function Interface.- A Formal Study of Backward Compatible Dynamic Software Updates.- Testing and Model Checking.- Memory Management Test-Case Generation of C Programs using Bounded Model Checking.- Techniques for Memory-Efficient Model Checking of C and C++ Code.- NAT2TEST Tool: from Natural Language Requirements to Test Cases based on CSP.- Planning.- Task Planning of Cyber-Human Systems.- Generating None-Plans in Order to Find Plans.- Modelling and Model Transformation Twitlang(er): interactions modeling language (and interpreter) for Twitter.- From Featured Transition Systems to Modal Transition Systems with Variability Constraints.- An extensible operational semantics for UML activity diagrams.
Textul de pe ultima copertă
This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.
The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.
The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.
Caracteristici
Includes supplementary material: sn.pub/extras