المؤلفون: Vega, Germán, Groz, Roland, Oriat, Catherine, Foster, Michael, Walkinshaw, Neil, Simão, Adenilso

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory

URL الوصول: http://arxiv.org/abs/2406.07040

المؤلفون: Walkinshaw, Neil, Foster, Michael, Rojas, Jose Miguel, Hierons, Robert M

مصطلحات موضوعية: Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/2405.17019

المؤلفون: Clark, Andrew G., Foster, Michael, Prifling, Benedikt, Walkinshaw, Neil, Hierons, Robert M., Schmidt, Volker, Turner, Robert D.

مصطلحات موضوعية: Computer Science - Software Engineering, D.2.5, I.6.4

URL الوصول: http://arxiv.org/abs/2209.00357

المؤلفون: Clark, Andrew G., Walkinshaw, Neil, Hierons, Robert M.

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Multiagent Systems

URL الوصول: http://arxiv.org/abs/2103.07370

المؤلفون: Lou, Guannan, Shin, Donghwan, Walkinshaw, Neil, Hierons, Robert M.

المصدر: Lecture Notes in Computer Science ; Testing Software and Systems ; page 315-331 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031808883 9783031808890

الاتاحة: https://doi.org/10.1007/978-3-031-80889-0_21
https://link.springer.com/content/pdf/10.1007/978-3-031-80889-0_21

المؤلفون: Anness, Abigail R., Foster, Michael, Osman, Mohammed W., Webb, David, Robinson, Thompson, Khalil, Asma, Walkinshaw, Neil, Mousa, Hatem A.

المصدر: Journal of Obstetrics and Gynaecology ; volume 44, issue 1 ; ISSN 0144-3615 1364-6893

الاتاحة: https://doi.org/10.1080/01443615.2024.2307883
https://www.tandfonline.com/doi/pdf/10.1080/01443615.2024.2307883

المؤلفون: Somers, Richard J., Douthwaite, James A., Wagg, David J., Walkinshaw, Neil, Hierons, Robert M.

وصف الملف: text

Relation: https://eprints.whiterose.ac.uk/194777/1/1-s2.0-S0950584922002543-main.pdf; Somers, Richard J. orcid.org/0000-0002-1101-9722 , Douthwaite, James A., Wagg, David J. et al. (2 more authors) (2023) Digital-twin-based testing for cyber–physical systems: a systematic literature review. Information and Software Technology, 156. 107145. ISSN 0950-5849

الاتاحة: https://eprints.whiterose.ac.uk/194777/
https://eprints.whiterose.ac.uk/194777/1/1-s2.0-S0950584922002543-main.pdf
https://doi.org/10.1016/j.infsof.2022.107145

المؤلفون: Esoul, Othman, Walkinshaw, Neil

مصطلحات موضوعية: Computer Science - Networking and Internet Architecture

URL الوصول: http://arxiv.org/abs/1610.06089

المؤلفون: Walkinshaw, Neil, Fraser, Gordon

مصطلحات موضوعية: Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/1608.03181

المؤلفون: Gransden, Thomas, Walkinshaw, Neil, Raman, Rajeev

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1505.07987

المؤلفون: Walkinshaw, Neil

مصطلحات موضوعية: 005.14

الاتاحة: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.436084

المؤلفون: Gransden, Thomas, Walkinshaw, Neil, Raman, Rajeev

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1405.3623

المؤلفون: Foster, Michael, Wild, Christopher, Hierons, Robert M., Walkinshaw, Neil

المصدر: 2024 IEEE Conference on Software Testing, Verification and Validation (ICST) ; page 161-172

الاتاحة: http://dx.doi.org/10.1109/icst60714.2024.00023
http://xplorestaging.ieee.org/ielx8/10638518/10638509/10638595.pdf?arnumber=10638595

المؤلفون: Bernardini, Francesco, Gheorghe, Marian, Romero Campero, Francisco José, Walkinshaw, Neil

المساهمون: Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial, Universidad de Sevilla. TIC193: Computación Natural

Relation: WMC 2007: 8th International Workshop on Membrane Computing (2007), p 138-159; https://link.springer.com/chapter/10.1007/978-3-540-77312-2_9; Berlin; https://idus.us.es/handle//11441/86647

الاتاحة: https://idus.us.es/handle//11441/86647

المؤلفون: Clark, Andrew G., Foster, Michael, Walkinshaw, Neil, Hierons, Robert M.

المصدر: 2023 IEEE Conference on Software Testing, Verification and Validation (ICST)

الاتاحة: http://dx.doi.org/10.1109/icst57152.2023.00023
http://xplorestaging.ieee.org/ielx7/10132156/10132162/10132179.pdf?arnumber=10132179

المؤلفون: Foster, Michael, Groz, Roland, Oriat, Catherine, Simao, Adenilso, Vega, Germán, Walkinshaw, Neil

المساهمون: Validation de Systèmes, Composants et Objets logiciels (VASCO), Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), Environnements et outils pour le Génie Logiciel Industriel (ADELE), Pôle d'ingénierie multidisciplinaire du LIG (PIMLIG)

المصدر: ICFEM 2023 ; https://hal.science/hal-04548653 ; ICFEM 2023, Nov 2023, Brisbane, Australia. pp.29-46, ⟨10.1007/978-981-99-7584-6_3⟩

مصطلحات موضوعية: [INFO]Computer Science [cs]

جغرافية الموضوع: Brisbane, Australia

الاتاحة: https://hal.science/hal-04548653
https://doi.org/10.1007/978-981-99-7584-6_3

المؤلفون: Groz, Roland, Oriat, Catherine, Vega Baez, German Eduardo, Simao, Adenilso, Foster, Michael, Walkinshaw, Neil

المساهمون: Validation de Systèmes, Composants et Objets logiciels (VASCO), Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), Environnements et outils pour le Génie Logiciel Industriel (ADELE), Pôle d'ingénierie multidisciplinaire du LIG (PIMLIG), ANR-18-CE25-0013,PHILAE,Du test à partir de modèle à une automatisation apprenante du test logiciel(2018)

المصدر: ICGI 2023 ; https://hal.science/hal-04548700 ; ICGI 2023, 2023, Rabat, Morocco. pp.265-269

مصطلحات موضوعية: [INFO]Computer Science [cs]

جغرافية الموضوع: Rabat, Morocco

الاتاحة: https://hal.science/hal-04548700

المؤلفون: Eljuse, Basil, Walkinshaw, Neil

المصدر: Search-Based Software Engineering ; Lecture Notes in Computer Science ; page 198-212 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319992402 9783319992419

الاتاحة: http://dx.doi.org/10.1007/978-3-319-99241-9_10
http://link.springer.com/content/pdf/10.1007/978-3-319-99241-9_10

المؤلفون: Clark, Andrew G., Foster, Michael, Prifling, Benedikt, Walkinshaw, Neil, Hierons, Robert M., Schmidt, Volker, Turner, Robert D.

المصدر: ACM Transactions on Software Engineering & Methodology; Jan2024, Vol. 33 Issue 1, p1-42, 42p

مصطلحات موضوعية: COMPUTER software testing, SCIENTIFIC models, CAUSAL inference, VIRAL transmission, GALAXY formation, RESEARCH personnel

المؤلفون: Walkinshaw, Neil, Hierons, Robert M.

المساهمون: EPSRC CITCOM

المصدر: IEEE Transactions on Software Engineering ; volume 49, issue 5, page 3261-3276 ; ISSN 0098-5589 1939-3520 2326-3881

الاتاحة: http://dx.doi.org/10.1109/tse.2023.3250835
http://xplorestaging.ieee.org/ielx7/32/10124809/10057480.pdf?arnumber=10057480