المؤلفون: Minhas, Nasir Mehmood, Bilal, Ahmad, Nasir, Nayla

المصدر: Proceedings - 2023 International Conference on Frontiers of Information Technology, FIT 2023. :244-249

مصطلحات موضوعية: Framework, Global software development, Prototype, Requirements validation, Requirements engineering, Software design, Complex activity, Evaluation results, Literature reviews, Performance, Prototype tools, Support requirements, Software prototyping

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:bth-26043
https://bth.diva-portal.org/smash/get/diva2:1843181/FULLTEXT01.pdf

المؤلفون: Eva Gergely

مصطلحات موضوعية: Informatik, Projektmanagement, Computer Sciences, Project management, Requirements Engineering, Requirements Elicitation, Requirements Documentation, Requirements Validation, Requirements Management, NATURWISSENSCHAFTEN, SOZIALWISSENSCHAFTEN, Wirtschaftswissenschaften, NATURAL SCIENCES, SOCIAL SCIENCES, Economics, Mathematik, Studienbereich Informatik, Rechts-, Wirtschafts- und Sozialwissenschaften, Studienbereich Wirtschaftswissenschaften, Ingenieurwissenschaften

Relation: https://phaidra.univie.ac.at/o:2065688; https://fedora.phaidra.univie.ac.at/fedora/objects/o:2065688/methods/bdef:Content/download

الاتاحة: https://phaidra.univie.ac.at/o:2065688
https://fedora.phaidra.univie.ac.at/fedora/objects/o:2065688/methods/bdef:Content/download

المؤلفون: Konstantinos Mokos, Theodoros Nestoridis, Panagiotis Katsaros, Nick Bassiliades

المصدر: IEEE Access, Vol 10, Pp 84094-84119 (2022)

مصطلحات موضوعية: Embedded systems, ontologies, requirements validation, semantic reasoning, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/9852230/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/77257b14a7b041929bb71749a800af5b

المؤلفون: Muhammad Shoaib Farooq, Mishaal Ahmed, Muhammad Emran

المصدر: IEEE Access, Vol 10, Pp 48193-48228 (2022)

مصطلحات موضوعية: Software requirements engineering (SRE), software engineering (SE), requirements negotiation (RN), requirements traceability (RT), requirements validation (RV) software development life cycle (SDLC), software requirements specification (SRS), Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/9765500/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/fc67f7c24d6a4fc59275f4af64df7570

المؤلفون: Gurov Viktor, Deniskina Antonina, Kudryavtseva Irina, Kostyshak Mikhail

المصدر: E3S Web of Conferences, Vol 383, p 05011 (2023)

مصطلحات موضوعية: requirement, requirements management system, requirements validation, requirements verification, Environmental sciences, GE1-350

Relation: https://www.e3s-conferences.org/articles/e3sconf/pdf/2023/20/e3sconf_tt21c2023_05011.pdf; https://doaj.org/toc/2267-1242; https://doaj.org/article/ed78eeca68874a9897a1dca68bb35384

الاتاحة: https://doi.org/10.1051/e3sconf/202338305011
https://doaj.org/article/ed78eeca68874a9897a1dca68bb35384

المؤلفون: Issa Atoum, Mahmoud Khalid Baklizi, Izzat Alsmadi, Ahmed Ali Otoom, Taha Alhersh, Jafar Ababneh, Jameel Almalki, Saeed Masoud Alshahrani

المصدر: IEEE Access, Vol 9, Pp 137613-137634 (2021)

مصطلحات موضوعية: Requirements validation, requirements analysis, requirements engineering, validation techniques, requirements quality, systematic literature review, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/9558838/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/5063f506473a467688a7b573f69206e3

المؤلفون: Scantamburlo, Teresa, Falcarin, Paolo, Veneri, Alberto, Fabris, Alessandro, Gallese, Chiara, Billa, Valentina, Rotolo, Francesca, Marcuzzi, Federico

المساهمون: Scantamburlo, Teresa, Falcarin, Paolo, Veneri, Alberto, Fabris, Alessandro, Gallese, Chiara, Billa, Valentina, Rotolo, Francesca, Marcuzzi, Federico

مصطلحات موضوعية: AI act, requirements engineering, legal compliance, requirements validation, conformity assessment, Settore INF/01 - Informatica, Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni

Relation: info:eu-repo/semantics/altIdentifier/isbn/9798400705724; ispartofbook:Proceedings of the 2nd International Workshop on Responsible AI Engineering; 2024 IEEE/ACM International Workshop on Responsible AI Engineering (RAIE); firstpage:44; lastpage:51; numberofpages:8; https://hdl.handle.net/10278/5066021

الاتاحة: https://hdl.handle.net/10278/5066021
https://doi.org/10.1145/3643691.3648589
https://dl.acm.org/doi/10.1145/3643691.3648589

المؤلفون: Hu, Xiaodu, Arista, Rebeca, Lentes, Joachim, Lu, Jinzhi, Zheng, Xiaochen, Sorvari, Jyri, Ubis, Fernando, Kiritsis, Dimitris

مصطلحات موضوعية: Ontology based system, ontology integration, industrial requirements validation, MBSE Ontology based system, MBSE

وصف الملف: application/pdf

Relation: Conference on Manufacturing Modelling, Management and Control 2022; IFAC-PapersOnLine; Digital Reality in Zero Defect Manufacturing; #PLACEHOLDER_PARENT_METADATA_VALUE#; https://publica.fraunhofer.de/handle/publica/429930; https://doi.org/10.24406/publica-631

الاتاحة: https://publica.fraunhofer.de/handle/publica/429930
https://doi.org/10.1016/j.ifacol.2022.10.191
https://doi.org/10.24406/publica-631

المؤلفون: Winkler, Jonas Paul, Grönberg, Jannis, Vogelsang, Andreas

مصطلحات موضوعية: 004 Datenverarbeitung, Informatik, 006 Spezielle Computerverfahren, requirements engineering, requirements validation, test engineering, machine learning, natural language processing, neural networks

وصف الملف: application/pdf

Relation: https://depositonce.tu-berlin.de/handle/11303/9679.2; http://dx.doi.org/10.14279/depositonce-8722.2

الاتاحة: https://depositonce.tu-berlin.de/handle/11303/9679.2
https://doi.org/10.14279/depositonce-8722.2

المؤلفون: Khedr, Ayman, A. Ahmed, Ahmed, Kholeif, Sherif

المصدر: Future Computing and Informatics Journal

مصطلحات موضوعية: Requirements Validation, Requirement Engineering, Concept Map, Software development, Software Requirements Specification (SRS), Natural Language, Design Description Languages, Mathematical Specification and Graphical Notations, Computer Engineering

وصف الملف: application/pdf

Relation: https://digitalcommons.aaru.edu.jo/fcij/vol4/iss1/4; https://digitalcommons.aaru.edu.jo/cgi/viewcontent.cgi?article=1084&context=fcij

الاتاحة: https://digitalcommons.aaru.edu.jo/fcij/vol4/iss1/4
https://digitalcommons.aaru.edu.jo/cgi/viewcontent.cgi?article=1084&context=fcij

المؤلفون: Franco Mazzanti

مصطلحات موضوعية: 4SECURail, Formal Methods for Railway Signalling Sistems, Requirements Validation, Formal Methods Diversity

Relation: https://zenodo.org/communities/eu; https://doi.org/10.5281/zenodo.5807738; https://doi.org/10.5281/zenodo.5997431; oai:zenodo.org:5997431

الاتاحة: https://doi.org/10.5281/zenodo.5997431

المؤلفون: Zhou, Jiale, Lundqvist, Kristina, Lönn, Henrik, Karlsson, Daniel, Liwång, Bo

المصدر: 2014 IEEE 22nd International Requirements Engineering Conference, RE 2014 - Proceedings. :428-436

مصطلحات موضوعية: eature-oriented requirements modeling, model- based requirements validation, eTASM, RUCM, software product lines, systems functional behaviors and non-functional properties

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-25875
https://mdh.diva-portal.org/smash/get/diva2:743960/FULLTEXT01.pdf

المؤلفون: Veizaga Campero, Alvaro Mario, Alferez, Mauricio, Torre, Damiano, Sabetzadeh, Mehrdad, Briand, Lionel, Pitskhelauri, Elene

المساهمون: Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)

المصدر: Proceedings of 23rd ACM / IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), 218-228 (2020-10); 23rd ACM / IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), Montreal, Canada [CA], 19-10-2020 to 23-10-2020

مصطلحات موضوعية: Requirements Validation and Verification, Acceptance Testing, Acceptance Criteria, UML, Controlled Natural Language, Gherkin, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques

Relation: FNR13234469 - Improved Model-based Requirements For Financial Applications, 2018 (01/01/2019-31/12/2021) - Lionel Briand; https://orbilu.uni.lu/handle/10993/43900; info:hdl:10993/43900; https://orbilu.uni.lu/bitstream/10993/43900/1/Veizaga_MODELS_2020.pdf

الاتاحة: https://orbilu.uni.lu/handle/10993/43900
https://orbilu.uni.lu/bitstream/10993/43900/1/Veizaga_MODELS_2020.pdf
https://doi.org/10.1145/3365438.3410953

المؤلفون: Gergely, Eva

مصطلحات موضوعية: Projektmanagement, Informatik, Requirements Engineering, Requirements Documentation, Computer Sciences, Project management, ÖFOS 2012 -- NATURWISSENSCHAFTEN (1) -- Informatik (102) -- Informatik (1020), ÖFOS 2012 -- SOZIALWISSENSCHAFTEN (5) -- Wirtschaftswissenschaften (502) -- Wirtschaftswissenschaften (5020) -- Projektmanagement (502030), Requirements Validation, ÖFOS 2012 -- SOCIAL SCIENCES (5) -- Economics (502) -- Economics (5020) -- Project management (502030), ÖFOS 2012 -- NATURAL SCIENCES (1) -- Computer Sciences (102) -- Computer Sciences (1020), Requirements Elicitation, Requirements Management

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______1726::8eb0ad2728864907b1e640b562ec61cb
https://phaidra.univie.ac.at/o:1649341

المؤلفون: Condori Fernandez, O.N.

المصدر: Condori Fernandez , O N 2017 , ' CoSTest: A Tool for Validation of Requirements at Model Level ' , Paper presented at Requirements Engineering , Lisbon , Portugal , 4/09/17 - 8/09/17 pp. 464-467 . https://doi.org/10.1109/RE.2017.69

مصطلحات موضوعية: ALF language, conceptual models, early testing, requirements validation

الاتاحة: https://research.vu.nl/en/publications/e4c18690-105e-4dee-9ebd-c6fec08151f5
https://doi.org/10.1109/RE.2017.69
https://hdl.handle.net/1871.1/e4c18690-105e-4dee-9ebd-c6fec08151f5
http://www.scopus.com/inward/record.url?scp=85032826240&partnerID=8YFLogxK
http://www.scopus.com/inward/citedby.url?scp=85032826240&partnerID=8YFLogxK

المؤلفون: Mustafa, N., Kamalrudin, M.

المساهمون: UTeM, MoE, FRGS/ 1/ 2015/ ICT01/ FTMK/ 02/ F00291

المصدر: Journal of Telecommunication, Electronic and Computer Engineering (JTEC); Vol 10, No 2-2: Innovative and Sustainable Technologies for Societal Wellbeing II; 73-76 ; 2289-8131 ; 2180-1843

مصطلحات موضوعية: Requirements Consistency Management, Security Requirements, Security Requirements Validation, Security Requirements Engineering, Secure Software

وصف الملف: application/pdf

Relation: https://journal.utem.edu.my/index.php/jtec/article/view/3965/2854; https://journal.utem.edu.my/index.php/jtec/article/view/3965

الاتاحة: https://journal.utem.edu.my/index.php/jtec/article/view/3965

المؤلفون: Veizaga Campero, Alvaro Mario

المساهمون: Fonds National de la Recherche - FnR, NSERC of Canada under the Discovery, Discovery Accelerator and CRC programs [sponsor], Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab) [research center], Briand, Lionel [superviser], Shin, Seung Yeob [superviser], Bianculli, Domenico [president of the jury], Ferrari, Alessio [member of the jury], Dalpiaz, Fabiano [member of the jury]

مصطلحات موضوعية: Acceptance Criteria, Computer science [C05] [Engineering, computing & technology], Controlled Natural Language, Case Study Research, Requirements Validation and Verification, Natural Language Requirements, Sciences informatiques [C05] [Ingénierie, informatique & technologie], Natural Language Processing

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______2658::4250681601e430c5ee46fde9b0a34a64
http://orbilu.uni.lu/handle/10993/52324

المؤلفون: Gill, Angel M.

المساهمون: Green, John M., Johnson, Bonnie W., Systems Engineering (SE)

مصطلحات موضوعية: rapid large area clearance, Monterey Phoenix, threat based requirements, model-based systems engineering, JCIDS, MBSE, requirements validation, quantifiable requirements, joint service, requirements, JEOD, Joint Explosive Ordnance Disposal

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______2778::1d5d066b01d99cfce294e7eba70f898a
https://hdl.handle.net/10945/71066

المؤلفون: Mahmoud Baklizi, Issa Atoum, Ahmed Otoom, Izzat Alsmadi, Jameel Almalki, Taha Alhersh, Jafar Ababneh, Saeed Masoud Alshahrani

المصدر: IEEE Access, Vol 9, Pp 137613-137634 (2021)

مصطلحات موضوعية: requirements analysis, General Computer Science, Requirements engineering, business.industry, Computer science, validation techniques, media_common.quotation_subject, Requirements validation, systematic literature review, General Engineering, requirements quality, TK1-9971, Systematic review, Software, Application domain, General Materials Science, Quality (business), requirements engineering, Electrical engineering. Electronics. Nuclear engineering, Software requirements, business, Software engineering, Quality assurance, Strengths and weaknesses, media_common

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4deba1b1dacce1d39dc513f838dcc243
https://doi.org/10.1109/access.2021.3117989

المؤلفون: Gauthier, Jean-Marie, Bouquet, Fabrice, Hammad, Ahmed, Peureux, Fabien

المساهمون: Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC), Combination of approaches to the security of infinite states systems (CASSIS), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Mehdi Dastani, Marjan Sirjani, TC 2, WG 2.2

المصدر: Lecture Notes in Computer Science ; 6th Fundamentals of Software Engineering (FSEN) ; https://hal.science/hal-01246025 ; 6th Fundamentals of Software Engineering (FSEN), 2015, Tehran, Iran. pp.230-237, ⟨10.1007/978-3-319-24644-4_16⟩

مصطلحات موضوعية: Requirements Validation, SysML Models, Modelica Simulation, Model Transformation, Code Generation, OMG Standard, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

جغرافية الموضوع: Tehran, Iran

Relation: hal-01246025; https://hal.science/hal-01246025; https://hal.science/hal-01246025/document; https://hal.science/hal-01246025/file/978-3-319-24644-4_16_Chapter.pdf

الاتاحة: https://hal.science/hal-01246025
https://hal.science/hal-01246025/document
https://hal.science/hal-01246025/file/978-3-319-24644-4_16_Chapter.pdf
https://doi.org/10.1007/978-3-319-24644-4_16