E-LIB Suche - Ergebnisse für: Pickin, Simon

1

Requirements Elicitation Based on Psycho-Pedagogical Theatr..:

Belver, Marcos ; Manjarrés, Ángeles ; Barbarelli, Alejandra.
IEEE Access. 11 (2023) - p. 76284-76299 , 2023

2

AI4Eq: For a True Global Village Not for Global Pillage:

Manjarres, Angeles ; Pickin, Simon ; Artaso, Miguel A..
IEEE Technology and Society Magazine. 40 (2021) 1 - p. 31-45 , 2021

Link: https://doi.org/10.1109/..

3

An Inclusive and Sustainable Artificial Intelligence Strate..:

Fernandez-Aller, Celia ; de Velasco, Arturo Fernandez ; Manjarres, Angeles...
IEEE Technology and Society Magazine. 40 (2021) 1 - p. 46-54 , 2021

Link: https://doi.org/10.1109/..

4

A Calculus of Chaos in Stochastic Compilation: Engineering ..:

, In: Lecture Notes in Computer Science; Formal Methods. FM 2019 International Workshops,

Breuer, Peter T. ; Pickin, Simon J. - p. 167-184 , 2020

Link: https://doi.org/10.1007/..

5

SIMCAN: A simulator to improve the learning of distributed ..:

Núñez, Alberto ; Mañoso, Carolina ; de Madrid, Ángel P..
Computer Applications in Engineering Education. 27 (2019) 5 - p. 1126-1138 , 2019

Link: https://doi.org/10.1002/..

6

Open source verification in an anonymous volunteer network:

Breuer, Peter T. ; Pickin, Simon
Science of Computer Programming. 91 (2014) - p. 161-187 , 2014

Link: https://doi.org/10.1016/..

7

A formal nethod (a networked formal method):

Breuer, Peter T. ; Pickin, Simon
Innovations in Systems and Software Engineering. 6 (2010) 4 - p. 255-268 , 2010

Link: https://doi.org/10.1007/..

8

Approximate verification in an open source world:

Breuer, Peter T. ; Pickin, Simon
Innovations in Systems and Software Engineering. 4 (2008) 1 - p. 87-105 , 2008

Link: https://doi.org/10.1007/..

9

Verification in the Light and Large: Large-Scale Verificati..:

, In: 31st IEEE Software Engineering Workshop (SEW 2007),

Brcucr, Peter T. ; Pickin, Simon - p. None , 2007

Link: https://doi.org/10.1109/..

10

Test Synthesis from UML Models of Distributed Software:

Pickin, Simon ; Jard, Claude ; Jeron, Thierry..
IEEE Transactions on Software Engineering. 33 (2007) 4 - p. 252-269 , 2007

Link: https://doi.org/10.1109/..

11

Symbolic approximation: an approach to verification in the ..:

Breuer, Peter T. ; Pickin, Simon
Innovations in Systems and Software Engineering. 2 (2006) 3-4 - p. 147-163 , 2006

Link: https://doi.org/10.1007/..

12

One million (LOC) and counting : static analysis for err..:

, In: Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies,

Breuer, Peter T. ; Pickin, Simon - p. 56-70 , 2006

Link: https://dl.acm.org/doi/1..

13

One Million (LOC) and Counting: Static Analysis for Errors ..:

, In: Reliable Software Technologies – Ada-Europe 2006; Lecture Notes in Computer Science,

Breuer, Peter T. ; Pickin, Simon - p. 56-70 , 2006

Link: https://doi.org/10.1007/..

14

Automated requirements-based generation of test cases for p..:

, In: Proceedings of the 18th IEEE International Conference on Automated Software Engineering,

Nebut, Clémentine ; Pickin, Simon ; Traon, Yves Le. - p. 263-266 , 2003

Link: https://dl.acm.org/doi/1..

15

AI analysis patterns as UML meta-model constructs:

, In: Proceedings of the 14th international conference on Software engineering and knowledge engineering,

Manjarrés, Angeles ; Sunyé, Gerson ; Pollet, Damien.. - p. 237-238 , 2002

Link: https://dl.acm.org/doi/1..