Model Integrated Decomposition and Assisted Specification (MIDAS)

[1]  Mats Per Erik Heimdahl,et al.  Safety and Software Intensive Systems: Challenges Old and New , 2007, Future of Software Engineering (FOSE '07).

[2]  Jean-Luc Voirin,et al.  Augmenting requirements with models to improve the articulation between system engineering levels and optimize V&V practices , 2019 .

[3]  Jeremy Dick,et al.  The Need for an Information‐based Approach for Requirement Development and Management , 2019, INCOSE International Symposium.

[4]  Devesh Bhatt,et al.  Towards Scalable Verification of Commercial Avionics Software , 2010 .

[5]  Alistair Mavin,et al.  Easy Approach to Requirements Syntax (EARS) , 2009, 2009 17th IEEE International Requirements Engineering Conference.

[6]  Louis Fabre,et al.  Property Model Methodology: A Landing Gear Operational Use Case , 2018, INCOSE International Symposium.

[7]  Alistair Mavin,et al.  Listens Learned (8 Lessons Learned Applying EARS) , 2016, 2016 IEEE 24th International Requirements Engineering Conference (RE).

[8]  Dov Dori,et al.  Model-Based System Specification With Tesperanto: Readable Text From Formal Graphics , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[9]  Håkan Sivencrona,et al.  Byzantine Fault Tolerance, from Theory to Reality , 2003, SAFECOMP.

[10]  Dov Dori,et al.  Modelling Off-the-Shelf Information Systems Requirements: An Ontological Approach , 2001, Requirements Engineering.

[11]  Amro M. Farid,et al.  An Engineering Systems Introduction to Axiomatic Design , 2016 .

[12]  Mark Dowson,et al.  The Ariane 5 software failure , 1997, SOEN.

[13]  Gopal Gupta,et al.  Goal-directed execution of answer set programs , 2012, PPDP.

[14]  G. B. Finelli,et al.  The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software , 1993, IEEE Trans. Software Eng..

[15]  Brendan Hall.  A CLEAR Adoption of EARS , 2018, 2018 1st International Workshop on Easy Approach to Requirements Syntax (EARS).

[16]  Alistair Mavin,et al.  Big Ears (The Return of "Easy Approach to Requirements Engineering") , 2010, 2010 18th IEEE International Requirements Engineering Conference.