A Systematic Identification of Formal and Semi-Formal Languages and Techniques for Software-Intensive Systems-of-Systems Requirements Modeling
暂无分享,去创建一个
Dieter Rombach | Elisa Yumi Nakagawa | Milena Guessi | Pablo Oliveira Antonino | Cristiane Aparecida Lana | D. Rombach | E. Nakagawa | Milena Guessi | P. Antonino | C. Lana | Dieter Rombach
[1] Bernard Kamsu-Foguem,et al. A formal verification framework and associated tools for Enterprise Modeling: Application to UEML , 2006, Comput. Ind..
[2] Y. Haimes. Modeling complex systems of systems with Phantom System Models , 2012, Syst. Eng..
[3] Joaquín Nicolás,et al. On the generation of requirements specifications from software engineering models: A systematic literature review , 2009, Inf. Softw. Technol..
[4] Jakob Axelsson,et al. Systems-of-systems for border-crossing innovation in the digitized society - A strategic research and innovation agenda for Sweden , 2015 .
[5] Andreas Tolk,et al. Modeling and Simulation Support for System of Systems Engineering Applications: Rainey/Modeling and Simulation Support for System of Systems Engineering Applications , 2014 .
[6] Heather Goldsby,et al. Goal-Based Modeling of Dynamically Adaptive System Requirements , 2008, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008).
[7] Kai Petersen,et al. Considering rigor and relevance when evaluating test driven development: A systematic review , 2014, Inf. Softw. Technol..
[8] E. Nakagawa,et al. A Systematic Literature Review on Systems-of-Systems Knowledge Representation – Technical Report – , 2015 .
[9] Philippe Massonet,et al. Early verification and validation of mission critical systems , 2007, Formal Methods Syst. Des..
[10] Barry W. Boehm,et al. Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.
[11] John C. Kelly,et al. Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems Volume II: A Practitioner's Companion , 1997 .
[12] Rizwan Ahmed,et al. Simulation in business and industry: how simulation context can affect simulation practice? , 2007, SpringSim '07.
[13] Soumya Simanta,et al. Requirements engineering for systems of systems , 2009, 2009 3rd Annual IEEE Systems Conference.
[14] Azad M. Madni,et al. System of Systems Integration: Key Considerations and Challenges , 2014, Syst. Eng..
[15] Muharrem Mane,et al. Taxonomy to Guide Systems-of-Systems Decision-Making in Air Transportation Problems , 2011 .
[16] Li-Hong Zhao,et al. Scenario-Based Modeling and Verification of System Requirement Specification for the European Train Control System , 2010 .
[17] Stephen J. Garland,et al. Larch: Languages and Tools for Formal Specification , 1993, Texts and Monographs in Computer Science.
[18] Doris L. Carver,et al. Generating a requirements specifications knowledge-base , 1988, CSC '88.
[19] Dietmar P. F. Möller,et al. Systems and Software Engineering , 2016 .
[20] Muhammad Ilyas,et al. Requirements Validation Techniques: An Empirical Study , 2016 .
[21] L. Yuan,et al. Modelling and Verification of the System Requirement Specification of Train Control System Using SDL , 2011, 2011 Tenth International Symposium on Autonomous Decentralized Systems.
[22] Mark W. Maier,et al. Architecting Principles for Systems‐of‐Systems , 1996 .
[23] Daniel DeLaurentis,et al. A taxonomy-based perspective for systems of systems design methods , 2005, 2005 IEEE International Conference on Systems, Man and Cybernetics.
[24] Kai Petersen,et al. Guidelines for conducting systematic mapping studies in software engineering: An update , 2015, Inf. Softw. Technol..
[25] Antonio Piccolo,et al. Use of formal languages to represent the ERTMS/ETCS system requirements specifications , 2015, 2015 International Conference on Electrical Systems for Aircraft, Railway, Ship Propulsion and Road Vehicles (ESARS).
[26] Aneesh Krishna,et al. Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models , 2009, Inf. Softw. Technol..
[27] Lin Zhao,et al. Scenario-based modeling and verification for CTCS-3 system requirement specification , 2010, 2010 2nd International Conference on Computer Engineering and Technology.
[28] Pearl Brereton,et al. Performing systematic literature reviews in software engineering , 2006, ICSE.
[29] Jo Ann Lane,et al. Systems of systems test and evaluation challenges , 2010, 2010 5th International Conference on System of Systems Engineering.
[30] Bernard P. Zeigler,et al. Towards a framework for more robust validation and verification of simulation models for systems of systems , 2016 .
[31] Thomas Parisini,et al. Systems of Systems , 2011 .
[32] Axel van Lamsweerde,et al. Formal specification: a roadmap , 2000, ICSE '00.
[33] Bruno Dutertre,et al. Avionics Systems Requirements: A Comparison of RSML and SCR , 2002 .
[34] Jan Peleska,et al. Systems of Systems Engineering , 2015 .
[35] Jose J. Padilla,et al. System of Systems Engineering Requirements: Challenges and Guidelines , 2008 .
[36] Cornelius Ncube,et al. Identifying top challenges for international research on requirements engineering for systems of systems engineering , 2013, 2013 21st IEEE International Requirements Engineering Conference (RE).
[37] Flávio Oquendo,et al. Investigating the Model-Driven Development for Systems-of-Systems , 2014, ECSAW '14.
[38] Rabia Sammi,et al. Formal specification languages for real-time systems , 2010, 2010 International Symposium on Information Technology.
[39] Riaan van der Watt,et al. Healthcare Facility Commissioning – The Transition of Clinical Services , 2016 .
[40] Markus Lumpe,et al. KBRE: a framework for knowledge-based requirements engineering , 2014, Software Quality Journal.
[41] TovalAmbrosio,et al. On the generation of requirements specifications from software engineering models , 2009 .
[42] Darren Cofer,et al. Formal Methods Case Studies for DO-333 , 2014 .
[43] K Srivas Mandayam,et al. Formal Verification of an Avionics Microprocessor , 1995 .
[44] Zhi-xue Wang,et al. A quality requirements model and verification approach for system of systems based on description logic , 2017, Frontiers of Information Technology & Electronic Engineering.
[45] Claes Wohlin,et al. Experimentation in Software Engineering , 2012, Springer Berlin Heidelberg.
[46] Jo Ann Lane,et al. What is a System of Systems and Why Should I Care , 2013 .
[47] Per Runeson,et al. Can we evaluate the quality of software engineering experiments? , 2010, ESEM '10.
[48] Cornelius Ncube. On the engineering of systems of systems: Key challenges for the Requirements Engineering community , 2011, 2011 Workshop on Requirements Engineering for Systems, Services and Systems-of-Systems.
[49] Jim Cunningham,et al. Proving properties of a safety-critical system , 1991, Softw. Eng. J..
[50] Jing Liu,et al. Safety Requirements Specification and Verification for Railway Interlocking Systems , 2016, 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC).
[51] Monika Singh. Comparison of the Formal Specification Languages Based Upon Various Parameters , 2013 .
[52] A.K.Sharma Dr. A.K.Sharma. Comparison of the Formal Specification Languages Based Upon Various Parameters , 2013 .
[53] Lichen Zhang,et al. Modeling large scale complex cyber physical control systems based on system of systems engineering approach , 2014, 2014 20th International Conference on Automation and Computing.
[54] Andreas Tolk,et al. Overview and Introduction to Modeling and Simulation Support for System of Systems Engineering Applications , 2014 .
[55] Randy Gene Walker. A method to define requirements for system of systems , 2014 .
[56] Vojislav B. Misic,et al. Formal specifications in software development : An overview , 1997 .
[57] Ricardo Pineda,et al. Integration, Verification, Validation, Test, and Evaluation (IVVT&E) Framework for System of Systems (SoS) , 2013, Complex Adaptive Systems.
[58] Grzegorz Rozenberg,et al. Handbook of Formal Languages , 1997, Springer Berlin Heidelberg.
[59] Mark W. Maier,et al. The Role of Modeling and Simulation in System of Systems Development , 2014 .
[60] Ahmed Elfatatry,et al. Detecting defects in software requirements specification , 2014 .
[61] Barry W. Boehm,et al. Verifying and Validating Software Requirements and Design Specifications , 1989, IEEE Software.
[62] M. Petró‐Turza,et al. The International Organization for Standardization. , 2003 .
[63] Cristina Cachero,et al. Requirements modeling languages for software product lines: A systematic literature review , 2016, Inf. Softw. Technol..
[64] Dov Dori,et al. Systems Modeling Languages: OPM Versus SysML , 2007, 2007 International Conference on Systems Engineering and Modeling.
[65] Sanford Friedenthal,et al. A Practical Guide to SysML: The Systems Modeling Language , 2008 .
[66] Natalia Juristo Juzgado,et al. Developing search strategies for detecting relevant experiments , 2009, Empirical Software Engineering.
[67] Lichen Zhang,et al. Aspect-Oriented Formal Techniques of Cyber Physical Systems , 2012, J. Softw..
[68] Daniel DeLaurentis,et al. Development Interdependency Modeling for System-of-Systems (SoS) using Bayesian Networks: SoS Management Strategy Planning , 2013, CSER.
[69] Donald Firesmith. Profiling Systems Using the Defining Characteristics of Systems of Systems (SoS) , 2010 .
[70] Matthias Jarke,et al. The brave new world of design requirements , 2011, Inf. Syst..
[71] J.S. Dahmann,et al. Understanding the Current State of US Defense Systems of Systems and the Implications for Systems Engineering , 2008, 2008 2nd Annual IEEE Systems Conference.
[72] Robyn R. Lutz,et al. Experiences Using Formal Methods for Requirements Modeling , 1996 .
[73] Nacereddine Zarour,et al. Challenge of validation in requirements engineering , 2016, J. Innov. Digit. Ecosyst..
[74] Aneesh Krishna,et al. A Case Study of Combining I* Framework and the Z Notation , 2004, ICEIS.
[75] Eric Honour,et al. Verification and Validation Issues in Systems of Systems , 2013, AiSoS.