Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012)

Fuyuki Ishikawa,Alexander Romanovsky

DOI: https://doi.org/10.48550/arXiv.1211.2259

2012-11-09

Software Engineering

Abstract:These proceedings include papers presented at the Workshop on "The experience of and advances in developing dependable systems in Event-B" held on November 13, 2012 as part of the ICFEM 2012 (Kyoto, Japan).

What problem does this paper attempt to address?

Proceedings Second International Workshop on Formal Integrated Development Environment

Catherine Dubois,Paolo Masci,Dominique Méry

DOI: https://doi.org/10.4204/EPTCS.187

2015-08-14

Abstract:This volume contains the proceedings of F-IDE 2015, the second international workshop on Formal Integrated Development Environment, which was held as an FM 2015 satellite event, on June 22, 2015, in Oslo (Norway). High levels of safety, security and also privacy standards require the use of formal methods to specify and develop compliant software (sub)systems. Any standard comes with an assessment process, which requires a complete documentation of the application in order to ease the justification of design choices and the review of code and proofs. Thus tools are needed for handling specifications, program constructs and verification artifacts. The aim of the F-IDE workshop is to provide a forum for presenting and discussing research efforts as well as experience returns on design, development and usage of formal IDE aiming at making formal methods "easier" for both specialists and non-specialists.

Programming Languages,Logic in Computer Science
Proceedings 1st Workshop on Formal Integrated Development Environment

Catherine Dubois,Dimitra Giannakopoulou,Dominique Méry

DOI: https://doi.org/10.4204/EPTCS.149

2014-04-23

Abstract:This volume contains the proceedings of F-IDE 2014, the first international workshop on Formal Integrated Development Environment, which was held as an ETAPS 2014 satellite event, on April 6, 2014, in Grenoble (France). High levels of safety, security and also privacy standards require the use of formal methods to specify and develop compliant software (sub)systems. Any standard comes with an assessment process, which requires a complete documentation of the application in order to ease the justification of design choices and the review of code and proofs. Thus tools are needed for handling specifications, program constructs and verification artifacts. The aim of the F-IDE workshop is to provide a forum for presenting and discussing research efforts as well as experience returns on design, development and usage of formal IDE aiming at making formal methods "easier" for both specialists and non-specialists.

Software Engineering,Logic in Computer Science,Programming Languages
Proceedings of the Third Workshop on Formal Integrated Development Environment

Catherine Dubois,Paolo Masci,Dominique Méry

DOI: https://doi.org/10.4204/EPTCS.240

2017-01-27

Abstract:This volume contains the proceedings of F-IDE 2016, the third international workshop on Formal Integrated Development Environment, which was held as an FM 2016 satellite event, on November 8, 2016, in Limassol (Cyprus). High levels of safety, security and also privacy standards require the use of formal methods to specify and develop compliant software (sub)systems. Any standard comes with an assessment process, which requires a complete documentation of the application in order to ease the justification of design choices and the review of code and proofs. Thus tools are needed for handling specifications, program constructs and verification artifacts. The aim of the F-IDE workshop is to provide a forum for presenting and discussing research efforts as well as experience returns on design, development and usage of formal IDE aiming at making formal methods "easier" for both specialists and non-specialists.

Programming Languages,Logic in Computer Science,Software Engineering
Proceedings of the 6th Workshop on Formal Integrated Development Environment

José Proença,Andrei Paskevich

DOI: https://doi.org/10.4204/EPTCS.338

2021-08-05

Abstract:This volume contains the proceedings of F-IDE 2021, the sixth international workshop on Formal Integrated Development Environment, which was held online on May 24-25, 2021, as part of NFM'21, the 13th NASA Formal Methods Symposium. High levels of safety, security and privacy standards require the use of formal methods to specify and develop compliant software (sub)systems. Any standard comes with an assessment process, which requires a complete documentation of the application in order to ease the justification of design choices and the review of code and proofs. Thus tools are needed for handling specifications, program constructs and verification artifacts. The aim of the F-IDE workshop is to provide a forum for presenting and discussing research efforts as well as experience returns on design, development and usage of formal IDE aiming at making formal methods more accessible for both specialists and non-specialists.

Software Engineering,Logic in Computer Science,Programming Languages
Proceedings 2nd Workshop on Formal Methods in the Development of Software

César Andrés,Luis Llana

DOI: https://doi.org/10.4204/EPTCS.86

2012-07-08

Abstract:This volume contains the proceedings of the 2nd WorkShop on Formal Methods in the Development of Software (WS-FMDS 2012). The workshop was held in Paris, France on August 30th, 2012 as a satellite event to the 18th International Symposium on Formal Methods (FM-2012). The aim of WS-FMDS 2012 is to provide a forum for researchers who are interested in the application of formal methods on systems which are being developing with a software methodology. In particular, this workshop is intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. This workshop also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

Software Engineering,Logic in Computer Science
Proceedings 4th Workshop on Formal Integrated Development Environment

Paolo Masci,Rosemary Monahan,Virgile Prevosto

DOI: https://doi.org/10.4204/EPTCS.284

2018-11-22

Abstract:This volume contains the proceedings of F-IDE 2018, the fourth international workshop on Formal Integrated Development Environment, which was held as a FLoC 2018 satellite event, on July 14, 2018, in Oxford, England. High levels of safety, security and also privacy standards require the use of formal methods to specify and develop compliant software (sub)systems. Any standard comes with an assessment process, which requires a complete documentation of the application in order to ease the justification of design choices and the review of code and proofs. Thus tools are needed for handling specifications, program constructs and verification artifacts. The aim of the F-IDE workshop is to provide a forum for presenting and discussing research efforts as well as experience returns on design, development and usage of formal IDE aiming at making formal methods "easier" for both specialists and non-specialists.

Programming Languages,Logic in Computer Science,Software Engineering
2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops

Diego di Bernardo,Ting Fung Chan,Jake Chen,Xin Chen,Xuewen Chen,Yidong Chen,Xiaodong Cheng,H Gue Cho,Young-Rae Cho,Francisco Couto,Ramana V Davuluri,Lin Gao,Pietro Hiram Guzzi,Chuhsing Kate Hsiao,Hui-Huang Hsu,Luke Jun Huan,Kun Huang,Yufei Huang,Rui Jiang,William Klement,Guo-Zheng Li,Bo Luo,Martin Michalowski,Jurg Ott,Quan Pan,Taesung Park,Linda Pattini,Brian Potetz,Xiaofeng Song,Dympna O'Sullivan,Hao Sun,Vincent S Tseng,Yiqin Wang,FangXiang Wu,Dan Xi,Siu Ming Yiu,Shaowu Zhang,Zhongming Zhao,Huiru Zheng

2010-01-01

Abstract:The papers in this book comprise the proceedings of the meeting mentioned on the cover and title page. They reflect the authors' opinions and, in the interests of timely dissemination, are published as presented and without change. Their inclusion in this publication does not necessarily constitute endorsement by the editors, the IEEE Computer Society, or the Institute of Electrical and Electronics Engineers, Inc.
Proceedings 15th International Refinement Workshop

John Derrick,Eerke Boiten,Steve Reeves

DOI: https://doi.org/10.4204/EPTCS.55

2011-06-17

Abstract:Refinement is one of the cornerstones of a formal approach to software engineering: the process of developing a more detailed design or implementation from an abstract specification through a sequence of mathematically-based steps that maintain correctness with respect to the original specification. The aim of this BCS FACS Refinement Workshop, is to bring together people who are interested in the development of more concrete designs or executable programs from abstract specifications using formal notations, tool support for formal software development, and practical experience with formal refinement methodologies. The purpose of the workshop is to provide a forum for the exchange of ideas, and discussion of common ground and key differences. This 15th workshop continued a 20 year tradition in refinement workshops run under the auspices of the British Computer Society (BCS) FACS special interest group. After the first seven editions had been held in the UK, in 1998 it was combined with the Australasian Refinement Workshop to form the International Refinement Workshop, hosted at The Australian National University. Six more editions have followed in a variety of locations, all with electronic published proceedings and associated journal special issues.

Software Engineering,Logic in Computer Science
Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems

Peter Csaba Ölveczky,Cyrille Artho

DOI: https://doi.org/10.4204/EPTCS.105

2012-12-29

Abstract:This volume contains the proceedings of the First International Workshop of Formal Techniques for Safety-Critical Systems (FTSCS 2012), held in Kyoto on November 12, 2012, as a satellite event of the ICFEM conference. The aim of this workshop is to bring together researchers and engineers interested in the application of (semi-)formal methods to improve the quality of safety-critical computer systems. FTSCS is particularly interested in industrial applications of formal methods. Topics include: - the use of formal methods for safety-critical and QoS-critical systems, including avionics, automotive, and medical systems; - methods, techniques and tools to support automated analysis, certification, debugging, etc.; - analysis methods that address the limitations of formal methods in industry; - formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc.; and - code generation from validated models. The workshop received 25 submissions; 21 of these were regular papers and 4 were tool/work-in-progress/position papers. Each submission was reviewed by three referees; based on the reviews and extensive discussions, the program committee selected nine regular papers, which are included in this volume. Our program also included an invited talk by Ralf Huuck.

Logic in Computer Science,Software Engineering,Systems and Control
Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures

Barbora Buhnova,Lucia Happe,Jan Kofroň

DOI: https://doi.org/10.48550/arXiv.1302.4780

2013-02-20

Software Engineering

Abstract:These are the proceedings of the 10th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA). The workshop was held on March 23, 2013 in Rome (Italy) as a satellite event to the European Joint Conference on Theory and Practice of Software (ETAPS'13). The aim of the FESCA workshop is to bring together both young and senior researchers from formal methods, software engineering, and industry interested in the development and application of formal modelling approaches as well as associated analysis and reasoning techniques with practical benefits for component-based software engineering. FESCA aims to address the open question of how formal methods can be applied effectively to these new contexts and challenges. FESCA is interested in both the development and application of formal methods in component-based development and tries to cross-fertilize their research and application.
Proceedings 4th International Workshop on Engineering Safety and Security Systems

Jun Pang,Yang Liu,Sjouke Mauw

DOI: https://doi.org/10.48550/arXiv.1506.03250

2015-06-10

Software Engineering

Abstract:The present volume contains the proceedings of the Fourth International Workshop on Engineering Safety and Security Systems (ESSS'15). The workshop was held in Oslo, Norway, on June 22nd, 2015, as a satellite event of the 20th International Symposium on Formal Methods (FM'15).
Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures

Bara Buhnova,Lucia Happe,Jan Kofroň

DOI: https://doi.org/10.4204/EPTCS.147

2014-04-02

Abstract:The aim of the FESCA workshop is to bring together both young and senior researchers from formal methods, software engineering, and industry interested in the development and application of formal modelling approaches as well as associated analysis and reasoning techniques with practical benefits for component-based software engineering. Component-based software design has received considerable attention in industry and academia in the past decade. In recent years, with the emergence of new platforms (such as smartphones), new areas advocating software correctness along with new challenges have appeared. These include development of new methods and adapting existing ones to accommodate unique features of the platforms, such as inherent distribution, openness, and continuous migration. On the other hand, with the growing power of computers, more and more is possible with respect to practical applicability of modelling and specification methods as well as verification tools to real-life software, i.e, to scale to more complex systems. FESCA aims to address the open question of how formal methods can be applied effectively to these new contexts and challenges. The workshop is interested in both the development and application of formal methods in component-based development and tries to cross-fertilize their research and application.

Software Engineering
Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures

Jan Kofroň,Jana Tumova

DOI: https://doi.org/10.48550/arXiv.1703.06590

2017-03-20

Software Engineering

Abstract:These are the proceedings of the 14th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA). The workshop was held on April 22, 2017 in Uppsala (Sweden) as a satellite event to the European Joint Conference on Theory and Practice of Software (ETAPS'17). The aim of the FESCA workshop is to bring together junior researchers from formal methods, software engineering, and industry interested in the development and application of formal modelling approaches as well as associated analysis and reasoning techniques with practical benefits for software engineering. In recent years, the growing importance of functional correctness and the increased relevance of system quality properties (e.g. performance, reliability, security) have stimulated the emergence of analytical and modelling techniques for the design and development of software systems. With the increasing complexity and utilization of today's software systems, FESCA aims at addressing two research questions: (1) what role is played by the software design phase in the systematic addressing of the analytical and modelling challenges, and (2) how can formal and semi-formal techniques be effectively applied to make the issues easier to address automatically, with lower human intervention.
Proceedings of the 2012 International Conference on Information Technology and Software Engineering: Information Technology & Computing Intelligence

Wei Lu,Guoqiang Cai,Weibin Liu,Weiwei Xing

2012-01-01

Abstract:Proceedings of the 2012 International Conference on Information Technology and Software Engineering presents selected articles from this major event, which was held in Beijing, December 8-10, 2012. This book presents the latest research trends, methods and experimental results in the fields of information technology and software engineering, covering various state-of-the-art research theories and approaches. The subjects range from intelligent computing to information processing, software engineering, Web, unified modeling language (UML), multimedia, communication technologies, system identification, graphics and visualizing, etc. The proceedings provide a major interdisciplinary forum for researchers and engineers to present the most innovative studies and advances, which can serve as an excellent reference work for researchers and graduate students working on information technology and software engineering. Prof. Wei Lu, Dr. Guoqiang Cai, Prof. Weibin Liu and Dr. Weiwei Xing all work at Beijing Jiaotong University.
Proceedings of the 2012 International Conference on Information Technology and Software Engineering: Software Engineering & Digital Media Technology

Wei Lu,Guoqiang Cai,Weibin Liu,Weiwei Xing

2012-01-01

Abstract:Proceedings of the 2012 International Conference on Information Technology and Software Engineering presents selected articles from this major event, which was held in Beijing, December 8-10, 2012. This book presents the latest research trends, methods and experimental results in the fields of information technology and software engineering, covering various state-of-the-art research theories and approaches. The subjects range from intelligent computing to information processing, software engineering, Web, unified modeling language (UML), multimedia, communication technologies, system identification, graphics and visualizing, etc. The proceedings provide a major interdisciplinary forum for researchers and engineers to present the most innovative studies and advances, which can serve as an excellent reference work for researchers and graduate students working on information technology and software engineering. Prof. Wei Lu, Dr. Guoqiang Cai, Prof. Weibin Liu and Dr. Weiwei Xing all work at Beijing Jiaotong University.
Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures

Jana Kofroň,Jana Tumova,Bara Buhnova

DOI: https://doi.org/10.4204/EPTCS.205

2016-03-28

Abstract:The aim of the FESCA workshop is to bring together junior researchers from formal methods, software engineering, and industry interested in the development and application of formal modelling approaches as well as associated analysis and reasoning techniques with practical benefits for software engineering. In recent years, the growing importance of functional correctness and the increased relevance of system quality properties (e.g. performance, reliability, security) have stimulated the emergence of analytical and modelling techniques for the design and development of software systems. With the increasing complexity and utilization of today's software systems, FESCA aims at addressing two research questions: (1) what role is played by the software design phase in the systematic addressing of the analytical and modelling challenges, and (2) how can formal and semi-formal techniques be effectively applied to make the issues easier to address automatically, with lower human intervention. We encourage submissions on (semi-)formal techniques and their application that aid analysis, design and implementation of software applications, especially those employed in interconnected, communicating devices, devices interacting with the physical world, and cyber-physical systems.

Software Engineering
AAAI-07 Workshop Reports.

Sarabjot Singh Anand,Daniel Bahls,Catherina Burghart,Mark H. Burstein,Huajun Chen,John Collins,Thomas G. Dietterich,Jon Doyle,Chris Drummond,William Elazmeh,Christopher W. Geib,Judy Goldsmith,Hans W. Guesgen,Jim Hendler,Dietmar Jannach,Nathalie Japkowicz,Ulrich Junker,Gal A. Kaminka,Alfred Kobsa,Jérôme Lang,David B. Leake,Lundy Lewis,Gerard Ligozat,Sofus A. Macskassy,Drew V. McDermott,Ted Metzler,Bamshad Mobasher,Ullas Nambiar,Zaiqing Nie,Klas Orsvärn,Barry O'Sullivan,David V. Pynadath,Jochen Renz,Rita V. Rodríguez,Thomas Roth-Berghofer,Stefan Schulz,Rudi Studer,Yimin Wang,Michael P. Wellman

DOI: https://doi.org/10.1609/aimag.v28i4.2071

2007-01-01

Abstract:The AAAI‐07 workshop program was held Sunday and Monday, July 22–23, in Vancouver, British Columbia, Canada. The program included the following thirteen workshops: (1) Acquiring Planning Knowledge via Demonstration; (2) Configuration; (3) Evaluating Architectures for Intelligence; (4) Evaluation Methods for Machine Learning; (5) Explanation‐Aware Computing; (6) Human Implications of Human‐Robot Interaction; (7) Intelligent Techniques for Web Personalization; (8) Plan, Activity, and Intent Recognition; (9) Preference Handling for Artificial Intelligence; (10) Semantic e‐Science; (11) Spatial and Temporal Reasoning; (12) Trading Agent Design and Analysis; and (13) Information Integration on the Web.
2012 International Workshop on Data Intensive Services Based Application (DISA2012).

Ying Li,ShuiGuang Deng,Guoray Cai,Yuyu Yin

DOI: https://doi.org/10.1007/978-3-642-37804-1_9

2013-01-01

Abstract:null
Proceedings 13th International Workshop on Developments in Computational Models

Sandra Alves,Ian Mackie

DOI: https://doi.org/10.4204/EPTCS.408

2024-09-28

Abstract:This volume contains the proceedings of DCM 2023, the 13th International Workshop on Developments in Computational Models held on 2 July 2023 in Rome, Italy. DCM 2023 was organised as a one-day satellite event of FSCD 2023, the 8th International Conference on Formal Structures for Computation and Deduction. The aim of this workshop is to bring together researchers who are currently developing new computation models or new features for traditional computation models, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area.

Logic in Computer Science,Programming Languages,Symbolic Computation
Proceedings of the Second International Workshop on Software Engineering for Embedded Systems

He (Jason) Zhang,Liming Zhu,Ihor Kuz

2012-01-01

Abstract:With the proliferation of embedded ubiquitous systems in all aspects of human life, the embedded systems world has become a fast growing industry. Embedded systems have to rely on high quality hardware as well as high quality software. Software development for embedded systems is often a complex undertaking and fundamentally different from that of non-embedded systems. Complexity arises from the need to co-design and create software at low-level of abstraction that also interacts closely with hardware with strong emphasis on dependability and mission-critical real-time constraints. Compared to traditional software development, the increasing complexity also exacerbates challenges in embedded software development processes, such as troubles in achieving sufficient product quality and timely delivery. In order to tackle these challenges in embedded software development, industry needs to apply software engineering technologies that are appropriate for specific situations. The 2nd International Workshop on Software Engineering for Embedded Systems (SEES 2012) Workshop, in conjunction with International Conference on Software Engineering (ICSE 2012) in Zurich, Switzerland, aims to provide researchers and practitioners an international forum to discuss the issues, challenges in adopting software engineering methods for embedded systems development. Further, the overall goal of the workshop is to identify the research opportunities and develop a research agenda to tackle the challenges.

Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012)

Proceedings Second International Workshop on Formal Integrated Development Environment

Proceedings 1st Workshop on Formal Integrated Development Environment

Proceedings of the Third Workshop on Formal Integrated Development Environment

Proceedings of the 6th Workshop on Formal Integrated Development Environment

Proceedings 2nd Workshop on Formal Methods in the Development of Software

Proceedings 4th Workshop on Formal Integrated Development Environment

2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops

Proceedings 15th International Refinement Workshop

Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems

Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures

Proceedings 4th International Workshop on Engineering Safety and Security Systems

Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures

Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures

Proceedings of the 2012 International Conference on Information Technology and Software Engineering: Information Technology & Computing Intelligence

Proceedings of the 2012 International Conference on Information Technology and Software Engineering: Software Engineering & Digital Media Technology

Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures

AAAI-07 Workshop Reports.

2012 International Workshop on Data Intensive Services Based Application (DISA2012).

Proceedings 13th International Workshop on Developments in Computational Models

Proceedings of the Second International Workshop on Software Engineering for Embedded Systems