E-LIB Suche - Ergebnisse für: Feather, Martin

1

NASA's Safety, Reliability, and Mission Assurance Digital F..:

, In: 2023 Annual Reliability and Maintainability Symposium (RAMS),

DiVenti, Anthony ; Forsbacka, Matthew ; Rainbolt, Kevin.. - p. 1-7 , 2023

2

Autonomica: Ontological Modeling and Analysis of Autonomous..:

Elaasar, Maged ; Rouquette, Nicolas ; Havelund, Klaus...
INCOSE International Symposium. 33 (2023) 1 - p. 1570-1585 , 2023

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

3

Invited talk: How the Fundamental Assurance Question pervad..:

, In: 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),

Feather, Martin - p. 1-1 , 2013

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

4

Finding robust solutions in requirements models:

Gay, Gregory ; Menzies, Tim ; Jalali, Omid...
Automated Software Engineering. 17 (2009) 1 - p. 87-116 , 2009

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

5

Optimizing requirements decisions with keys:

, In: Proceedings of the 4th international workshop on Predictor models in software engineering,

Jalali, Omid ; Menzies, Tim ; Feather, Martin - p. 79-86 , 2008

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

6

The business case for automated software engineering:

, In: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering,

Menzies, Tim ; Elrawas, Oussama ; Hihn, Jairus... - p. 303-312 , 2007

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

7

Guest Editors' Introduction:

Goedicke, Michael ; Feather, Martin
Automated Software Engineering. 11 (2004) 4 - p. 335 , 2004

Link: https://doi.org/10.1023/..

8

Corrections to "A synthesis of several sorting algorithms" ..:

Jacobs, Dean ; Feather, Martin
Acta Informatica. 26 (1988) 1-2 - p. 19-23 , 1988

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

9

Application downloading:

, In: Proceedings of the 5th international conference on Software engineering,

Balzer, Robert ; Cooperband, Alvin ; Feather, Martin.. - p. 450-459 , 1981

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

10

Assurance for Autonomy – JPL's past research, lessons learn..:

, In: 2023 IEEE International Conference on Assured Autonomy (ICAA),

Feather, Martin S. ; Pinto, Alessandro - p. 97-105 , 2023

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

11

Assurance Guidance for Space Mission use of Data-Driven Mac..:

, In: 2023 IEEE Aerospace Conference,

Feather, Martin S. ; Guerrini, Steven ; Slingerland, Philip C.. - p. 1-10 , 2023

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

12

Space Trusted Autonomy Readiness Levels:

, In: 2023 IEEE Aerospace Conference,

Hobbs, Kerianne L. ; Lyons, Joseph B. ; Feather, Martin S.... - p. 1-17 , 2023

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

13

Towards Robust, Resilient Ocean World Science Sampling Syst..:

, In: 2023 IEEE Aerospace Conference,

Touma, Thomas ; Das, Ersin ; Burdick, Joel W.... - p. 1-9 , 2023

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

14

Hallmarks of an Autonomous Space System's Development and V..:

, In: 2022 IEEE International Conference on Assured Autonomy (ICAA),

Feather, Martin S. - p. 129-136 , 2022

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

15

Automated Support for the Project-Specific Instantiation of..:

, In: 2022 Annual Reliability and Maintainability Symposium (RAMS),

Feather, Martin S. ; Cornford, Steven L. ; DiVenti, Anthony J.. - p. 1-6 , 2022

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