FormReq'19: FORMal REQuirements @RE'19 |
Website | https://www.irit.fr/FORMREQ19/ |
Submission link | https://easychair.org/conferences/?conf=formreq19 |
Submission deadline | July 15, 2019 |
Camera Ready submission | August 8, 2019 |
The goal of FormReq19 will be to bring together industrial practitioners (both convinced and skeptical) as well as researchers to discuss the good practices, the remaining challenges, of using for- mal approaches to express and manage requirements.
In particular, we will focus on the following themes:
-
State-of-the-art in formal approaches to requirements
-
New ideas and techniques for formal requirements engineering
-
Industrial applications of formal approaches
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference. The following paper are welcome:
- Full papers from 5 to 7 pages.
- Work-in-progress papers and practitioners’ reports will be particularly encouraged to both attract industrial authors and to allow as much discussions and brainstorming activities during the workshop.
Important Dates
- July 5, 2019: Paper submission deadline
- July 25, 2019: Acceptance/Rejection Notification
- Aug. 8, 2019: Camera Ready submission
List of Topics
• Constrained Natural Languages for requirements
• Formal approaches to support traceability
• Adapted formal approaches, frameworks, or processes for requirements
• Domain-specific Requirements Modeling Languages
• Evaluation and comparison of requirements languages, techniques and tools
• Requirements Verification & Validation
• Pattern matching in requirements
• AI and formal requirements elicitation
• Survey on the-state-of-the-art
• Case studies of industrial application
• Tools and prototypes for Formal Requirements
Committees
Program Committee Chairs
- Sophie Ebersold, U. of Toulouse, France
- Régine Laleau, U. of Paris Créteil, France
- Manuel Mazzara, Innopolis University, Russia
Program committee
- Manzoor Ahmad, U. of Pau, France
- Adil Anwar, Mohammadia School of Engineers, Morocco
- Antonio Bucchiarone, Fondazione Bruno Kessler, Italy
- Nicola Dragoni, Technical University of Denmark, Denmark
- Marc Frappier, univ Sherbrooke, Quebec
- Christophe Gnaho, U. Paris-Est Créteil, France
- Susanne Graf, VERIMAG, France
- Hernán Melgratti, University of Buenos Aires, Argentina
- Bertrand Meyer, Politecnico di Milano, Italy
- Shin Nakajima, NII, Japan
- Thuy Nguyen, EDF R&D, France
- Christophe Ponsard, CETIC, Belgium
- Victor Rivera, Innopolis University, Russia
- Andrey Sadovykh, Innopolis University, Russia
Invited Speakers
-
Jean-Michel Bruel, IRIT, Toulouse, France - "Formality in software requirements"
-
Daniel M. Berry, Cheriton School of Computer Science, University of Waterloo, Canada - “The Requirements Engineering Reference Model: A Fundamental Impediment to Using Formal Methods in Software Systems Development”
Publication
FORMREQ19 proceedings would be published by Springer Lecture Notes in Computer Science
Venue
The conference will be held in conjunction with RE'19, in Jeju Island, South Korea
Contact
All questions about submissions should be emailed to sophie.ebersold@irit.fr