Vai al contenuto principale della pagina

Software engineering and formal methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings / George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.).



(Visualizza formato Marc21)    (visualizza in BIBRAME 2.0)

Creatore: International Conference on Software Engineering and Formal Methods (10th : 2012 : Thessalonikē, Greece)
Titolo: Software engineering and formal methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings / George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.).
Link to work: Software engineering and formal methods Visualizza cluster
Pubblicazione: Berlin ; New York : Springer, ©2012
Estensione: 1 online resource.
Tipo formato: computer
Tipo contenuto: text
Tipo supporto: online resource
Disciplina: 005.1
Titolo uniforme di collana: Lecture notes in computer science ; 7504.
LNCS sublibrary. SL 2, Programming and software engineering.
Genere/Forma: Electronic books
Conference papers and proceedings
Index term-Uncontrolled: 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
Soggetto non controllato: 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
Termine d'indicizzazione-Occupazione: 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
Classificazione LOC: QA76.758 .I58 2012
Creatori/Collaboratori: Eleftherakis, George
Hinchey, Michael G. (Michael Gerard), , 1969-
Holcombe, W. M. L. (William Michael Lloyd), , 1944-
Contenuto supplementare: Includes bibliographical references and author index.
Nota di contenuto: Abstraction as a Unifying Link for Formal Approaches to Concurrency / Cliff B. Jones -- A Rule-Based and Imperative Language for Biochemical Modeling and Simulation / Đ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.
Restrizioni accesso: Access is restricted to users affiliated with licensed institutions.
Sommario/riassunto: 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.
Collana: Lecture notes in computer science, 0302-9743 ; 7504
LNCS sublibrary. SL 2, Programming and software engineering
Varianti del titolo: SEFM 2012
ISBN: 9783642338267
3642338267
9783642338250
3642338259
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 004624987
Localizzazioni e accesso elettronico https://ebookcentral.proquest.com/lib/nyulibrary-ebooks/detail.action?docID=3069966
Collocazione: Electronic access
Lo trovi qui: New York University
Altra ed. diverso supporto: Print version: International Conference on Software Engineering and Formal Methods (10th : 2012 : Thessalonikē, Greece). Software engineering and formal methods. Berlin ; New York : Springer, ©2012 9783642338250 3642338259