>> Google Books

Software Engineering and Formal Methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. 1st ed. 2015

フォーマット:
電子ブック
責任表示:
edited by Radu Calinescu, Bernhard Rumpe
言語:
英語
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2015
形態:
XI, 369 p. 84 illus
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 9276
目次情報:
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
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
続きを見る
書誌ID:
LB00386428
ISBN:
9783319229683 [3319229680]  CiNii Books  Webcat Plus  Google Books
9783319229690 [3319229699]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Butler, Michael, Conchon, Sylvain, Zaidi, Fatiha, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Bartocci, Ezio, Majumdar, Rupak, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Lanese, Ivan, Madelaine, Eric, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Franke, Bjorn, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Havelund, Klaus, Holzmann, Gerard, Joshi, Rajeev, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Canal, Carlos, Idani, Akram, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Egyed, Alexander, Schaefer, Ina, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Pitts, Andrew, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Piterman, Nir, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Taentzer, Gabriele, Bordeleau, Francis, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Bianculli, Domenico, Calinescu, Radu, Rumpe, Bernhard, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Fantechi, Alessandro, Pelliccione, Patrizio, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer