( en | de | ru )

 

Disambiguation of "Ambrosio, Ana Maria"

Author of the publication

copydeleteadd this publication to your clipboard
Errors on Space Software Requirements: A Field Study and Application Scenarios.

, , , , , and . ISSRE, page 61-70. IEEE Computer Society, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ana Maria Javellana

Ana Maria Delgado

Ana Maria Machado

Ana-Maria Stanescu

Ana-Maria Kreuter

 

Other publications of authors with the same name

ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems., , and . Software Quality Journal, 8 (4): 303-320 (1999)Generating test cases to evaluate and improve processes of safety-critical systems development., , , and . ISSRE Workshops, page 311-318. IEEE, (2020)Towards a Resilience Benchmarking Description Language for the Context of Satellite Simulators (Short Paper)., , and . EDCC, page 194-197. IEEE Computer Society, (2014)A Conformance Testing Process for Space Applications Software Services., , , and . J. Aerosp. Comput. Inf. Commun., 3 (4): 146-158 (2006)Designing Fault Injection Experiments Using State-Based Model to Test a Space Software., , , , and . LADC, volume 4746 of Lecture Notes in Computer Science, page 170-178. Springer, (2007)An Approach for Verification of a Satellite Simulator - An Evolving System., , , and . LADC, page 176-182. IEEE Computer Society, (2016)Benchmarking Software Requirements Documentation for Space Application., , , , , and . SAFECOMP, volume 6351 of Lecture Notes in Computer Science, page 112-125. Springer, (2010)Contributions of model checking and CoFI methodology to the development of space embedded software., , , and . Empirical Software Engineering, 19 (1): 39-68 (2014)Combining STPA With CoFI to Generate Requirements and Test Cases for Safety-Critical System., and . IEEE Syst. J., 16 (4): 6635-6646 (2022)Errors on Space Software Requirements: A Field Study and Application Scenarios., , , , , and . ISSRE, page 61-70. IEEE Computer Society, (2010)