Sign for Notice Everyday    Sign Up| Sign In| Link|

Our Sponsors

  • ESTA - Electronic System for Travel Authorization
Receive Latest News

Share Us

SEFM 2012 - 10th International Conference on Software Engineering and Formal Methods

View: 2461

Website | Edit Freely

Category SEFM 2012

Deadline: April 19, 2012 | Date: October 01, 2012-October 05, 2012

Venue/Country: Thessaloniki, Greece

Updated: 2012-01-04 20:00:34 (GMT+9)

Call For Papers - CFP

The aim of the conference is to bring together practitioners and researchers from academia, industry and government to advance the state of the art in formal methods, to facilitate their uptake in the software industry and to encourage their integration with practical engineering methods.

Papers that combine formal methods and software engineering are especially welcome.

Authors are invited to submit original research or tool papers on any relevant topic. These can either be normal or short papers.

Short papers can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated.

Conference Topics

Topics of interest include, but are not limited to:

formal methods technology transfer

scalable formal methods

requirement analysis and specification

software specification, verification and validation

component-based development

programming languages and type theory

formal models for service-oriented computing

web and grid computing

formal models for web services, choreography and orchestration

formal aspects of security and mobility

model checking for software and hardware systems

theorem proving and decision procedures

program analysis

real-time, hybrid and embedded systems

safety-critical and fault-tolerant systems

interactive systems and human error analysis

software architectures and their description languages

object and multi-agent systems, aspect oriented development

coordination and feature interaction

formal aspects of software evolution and maintenance

formal methods for testing, re-engineering and reuse

light-weight formal methods

CASE tools and tool integration

applications of formal methods and industrial case studies

Keywords: Accepted papers list. Acceptance Rate. EI Compendex. Engineering Index. ISTP index. ISI index. Impact Factor.
Disclaimer: ourGlocal is an open academical resource system, which anyone can edit or update. Usually, journal information updated by us, journal managers or others. So the information is old or wrong now. Specially, impact factor is changing every year. Even it was correct when updated, it may have been changed now. So please go to Thomson Reuters to confirm latest value about Journal impact factor.