Description |
1 online resource |
Series |
Lecture notes in computer science, 0302-9743 ; 7504 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7504.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
Contents |
Abstraction as a Unifying Link for Formal Approaches to Concurrency / Cliff B. Jones -- A Rule-Based and Imperative Language for Biochemical Modeling and Simulation / {Dstrok}urica Nikolić, Corrado Priami and Roberto Zunino -- Sound Control-Flow Graph Extraction for Java Programs with Exceptions / Afshin Amighi, Pedro de C. Gomes, Dilian Gurov and Marieke Huisman -- Checking Sanity of Software Requirements / Jiří Barnat, Petr Bauch and Luboš Brim -- TVAL+ : TVLA and Value Analyses Together / Pietro Ferrara, Raphael Fuchs and Uri Juhasz -- A Systematic Approach to Atomicity Decomposition in Event-B / Asieh Salehi Fathabadi, Michael Butler and Abdolbaghi Rezazadeh -- Compositional Reasoning about Shared Futures / Crystal Chang Din, Johan Dovland and Olaf Owe -- Verification of Aspectual Composition in Feature-Modeling / Qinglei Zhang, Ridha Khedri and Jason Jaskolka -- A Denotational Model for Instantaneous Signal Calculus / Yongxin Zhao, Longfei Zhu, Huibiao Zhu and Jifeng He |
|
A Timed Mobility Semantics Based on Rewriting Strategies / Gabriel Ciobanu, Maciej Koutny and Jason Steggles -- Towards a Formal Component Model for the Cloud / Roberto Di Cosmo, Stefano Zacchiroli and Gianluigi Zavattaro -- The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs / Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin and Zongyan Qiu -- Completing the Automated Verification of a Small Hypervisor -- Assembler Code Verification / Wolfgang Paul, Sabine Schmaltz and Andrey Shadrin -- A Configuration Approach for IMA Systems / Visar Januzaj, Stefan Kugele, Florian Biechele and Ralf Mauersberger -- polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries / Christian Colombo, Adrian Francalanza, Ruth Mizzi and Gordon J. Pace -- Frama-C / A Software Analysis Perspective / Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto and Julien Signoles, et al. -- An Optimization Approach for Effective Formalized fUML Model Checking / Islam Abdelhalim, Steve Schneider and Helen Treharne |
|
Efficient Probabilistic Abstraction for SysML Activity Diagrams / Samir Ouchani, Otmane Ait Mohamed and Mourad Debbabi -- ML Dependency Analysis for Assessors / Philippe Ayrault, Vincent Benayoun, Catherine Dubois and François Pessaux -- An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms / Raluca Lefticaru and Florentin Ipate -- Securely Accessing Shared Resources with Concurrent Constraint Programming / Stefano Bistarelli and Francesco Santini -- A Practical Approach for Closed Systems Formal Verification Using Event-B / Brett Bicknell, Jose Reis, Michael Butler, John Colley and Colin Snook -- Extensible Specifications for Automatic Re-use of Specifications and Proofs / Daniel Matichuk and Toby Murray -- Implementing Tactics of Refinement in CRefine / Madiel Conserva Filho and Marcel Vinicius Medeiros Oliveira -- JSXM: A Tool for Automated Test Generation / Dimitris Dranidis, Konstantinos Bratanis and Florentin Ipate -- A Low-Overhead, Value-Tracking Approach to Information Flow Security / Kostyantyn Vorobyov, Padmanabhan Krishnan and Phil Stocks |
Summary |
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods |
Analysis |
Computer science |
|
Computer Communication Networks |
|
Software engineering |
|
Logic design |
|
Artificial intelligence |
|
Logics and Meanings of Programs |
|
Programming Languages, Compilers, Interpreters |
|
Mathematical Logic and Formal Languages |
Bibliography |
Includes bibliographical references and author index |
Notes |
English |
In |
Springer eBooks |
Subject |
Software engineering -- Congresses
|
|
Formal methods (Computer science) -- Congresses
|
|
Artificial intelligence.
|
|
Electronic Data Processing
|
|
Artificial Intelligence
|
|
artificial intelligence.
|
|
Informatique.
|
|
Formal methods (Computer science)
|
|
Software engineering
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Eleftherakis, George.
|
|
Hinchey, Michael G. (Michael Gerard), 1969-
|
|
Holcombe, W. M. L. (William Michael Lloyd), 1944-
|
ISBN |
9783642338267 |
|
3642338267 |
|