• Kannan H. (2024). A Formal Metric to Measure Inconsistencies in Stakeholder Preferences in Systems Engineering. Systems Engineering. 10.1002/sys.21801.

    https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.21801

  • Xu F, Zhou T, Nguyen T, Bao H, Lin C and Du J. (2024). Integrating Augmented Reality and LLM for Enhanced Cognitive Support in Critical Audio Communications. International Journal of Human-Computer Studies. 10.1016/j.ijhcs.2024.103402. (103402). Online publication date: 1-Nov-2024.

    https://linkinghub.elsevier.com/retrieve/pii/S107158192400185X

  • Gärtner A and Göhlich D. (2024). Automated requirement contradiction detection through formal logic and LLMs. Automated Software Engineering. 31:2. Online publication date: 1-Nov-2024.

    https://doi.org/10.1007/s10515-024-00452-x

  • Fazelnia M, Mirakhorli M and Bagheri H. Translation Titans, Reasoning Challenges: Satisfiability-Aided Language Models for Detecting Conflicting Requirements. Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering. (2294-2298).

    https://doi.org/10.1145/3691620.3695302

  • Chen X, Jin Z, Zhang M, Mallet F, Liu X and Zhou T. (2024). A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems. IEEE Transactions on Intelligent Transportation Systems. 25:8. (8375-8386). Online publication date: 1-Aug-2024.

    https://doi.org/10.1109/TITS.2024.3418864

  • Lorch R, Meng B, Siu K, Moitra A, Durling M, Paul S, Varanasi S and Mcmillan C. Formal Methods in Requirements Engineering: Survey and Future Directions. Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE). (88-99).

    https://doi.org/10.1145/3644033.3644373

  • Henkel E, Hauff N, Langenfeld V, Eber L and Podelski A. (2024). Systematic adaptation and investigation of the understandability of a formal pattern language. Requirements Engineering. 29:1. (3-23). Online publication date: 1-Mar-2024.

    https://doi.org/10.1007/s00766-024-00417-2

  • Anwer S, Wen L, Hassan M, Wang Z, Al-Awady A and Ali Y. BERDD: A Behaviour Engineering-Based Approach for Requirements Defects Detection. IEEE Access. 10.1109/ACCESS.2024.3365352. 12. (24368-24386).

    https://ieeexplore.ieee.org/document/10433139/

  • Drozda P, Żmijewski T, Osowski M, Krasnodębska A and Talun A. (2023). Goal— oriented conversational bot for employment domain. Technical Sciences. 10.31648/ts.9333. 26.

    https://czasopisma.uwm.edu.pl/index.php/ts/article/view/9333

  • Sin C and Kim Y. (2022). TimeLine Depiction: an approach to graphical notation for supporting temporal property specification. Innovations in Systems and Software Engineering. 19:3. (319-335). Online publication date: 1-Sep-2023.

    https://doi.org/10.1007/s11334-022-00501-2

  • Franch X, Palomares C, Quer C, Chatzipetrou P and Gorschek T. (2023). The state-of-practice in requirements specification: an extended interview study at 12 companies. Requirements Engineering. 28:3. (377-409). Online publication date: 1-Sep-2023.

    https://doi.org/10.1007/s00766-023-00399-7

  • Gnezdilova A, Garanina N, Staroletov S and Zyubin V. (2023). Towards Controlled Natural Language for Event-Driven Temporal Requirements 2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM). 10.1109/EDM58354.2023.10225047. 979-8-3503-3687-0. (1860-1865).

    https://ieeexplore.ieee.org/document/10225047/

  • Koscinski V, Hashemi S and Mirakhorli M. On-Demand Security Requirements Synthesis with Relational Generative Adversarial Networks. Proceedings of the 45th International Conference on Software Engineering. (1609-1621).

    https://doi.org/10.1109/ICSE48619.2023.00139

  • Keim J, Corallo S, Fuchß D and Koziolek A. (2023). Detecting Inconsistencies in Software Architecture Documentation Using Traceability Link Recovery 2023 IEEE 20th International Conference on Software Architecture (ICSA). 10.1109/ICSA56044.2023.00021. 979-8-3503-9749-9. (141-152).

    https://ieeexplore.ieee.org/document/10092702/

  • Rajpathak D, Peranandam P and Ramesh S. (2022). Automatic development of requirement linking matrix based on semantic similarity for robust software development. Journal of Systems and Software. 186:C. Online publication date: 1-Apr-2022.

    https://doi.org/10.1016/j.jss.2021.111211

  • Dar H, Imtiaz S, Lali M and Zhang D. (2022). Reducing Requirements Ambiguity via Gamification. Computational Intelligence and Neuroscience. 2022. Online publication date: 1-Jan-2022.

    https://doi.org/10.1155/2022/3183411

  • Huang F. (2021). Software Requirement Criteria based on Human Errors 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). 10.1109/ISSREW53611.2021.00047. 978-1-6654-2603-9. (77-82).

    https://ieeexplore.ieee.org/document/9700206/

  • Koscinski V, Gambardella C, Gerstner E, Zappavigna M, Cassetti J and Mirakhorli M. (2021). A Natural Language Processing Technique for Formalization of Systems Requirement Specifications 2021 IEEE 29th International Requirements Engineering Conference Workshops (REW). 10.1109/REW53955.2021.00062. 978-1-6654-1898-0. (350-356).

    https://ieeexplore.ieee.org/document/9582360/

  • Liu C, Zhao Z, Zhang L and Li Z. (2021). Automated Conditional Statements Checking for Complete Natural Language Requirements Specification. Applied Sciences. 10.3390/app11177892. 11:17. (7892).

    https://www.mdpi.com/2076-3417/11/17/7892

  • Dalpiaz F, Gieske P and Sturm A. (2021). On deriving conceptual models from user requirements: An empirical study. Information and Software Technology. 10.1016/j.infsof.2020.106484. 131. (106484). Online publication date: 1-Mar-2021.

    https://linkinghub.elsevier.com/retrieve/pii/S0950584920302263

  • Kannan H. (2020). Formal reasoning of knowledge in systems engineering through epistemic modal logic. Systems Engineering. 10.1002/sys.21563. 24:1. (3-16). Online publication date: 1-Jan-2021.

    https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.21563

  • van Zee M, Bex F and Ghanavati S. RationalGRL: A framework for argumentation and goal modeling. Argument & Computation. 10.3233/AAC-200527. (1-55).

    https://www.medra.org/servlet/aliasResolver?alias=iospress&doi=10.3233/AAC-200527

  • Xiong W, Wu Z, Li B and Hang B. (2020). Automating Mashup Service Recommendation via Semantic and Structural Features. Mathematical Problems in Engineering. 10.1155/2020/4960439. 2020. (1-10). Online publication date: 12-Aug-2020.

    https://www.hindawi.com/journals/mpe/2020/4960439/

  • Wang F, Yang Z, Huang Z, Liu C, Zhou Y, Bodeveix J and Filali M. An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models. IEEE Transactions on Reliability. 10.1109/TR.2019.2936072. 69:1. (154-173).

    https://ieeexplore.ieee.org/document/8834826/

  • Kannan H, Bhatia G, Mesmer B and Jantzen B. (2019). Theoretical Foundations for Preference Representation in Systems Engineering. Systems. 10.3390/systems7040055. 7:4. (55).

    https://www.mdpi.com/2079-8954/7/4/55

  • Liebel G, Tichy M and Knauss E. (2019). Use, potential, and showstoppers of models in automotive requirements engineering. Software and Systems Modeling (SoSyM). 18:4. (2587-2607). Online publication date: 1-Aug-2019.

    https://doi.org/10.1007/s10270-018-0683-4

  • Hadar I, Zamansky A and Berry D. (2019). The inconsistency between theory and practice in managing inconsistency in requirements engineering. Empirical Software Engineering. 10.1007/s10664-019-09718-5.

    http://link.springer.com/10.1007/s10664-019-09718-5

  • Strass H, Wyner A and Diller M. (2019). EMIL: Extracting Meaning from Inconsistent Language. International Journal of Approximate Reasoning. 10.1016/j.ijar.2019.04.010. Online publication date: 1-May-2019.

    https://linkinghub.elsevier.com/retrieve/pii/S0888613X18300793

  • Caramujo J, Rodrigues Da Silva A, Monfared S, Ribeiro A, Calado P and Breaux T. (2019). RSL-IL4Privacy. Requirements Engineering. 24:1. (1-26). Online publication date: 1-Mar-2019.

    https://doi.org/10.1007/s00766-018-0305-2

  • Marurngsith W and Weawsawangwong P. Applying Formal Logic Validation to Enhance Natural Language Understanding. Proceedings of the 2019 8th International Conference on Software and Computer Applications. (380-384).

    https://doi.org/10.1145/3316615.3316688

  • (2019). Software inspections. International Journal of Computer Applications in Technology. 59:4. (296-317). Online publication date: 1-Jan-2019.

    /doi/10.5555/3337425.3337428

  • Arruda D, Marinho M, Souza E and Wanderley F. (2019). A Chatbot for Goal-Oriented Requirements Modeling. Computational Science and Its Applications – ICCSA 2019. 10.1007/978-3-030-24305-0_38. (506-519).

    http://link.springer.com/10.1007/978-3-030-24305-0_38

  • Ferrari A, Gori G, Rosadini B, Trotta I, Bacherini S, Fantechi A and Gnesi S. (2018). Detecting requirements defects with NLP patterns. Empirical Software Engineering. 23:6. (3684-3733). Online publication date: 1-Dec-2018.

    https://doi.org/10.1007/s10664-018-9596-7

  • Xiong W, Lu Z, Li B, Hang B and Wu Z. (2018). Automating smart recommendation from natural language API descriptions via representation learning. Future Generation Computer Systems. 87:C. (382-391). Online publication date: 1-Oct-2018.

    https://doi.org/10.1016/j.future.2018.05.006

  • Salado A and Nilchiani R. The Tension Matrix and the Concept of Elemental Decomposition: Improving Identification of Conflicting Requirements. IEEE Systems Journal. 10.1109/JSYST.2015.2423658. 11:4. (2128-2139).

    http://ieeexplore.ieee.org/document/7112099/

  • Arora C, Sabetzadeh M, Briand L and Zimmer F. Automated Extraction and Clustering of Requirements Glossary Terms. IEEE Transactions on Software Engineering. 10.1109/TSE.2016.2635134. 43:10. (918-945).

    http://ieeexplore.ieee.org/document/7765062/

  • Elrakaiby Y, Ferrari A, Spoletini P, Gnesi S and Nuseibeh B. (2017). Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews 2017 IEEE 25th International Requirements Engineering Conference (RE). 10.1109/RE.2017.27. 978-1-5386-3191-1. (51-60).

    http://ieeexplore.ieee.org/document/8048890/

  • Diamantopoulos T, Roth M, Symeonidis A and Klein E. (2017). Software requirements as an application domain for natural language processing. Language Resources and Evaluation. 51:2. (495-524). Online publication date: 1-Jun-2017.

    https://doi.org/10.1007/s10579-017-9381-z

  • Anthonysamy P, Rashid A and Chitchyan R. Privacy requirements. Proceedings of the 39th International Conference on Software Engineering: Software Engineering in Society Track. (13-22).

    https://doi.org/10.1109/ICSE-SEIS.2017.3

  • Kamalrudin M, Hosking J and Grundy J. (2017). MaramaAIC. Automated Software Engineering. 24:1. (1-45). Online publication date: 1-Mar-2017.

    https://doi.org/10.1007/s10515-016-0192-z

  • Ding Z, Jiang M and Zhou M. (2016). Generating Petri Net-Based Behavioral Models From Textual Use Cases and Application in Railway Networks. IEEE Transactions on Intelligent Transportation Systems. 17:12. (3330-3343). Online publication date: 1-Dec-2016.

    https://doi.org/10.1109/TITS.2016.2518745

  • Liu S, Sun J, Xiao H, Wadhwa B, Dong J and Wang X. (2016). Improving Quality of Use Case Documents through Learning and User Interaction 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS). 10.1109/ICECCS.2016.021. 978-1-5090-5526-5. (101-110).

    http://ieeexplore.ieee.org/document/7816574/

  • Wang Y, Jiang B and Wang T. (2016). Using Workflow Patterns to Model and Validate Service Requirements 2016 IEEE 24th International Requirements Engineering Conference Workshops (REW). 10.1109/REW.2016.053. 978-1-5090-3694-3. (281-288).

    http://ieeexplore.ieee.org/document/7815636/

  • Nguyen T, Grundy J and Almorsy M. (2016). Ontology-based automated support for goal---use case model analysis. Software Quality Journal. 24:3. (635-673). Online publication date: 1-Sep-2016.

    https://doi.org/10.1007/s11219-015-9281-7

  • Ferrari A, Spoletini P and Gnesi S. (2016). Ambiguity and tacit knowledge in requirements elicitation interviews. Requirements Engineering. 21:3. (333-355). Online publication date: 1-Sep-2016.

    https://doi.org/10.1007/s00766-016-0249-3

  • Liu C. (2016). CDNFRE. Computer Standards & Interfaces. 47:C. (62-76). Online publication date: 1-Aug-2016.

    https://doi.org/10.1016/j.csi.2016.03.002

  • Xiong W, Wu Z, Li B, Gu Q, Yuan L and Hang B. (2016). Inferring Service Recommendation from Natural Language API Descriptions 2016 IEEE International Conference on Web Services (ICWS). 10.1109/ICWS.2016.48. 978-1-5090-2675-3. (316-323).

    http://ieeexplore.ieee.org/document/7558017/

  • Salado A and Nilchiani R. The Concept of Order of Conflict in Requirements Engineering. IEEE Systems Journal. 10.1109/JSYST.2014.2315597. 10:1. (25-35).

    http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=6807513

  • MASUDA S, MATSUODANI T and TSUDA K. (2016). Detecting Logical Inconsistencies by Clustering Technique in Natural Language Requirements. IEICE Transactions on Information and Systems. 10.1587/transinf.2015KBP0005. E99.D:9. (2210-2218).

    https://www.jstage.jst.go.jp/article/transinf/E99.D/9/E99.D_2015KBP0005/_article

  • Arora C, Sabetzadeh M, Briand L and Zimmer F. (2015). Automated Checking of Conformance to Requirements Templates Using Natural Language Processing. IEEE Transactions on Software Engineering. 41:10. (944-968). Online publication date: 1-Oct-2015.

    https://doi.org/10.1109/TSE.2015.2428709

  • Salado A and Nilchiani R. (2015). A Set of Heuristics to Support Early Identification of Conflicting Requirements. INCOSE International Symposium. 10.1002/j.2334-5837.2015.00062.x. 25:1. (266-279). Online publication date: 1-Oct-2015.

    https://incose.onlinelibrary.wiley.com/doi/10.1002/j.2334-5837.2015.00062.x

  • Bano M. Addressing the challenges of requirements ambiguity. Proceedings of the 2015 IEEE Fifth International Workshop on Empirical Requirements Engineering (EmpiRE). (21-24).

    https://doi.org/10.1109/EmpiRE.2015.7431303

  • Borgida A, Jureta I and Zamansky A. (2015). Towards a general formal framework of Coherence Management in RE 2015 IEEE 23rd International Requirements Engineering Conference (RE). 10.1109/RE.2015.7320436. 978-1-4673-6905-3. (274-277).

    http://ieeexplore.ieee.org/document/7320436/

  • Arora C, Sabetzadeh M, Goknil A, Briand L and Zimmer F. (2015). Change impact analysis for Natural Language requirements: An NLP approach 2015 IEEE 23rd International Requirements Engineering Conference (RE). 10.1109/RE.2015.7320403. 978-1-4673-6905-3. (6-15).

    http://ieeexplore.ieee.org/document/7320403/

  • Zhang S and Ernst M. Proactive detection of inadequate diagnostic messages for software configuration errors. Proceedings of the 2015 International Symposium on Software Testing and Analysis. (12-23).

    https://doi.org/10.1145/2771783.2771817

  • Yue T, Briand L and Labiche Y. (2015). aToucan. ACM Transactions on Software Engineering and Methodology. 24:3. (1-52). Online publication date: 13-May-2015.

    https://doi.org/10.1145/2699697

  • Sengupta S, Ramnani R, Das S and Chandran A. Verb-based Semantic Modelling and Analysis of Textual Requirements. Proceedings of the 8th India Software Engineering Conference. (30-39).

    https://doi.org/10.1145/2723742.2723745

  • Salado A and Nilchiani R. (2015). A Research on Measuring and Reducing Problem Complexity to Increase System Affordability: From Theory to Practice. Procedia Computer Science. 10.1016/j.procs.2015.03.037. 44. (21-30).

    https://linkinghub.elsevier.com/retrieve/pii/S1877050915002732

  • Sharma R and Biswas K. (2015). Generating Logical Representations for Natural Language Requirements Using Syntactic Dependencies and Norm Analysis Patterns. Natural Language Processing and Information Systems. 10.1007/978-3-319-19581-0_42. (432-436).

    https://link.springer.com/10.1007/978-3-319-19581-0_42

  • Madaan N, Krishna P and Karlapalem K. Consistency detection in e-contract documents. Proceedings of the 8th International Conference on Theory and Practice of Electronic Governance. (267-274).

    https://doi.org/10.1145/2691195.2691249

  • Liu S, Sun J, Liu Y, Zhang Y, Wadhwa B, Dong J and Wang X. Automatic early defects detection in use case documents. Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering. (785-790).

    https://doi.org/10.1145/2642937.2642969

  • Chentouf Z. (2014). Managing OAM&P requirement conflicts. Journal of King Saud University - Computer and Information Sciences. 26:3. (296-307). Online publication date: 1-Sep-2014.

    https://doi.org/10.1016/j.jksuci.2014.03.004

  • Ninaus G, Reinfrank F, Stettinger M and Felfernig A. (2014). Content-based recommendation techniques for requirements engineering 2014 IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering (AIRE). 10.1109/AIRE.2014.6894853. 978-1-4799-6355-3. (27-34).

    http://ieeexplore.ieee.org/document/6894853/

  • Ott D and Houdek F. (2014). Automatic Requirement Classification: Tackling Inconsistencies Between Requirements and Regulations. International Journal of Semantic Computing. 10.1142/S1793351X14500020. 08:01. (47-65). Online publication date: 1-Mar-2014.

    http://www.worldscientific.com/doi/abs/10.1142/S1793351X14500020

  • Manrique Losada B and Zapata Jaramillo C. (2014). Transforming natural language into controlled language in requirements elicitation: a pre-conceptual-schema-based conceptual synthesis. Revista Facultad de Ingeniería Universidad de Antioquia. 10.17533/udea.redin.18657:70. (132-145).

    https://revistas.udea.edu.co/index.php/ingenieria/article/view/18657

  • Beyhl T, Berg G and Giese H. (2014). Connecting Designing and Engineering Activities. Design Thinking Research. 10.1007/978-3-319-01303-9_11. (153-182).

    https://link.springer.com/10.1007/978-3-319-01303-9_11

  • Arora C, Sabetzadeh M, Briand L, Zimmer F and Gnaga R. (2013). Automatic Checking of Conformance to Requirement Boilerplates via Text Chunking: An Industrial Case Study 2013 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM). 10.1109/ESEM.2013.13. 978-0-7695-5056-5. (35-44).

    http://ieeexplore.ieee.org/document/6681336/

  • Rosenkranz C, Charaf M and Holten R. (2013). Language Quality in Requirements Development: Tracing Communication in the Process of Information Systems Development. Journal of Information Technology. 10.1057/jit.2012.33. 28:3. (198-223). Online publication date: 1-Sep-2013.

    https://journals.sagepub.com/doi/10.1057/jit.2012.33

  • Mu K, Jin Z, Liu W, Zowghi D and Wei B. (2013). Measuring the significance of inconsistency in the Viewpoints framework. Science of Computer Programming. 10.1016/j.scico.2012.12.006. 78:9. (1572-1599). Online publication date: 1-Sep-2013.

    https://linkinghub.elsevier.com/retrieve/pii/S0167642312002213

  • Pandita R, Xiao X, Yang W, Enck W and Xie T. WHYPER. Proceedings of the 22nd USENIX conference on Security. (527-542).

    /doi/10.5555/2534766.2534812

  • Mahmood S and Ajila S. Software Requirements Elicitation -- A Controlled Experiment to Measure the Impact of a Native Natural Language. Proceedings of the 2013 IEEE 37th Annual Computer Software and Applications Conference. (437-442).

    https://doi.org/10.1109/COMPSAC.2013.72

  • Sateli B, Angius E and Witte R. The ReqWiki Approach for Collaborative Software Requirements Engineering with Integrated Text Analysis Support. Proceedings of the 2013 IEEE 37th Annual Computer Software and Applications Conference. (405-414).

    https://doi.org/10.1109/COMPSAC.2013.68

  • Gabrysiak G, Eichler D, Hebig R and Giese H. (2013). Consistent stakeholder modifications of formal models via a natural language representation 2013 1st International Workshop on Natural Language Analysis in Software Engineering (NaturaLiSE). 10.1109/NAturaLiSE.2013.6611714. 978-1-4673-6271-9. (1-8).

    http://ieeexplore.ieee.org/document/6611714/

  • Ott D. Automatic requirement categorization of large natural language specifications at mercedes-benz for review improvements. Proceedings of the 19th international conference on Requirements Engineering: Foundation for Software Quality. (50-64).

    https://doi.org/10.1007/978-3-642-37422-7_4

  • WANG Y, YANG X, CHANG C and KAVS A. (2013). Improving Natural Language Requirements Quality Using Workflow Patterns. IEICE Transactions on Information and Systems. 10.1587/transinf.E96.D.2065. E96.D:9. (2065-2074).

    http://jlc.jst.go.jp/DN/JST.JSTAGE/transinf/E96.D.2065?lang=en&from=CrossRef&type=abstract

  • Mu K, Hong J, Jin Z and Liu W. (2013). From inconsistency handling to non-canonical requirements management. International Journal of Approximate Reasoning. 54:1. (109-131). Online publication date: 1-Jan-2013.

    https://doi.org/10.1016/j.ijar.2012.07.006

  • Sharma R and Biswas K. (2013). A Semi-automated Approach towards Handling Inconsistencies in Software Requirements. Evaluation of Novel Approaches to Software Engineering. 10.1007/978-3-642-45422-6_10. (142-156).

    http://link.springer.com/10.1007/978-3-642-45422-6_10

  • Rolland C. (2013). Conceptual Modeling and Natural Language Analysis. Seminal Contributions to Information Systems Engineering. 10.1007/978-3-642-36926-1_4. (57-61).

    http://link.springer.com/10.1007/978-3-642-36926-1_4

  • Knauss E and Meyer S. (2013). Experience-Based Requirements Engineering Tools. Managing Requirements Knowledge. 10.1007/978-3-642-34419-0_15. (333-351).

    https://link.springer.com/10.1007/978-3-642-34419-0_15

  • Sharma R and Biswas K. (2013). Resolving Inconsistency and Incompleteness Issues in Software Requirements. Managing Requirements Knowledge. 10.1007/978-3-642-34419-0_11. (245-263).

    https://link.springer.com/10.1007/978-3-642-34419-0_11

  • Liu C and Yang H. (2012). Applying ontology-based blog to detect information system post-development change requests conflicts. Information Systems Frontiers. 14:5. (1019-1032). Online publication date: 1-Dec-2012.

    https://doi.org/10.1007/s10796-011-9314-0

  • Cimatti A, Roveri M, Susi A and Tonetta S. (2013). Validation of requirements for hybrid systems. ACM Transactions on Software Engineering and Methodology. 21:4. (1-34). Online publication date: 1-Nov-2012.

    https://doi.org/10.1145/2377656.2377659

  • Casamayor A, Godoy D and Campo M. (2012). Mining textual requirements to assist architectural software design. Artificial Intelligence Review. 38:3. (173-191). Online publication date: 1-Oct-2012.

    https://doi.org/10.1007/s10462-011-9237-7

  • Ott D and Raschke A. (2012). Review improvement by requirements classification at Mercedes-Benz: Limits of empirical studies in educational environments 2012 IEEE Second International Workshop on Empirical Requirements Engineering (EmpiRE). 10.1109/EmpiRE.2012.6347677. 978-1-4673-4365-7. (1-8).

    http://ieeexplore.ieee.org/document/6347677/

  • Bagheri E, Ensan F and Gasevic D. (2012). Decision support for the software product line domain engineering lifecycle. Automated Software Engineering. 19:3. (335-377). Online publication date: 1-Sep-2012.

    https://doi.org/10.1007/s10515-011-0099-7

  • Pandita R, Xiao X, Zhong H, Xie T, Oney S and Paradkar A. Inferring method specifications from natural language API descriptions. Proceedings of the 34th International Conference on Software Engineering. (815-825).

    /doi/10.5555/2337223.2337319

  • Pandita R, Xiao X, Zhong H, Xie T, Oney S and Paradkar A. (2012). Inferring method specifications from natural language API descriptions 2012 34th International Conference on Software Engineering (ICSE 2012). 10.1109/ICSE.2012.6227137. 978-1-4673-1066-6. (815-825).

    http://ieeexplore.ieee.org/document/6227137/

  • Fakeih A and Kattan A. Recurrent genetic algorithms. Proceedings of the 12th European conference on Evolutionary Computation in Combinatorial Optimization. (230-242).

    https://doi.org/10.1007/978-3-642-29124-1_20

  • Bruni E, Ferrari A, Seyff N and Tolomei G. Automatic analysis of multimodal requirements. Proceedings of the 18th international conference on Requirements Engineering: foundation for software quality. (218-224).

    https://doi.org/10.1007/978-3-642-28714-5_19

  • Santiago Júnior V and Vijaykumar N. (2012). Generating model-based test cases from natural language requirements for space application software. Software Quality Journal. 20:1. (77-143). Online publication date: 1-Mar-2012.

    https://doi.org/10.1007/s11219-011-9155-6

  • Mu K, Liu W and Jin Z. (2012). A Blame-Based Approach to Generating Proposals for Handling Inconsistency in Software Requirements. International Journal of Knowledge and Systems Science. 3:1. (1-17). Online publication date: 1-Jan-2012.

    https://doi.org/10.4018/jkss.2012010101

  • Mahalakshmi G and Geetha T. Requirements Elicitation by Defect Elimination. Software and Intelligent Sciences. 10.4018/978-1-4666-0261-8.ch021. (372-391).

    http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-0261-8.ch021

  • Mu K and Jin Z. An approach to generating proposals for handling inconsistent software requirements. Proceedings of the 5th international conference on Knowledge Science, Engineering and Management. (32-43).

    https://doi.org/10.1007/978-3-642-25975-3_4

  • Zhong H, Zhang L, Xie T and Mei H. (2011). Inferring specifications for resources from natural language API documentation. Automated Software Engineering. 18:3-4. (227-261). Online publication date: 1-Dec-2011.

    https://doi.org/10.1007/s10515-011-0082-3

  • Kamalrudin M and Grundy J. Generating essential user interface prototypes to validate requirements. Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering. (564-567).

    https://doi.org/10.1109/ASE.2011.6100126

  • Mu K, Liu W, Jin Z, Hong J and Bell D. (2011). Managing software requirements changes based on negotiation-style revision. Journal of Computer Science and Technology. 26:5. (890-907). Online publication date: 1-Sep-2011.

    /doi/10.5555/2336266.2336280

  • Mu K, Liu W, Jin Z, Hong J and Bell D. (2011). Managing Software Requirements Changes Based on Negotiation-Style Revision. Journal of Computer Science and Technology. 10.1007/s11390-011-0187-y. 26:5. (890-907). Online publication date: 1-Sep-2011.

    http://link.springer.com/10.1007/s11390-011-0187-y

  • Zowghi D and Bargi A. Software versus IT Service. Proceedings of the 2011 22nd International Workshop on Database and Expert Systems Applications. (31-35).

    https://doi.org/10.1109/DEXA.2011.76

  • Kof L and Penzenstadler B. From requirements to models. Proceedings of the 23rd international conference on Advanced information systems engineering. (93-107).

    /doi/10.5555/2026716.2026729

  • Bagheri E and Ensan F. Consolidating multiple requirement specifications through argumentation. Proceedings of the 2011 ACM Symposium on Applied Computing. (659-666).

    https://doi.org/10.1145/1982185.1982332

  • Ding Z and Jiang M. (2011). Model Driven Synthesis of Behavioral Models from Textual Use Cases. Informatics in Control, Automation and Robotics. 10.1007/978-3-642-25899-2_96. (713-717).

    https://link.springer.com/10.1007/978-3-642-25899-2_96

  • Kof L and Penzenstadler B. (2011). From Requirements to Models: Feedback Generation as a Result of Formalization. Active Flow and Combustion Control 2018. 10.1007/978-3-642-21640-4_9. (93-107).

    http://link.springer.com/10.1007/978-3-642-21640-4_9

  • Winkler S and Pilgrim J. (2010). A survey of traceability in requirements engineering and model-driven development. Software and Systems Modeling (SoSyM). 9:4. (529-565). Online publication date: 1-Sep-2010.

    https://doi.org/10.1007/s10270-009-0145-0

  • Liu C. Ontology-Based Conflict Analysis Method in Non-functional Requirements. Proceedings of the 2010 IEEE/ACIS 9th International Conference on Computer and Information Science. (491-496).

    https://doi.org/10.1109/ICIS.2010.26

  • Liu C. (2010). CDADE. Knowledge-Based Systems. 23:6. (536-546). Online publication date: 1-Aug-2010.

    https://doi.org/10.1016/j.knosys.2010.03.011

  • Zowghi D and Jin Z. A Framework for the Elicitation and Analysis of Information Technology Service Requirements and Their Alignment with Enterprise Business Goals. Proceedings of the 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops. (269-272).

    https://doi.org/10.1109/COMPSACW.2010.54

  • Kamalrudin M, Grundy J and Hosking J. Managing Consistency between Textual Requirements, Abstract Interactions and Essential Use Cases. Proceedings of the 2010 IEEE 34th Annual Computer Software and Applications Conference. (327-336).

    https://doi.org/10.1109/COMPSAC.2010.40

  • Casamayor A, Godoy D and Campo M. (2010). Identification of non-functional requirements in textual specifications. Information and Software Technology. 52:4. (436-445). Online publication date: 1-Apr-2010.

    https://doi.org/10.1016/j.infsof.2009.10.010

  • Bagheri E and Ghorbani A. (2010). The analysis and management of non-canonical requirement specifications through a belief integration game. Knowledge and Information Systems. 22:1. (27-64). Online publication date: 1-Jan-2010.

    /doi/10.5555/3225646.3225861

  • Kof L. From Textual Scenarios to Message Sequence Charts. Artificial Intelligence Applications for Improved Software Engineering Development. 10.4018/978-1-60566-758-4.ch005. (83-105).

    http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-60566-758-4.ch005

  • Xu C, Cheung S, Chan W and Ye C. (2010). Partial constraint checking for context consistency in pervasive computing. ACM Transactions on Software Engineering and Methodology. 19:3. (1-61). Online publication date: 1-Jan-2010.

    https://doi.org/10.1145/1656250.1656253

  • Bagheri E and Ghorbani A. (2009). The analysis and management of non-canonical requirement specifications through a belief integration game. Knowledge and Information Systems. 10.1007/s10115-008-0187-6. 22:1. (27-64). Online publication date: 1-Jan-2010.

    http://link.springer.com/10.1007/s10115-008-0187-6

  • Queiroz R and Silva J. (2009). Eliciação e comunicação de requisitos em domínios disjuntos: estudo de caso para automação na área médica. Sba: Controle & Automação Sociedade Brasileira de Automatica. 10.1590/S0103-17592009000400014. 20:4. (637-651). Online publication date: 1-Dec-2009.

    http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0103-17592009000400014&lng=pt&tlng=pt

  • Mu K, Zhang Q and Jin Z. Verifying Software Requirements Based on Answer Set Programming. Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management. (263-274).

    https://doi.org/10.1007/978-3-642-10488-6_27

  • Kof L. Scenario Analysis. Proceedings of the 2009 Fourth International Workshop on Requirements Engineering Visualization. (21-30).

    https://doi.org/10.1109/REV.2009.5

  • Mu K, Liu W, Jin Z, Lu R, Yue A and Bell D. (2009). Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging. Fundamenta Informaticae. 91:3-4. (631-670). Online publication date: 1-Aug-2009.

    /doi/10.5555/2362688.2362700

  • Mu K, Liu W, Jin Z, Lu R, Yue A and Bell D. (2009). Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging. Fundamenta Informaticae. 91:3-4. (631-670). Online publication date: 1-Aug-2009.

    /doi/10.5555/1551775.1551787

  • González M, Penichet V, Simari G and Tesoriero R. Development of CSCW Interfaces from a User-Centered Viewpoint. Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009. (955-964).

    https://doi.org/10.1007/978-3-642-02806-9_109

  • Liu C. Ontology-Based Requirements Conflicts Analysis in Activity Diagrams. Proceedings of the International Conference on Computational Science and Its Applications: Part II. (1-12).

    https://doi.org/10.1007/978-3-642-02457-3_1

  • Kof L. Requirements analysis. Proceedings of the 14th international conference on Applications of Natural Language to Information Systems. (79-90).

    https://doi.org/10.1007/978-3-642-12550-8_7

  • Kof L. Translation of Textual Specifications to Automata by Means of Discourse Context Modeling. Proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality. (197-211).

    https://doi.org/10.1007/978-3-642-02050-6_17

  • Yan Y, Li S and Liu X. Quantitative Analysis for Requirements Evolution's Ripple-Effect. Proceedings of the 2009 International Asia Conference on Informatics in Control, Automation and Robotics. (423-427).

    https://doi.org/10.1109/CAR.2009.74

  • Bugayenko Y. (2009). Method for Software Cost Estimating Using Scope Champions. Product-Focused Software Process Improvement. 10.1007/978-3-642-02152-7_6. (59-70).

    http://link.springer.com/10.1007/978-3-642-02152-7_6

  • Mu K, Jin Z and Zowghi D. A Measurement-Driven Process Model for Managing Inconsistent Software Requirements. Proceedings of the 2008 15th Asia-Pacific Software Engineering Conference. (291-298).

    https://doi.org/10.1109/APSEC.2008.24

  • MU K, JIN Z and ZOWGHI D. (2008). A Priority-Based Negotiations Approach for Handling Inconsistencies in Multi-Perspective Software Requirements. Journal of Systems Science and Complexity. 10.1007/s11424-008-9136-4. 21:4. (574-596). Online publication date: 1-Dec-2008.

    http://link.springer.com/10.1007/s11424-008-9136-4

  • Kof L. On the Identification of Goals in Stakeholders' Dialogs. Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs. (161-181).

    https://doi.org/10.1007/978-3-540-89778-1_13

  • Sahraoui A, Buede D and Sage A. (2008). Systems engineering research. Journal of Systems Science and Systems Engineering. 10.1007/s11518-008-5083-9. 17:3. (319-333). Online publication date: 1-Sep-2008.

    http://link.springer.com/10.1007/s11518-008-5083-9

  • Barragáns Martínez A, Pazos Arias J, Fernández Vilas A, García Duque J, López Nores M, Díaz Redondo R and Blanco Fernández Y. (2008). Composing requirements specifications from multiple prioritized sources. Requirements Engineering. 13:3. (187-206). Online publication date: 21-Aug-2008.

    https://doi.org/10.1007/s00766-008-0064-6

  • Barragáns Martínez A, Pazos Arias J, Fernández Vilas A, García Duque J, López Nores M, Díaz Redondo R and Blanco Fernández Y. (2008). On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications. Information and Software Technology. 50:4. (296-321). Online publication date: 1-Mar-2008.

    https://doi.org/10.1016/j.infsof.2007.02.001

  • Cabral G and Sampaio A. (2008). Automated formal specification generation and refinement from requirement documents. Journal of the Brazilian Computer Society. 10.1007/BF03192554. 14:1. (87-106). Online publication date: 1-Mar-2008.

    https://journal-bcs.springeropen.com/articles/10.1007/BF03192554

  • Meziane F, Athanasakis N and Ananiadou S. (2008). Generating Natural Language specifications from UML class diagrams. Requirements Engineering. 13:1. (1-18). Online publication date: 15-Jan-2008.

    https://doi.org/10.1007/s00766-007-0054-0

  • Onabajo A and Weber-Jahnke J. Stratified Modelling and Analysis of Confidentiality Requirements. Proceedings of the Proceedings of the 41st Annual Hawaii International Conference on System Sciences.

    https://doi.org/10.1109/HICSS.2008.414

  • Mu K, Liu W, Jin Z, Lu R, Yue A and Bell D. A merging-based approach to handling inconsistency in locally prioritized software requirements. Proceedings of the 2nd international conference on Knowledge science, engineering and management. (103-114).

    /doi/10.5555/1775431.1775447

  • Mu K, Liu W, Jin Z, Lu R, Yue A and Bell D. A Merging-Based Approach to Handling Inconsistency in Locally Prioritized Software Requirements. Knowledge Science, Engineering and Management. (103-114).

    https://doi.org/10.1007/978-3-540-76719-0_14

  • Kof L. (2007). Scenarios: Identifying Missing Objects and Actions by Means of Computational Linguistics 15th IEEE International Requirements Engineering Conference (RE 2007). 10.1109/RE.2007.38. 0-7695-2935-6. (121-130).

    http://ieeexplore.ieee.org/document/4384175/

  • Sabetzadeh M, Nejati S, Liaskos S, Easterbrook S and Chechik M. (2007). Consistency Checking of Conceptual Models via Model Merging 15th IEEE International Requirements Engineering Conference (RE 2007). 10.1109/RE.2007.18. 0-7695-2935-6. (221-230).

    http://ieeexplore.ieee.org/document/4384185/

  • González M, Chesñevar C, Collazos C and Simari G. Modelling shared knowledge and shared knowledge awareness in CSCL scenarios through automated argumentation systems. Proceedings of the 13th international conference on Groupware: design implementation, and use. (207-222).

    /doi/10.5555/1784428.1784448

  • Davis A and Nori K. Requirements, Plato's Cave, and Perceptions of Reality. Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 02. (487-492).

    https://doi.org/10.1109/COMPSAC.2007.182

  • Logrippo L. Normative Systems. Proceedings of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07. (343-354).

    /doi/10.5555/1566971.1567000

  • Eckroth J and Amoussou G. Improving software quality from the requirements specification. Proceedings of the 2007 Symposium on Science of Design. (38-39).

    https://doi.org/10.1145/1496630.1496651

  • González M, Chesñevar C, Collazos C and Simari G. Modelling Shared Knowledge and Shared Knowledge Awareness in CSCL Scenarios Through Automated Argumentation Systems. Groupware: Design, Implementation, and Use. 10.1007/978-3-540-74812-0_16. (207-222).

    http://link.springer.com/10.1007/978-3-540-74812-0_16

  • Mu K and Jin Z. (2007). Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements. Formal Techniques for Networked and Distributed Systems – FORTE 2007. 10.1007/978-3-540-73196-2_19. (296-308).

    http://link.springer.com/10.1007/978-3-540-73196-2_19

  • Cobleigh R, Avrunin G and Clarke L. User guidance for creating precise and accessible property specifications. Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering. (208-218).

    https://doi.org/10.1145/1181775.1181801

  • Hoorn J, Breuker M and Kok E. (2006). Shifts in foci and priorities. Different relevance of requirements to changing goals yields conflicting prioritizations and is viewpoint‐dependent. Software Process: Improvement and Practice. 10.1002/spip.290. 11:5. (465-485). Online publication date: 1-Sep-2006.

    https://onlinelibrary.wiley.com/doi/10.1002/spip.290

  • Natt och Dag J and Gervasi V. Managing Large Repositories of Natural Language Requirements. Engineering and Managing Software Requirements. 10.1007/3-540-28244-0_10. (219-244).

    http://link.springer.com/10.1007/3-540-28244-0_10