A mathematical model of verification strategies

[1]  Avner Engel.  Verification, Validation, and Testing of Engineered Systems: Engel/Verification , 2010 .

[2]  G. Brat,et al.  Verification of Plans and Procedures , 2008, 2008 IEEE Aerospace Conference.

[3]  Yuan-Shun Dai,et al.  Optimal testing-resource allocation with genetic algorithm for modular software systems , 2003, J. Syst. Softw..

[4]  Yoshinobu Tamura,et al.  A flexible stochastic differential equation model in distributed development environment , 2006, Eur. J. Oper. Res..

[5]  Paul Collopy,et al.  Report on the Science of Systems Engineering Workshop , 2015 .

[6]  Dava J. Newman,et al.  Shifting the emphasis: From cost models to satellite utility or revenue models: The case for a value-centric mindset in space system design , 2007 .

[7]  Paul D. Collopy.  Systems engineering theory: What needs to be done , 2015, 2015 Annual IEEE Systems Conference (SysCon) Proceedings.

[8]  J. J. Deyst,et al.  The application of estimation theory to managing risk in product developments , 2002, Proceedings. The 21st Digital Avionics Systems Conference.

[9]  Konstantinos P. Triantis,et al.  A comprehensive basis for systems engineering theory , 2014, 2014 IEEE International Systems Conference Proceedings.

[10]  Shigeru Yamada,et al.  Optimal allocation policies for testing-resource based on a software reliability growth model , 1995 .

[11]  Ronald S. Carson.  1.6.4 Requirements Completeness: A Deterministic Approach , 1998 .

[12]  Patrick T. Hester,et al.  Systems Theory as the Foundation for Understanding Systems , 2013, Syst. Eng..

[13]  Ronald S. Carson.  7.3.3 A SET THEORY MODEL FOR ANOMALY HANDLING IN SYSTEM REQUIREMENTS ANALYSIS , 1995 .

[14]  Dennis M. Buede,et al.  The Engineering Design of Systems , 2009 .

[15]  Avner Engel,et al.  A methodology for modeling VVT risks and costs , 2003 .

[16]  Frédéric Boniol,et al.  Toward a wider use of formal methods for aerospace systems design and verification , 2009, International Journal on Software Tools for Technology Transfer.

[17]  Scott Serich.  Prototype stopping rules in software development projects , 2005, IEEE Transactions on Engineering Management.

[18]  Ronald S. Carson,et al.  Requirements completeness: Absolute or relative? Comments on System function implementation and behavioral modeling[Syst Eng 4 (2001), 58-75]: Correspondence , 2001 .

[19]  Paul Collopy,et al.  Value-Driven Design , 2011 .

[20]  A. Engel,et al.  Optimizing VVT strategies: a decomposition approach , 2006, J. Oper. Res. Soc..

[21]  Reza H. Ahmadi,et al.  Time-Cost Trade-Offs in Overlapped Product Development , 2000, Oper. Res..

[22]  Avner Engel,et al.  SysTest: Improving the verification, validation, and testing process— Assessing six industrial pilot projects , 2007 .

[23]  Hoang Pham,et al.  NHPP software reliability and cost models with testing coverage , 2003, Eur. J. Oper. Res..

[24]  Min Xie,et al.  Optimal testing‐time allocation for modular systems , 2001 .

[25]  Julie S. Linsey,et al.  Design prototyping methods: state of the art in strategies, techniques, and guidelines , 2017, Design Science.

[26]  Evan L. Porteus,et al.  Optimal Timing of Reviews in Concurrent Design for Manufacturability , 1995 .

[27]  Mark Last,et al.  Modeling software testing costs and risks using fuzzy logic paradigm , 2007, J. Syst. Softw..

[28]  Paul G. Maropoulos,et al.  Design verification and validation in product lifecycle , 2010 .

[29]  Steven D. Eppinger,et al.  A Model-Based Framework to Overlap Product Development Activities , 1997 .

[30]  Alejandro Salado,et al.  Defining Better Test Strategies with Tradespace Exploration Techniques and Pareto Fronts: Application in an Industrial Project , 2015, Syst. Eng..

[31]  A. Terry Bahill,et al.  System design is an NP‐complete problem , 2001 .

[32]  Tony Shell,et al.  System function implementation and behavioral modeling: A systems theoretic approach , 2001 .

[33]  Roshanak Nilchiani,et al.  The Concept of Order of Conflict in Requirements Engineering , 2016, IEEE Systems Journal.

[34]  Roshanak Nilchiani,et al.  A Research on Measuring and Reducing Problem Complexity to Increase System Affordability: From Theory to Practice , 2015 .

[35]  Satoshi Nagano.  Space systems verification program and management process: Importance of Implementing a Distributed-Verification Program with Standardized Modular-Management Process , 2008, Syst. Eng..

[36]  Amiya K. Chakravarty,et al.  Overlapping design and build cycles in product development , 2001, Eur. J. Oper. Res..

[37]  E. Denney,et al.  Verification of autonomous systems for space applications , 2006, 2006 IEEE Aerospace Conference.

[38]  Christiaan J. J. Paredis,et al.  A Conceptual Framework for Value-Driven Design and Systems Engineering , 2014 .

[39]  Christoph H. Loch,et al.  Communication and Uncertainty in Concurrent Engineering , 1998 .

[40]  Michael J. Ryan,et al.  Category Theory as a Formal Mathematical Foundation for Model-Based Systems Engineering , 2017 .

[41]  T. Trucano,et al.  Verification, Validation, and Predictive Capability in Computational Engineering and Physics , 2004 .

[42]  Michael J. Pennock.  Defense Acquisition: A Tragedy of the Commons , 2015, Syst. Eng..

[43]  George A. Hazelrigg,et al.  A Framework for Decision-Based Engineering Design , 1998 .