Experience with Validation by Simulation, Automated Code Generation and Integration

Experience with Validation by Simulation, Automated Code Generation and Integration

Author(s):: Gerlich, R. ( Bodan System & Software Engineering, Germany )
Publication title:: DASIA 97 : data systems in aerospace : Sevilla, Spain 26-29 May 1997
Title of ser.:: ESA SP
Ser. no.:: 409
Pub. Year:: 1997
Page(from):: 185
Page(to):: 190
Pages:: 6
Pub. info.:: Noordwijk, Netherlands: ESA Publications Division
ISSN:: 03796566
ISBN:: 9789290923190 [9290923199]
Language:: English
Call no.:: E11690/409
Type:: Conference Proceedings

Details

TDL ID:	ZA00013412
Series ID:	PA00000009
Conf. info. (Name):	DASIA
Conf. info. (Number):	1997
Conf. info. (Venue):	Sevilla, Spain
Conf. info. (Date):	1997.05.26-1997.05.29

Similar Items:

1 Conference Proceedings Benchmarks on Automated System and Software Generation: Higher Flexibility, Increased Productivity and Shorter Time-To-Market by ScaPable Software R. Gerlich ESA Publications Division	7 Conference Proceedings Software Development for the Material Science Laboratory on ISS by Automated Generation of Real-Time Software from Datasheet-based Inputs Birk, M., Brammer, U., Ziegler, M., Lattner, K., Gerlich, R. ESA Publications Division
2 Conference Proceedings Automated Verification of Code Generated from Models: Comparing Specifications with Observations R. Gerlich, D. Sigg ESA Communications	8 Conference Proceedings Evaluation of Auto-Test Generation Strategies and Platforms R. Gerlich, T. Boll, J. Mayer ESA Communication Production Office
3 Conference Proceedings Automated Source-Code-Based Testing of Object-Oriented Software R. Gerlich, C. Dietrich ESA Communications	9 Conference Proceedings Characterizing Verification Tools Through Coding Error Candidates Reported in Space Flight Software C.R. Prause, R. Gerlich, A. Fischer ESA Communications
4 Conference Proceedings Potentials of Constraint-Based Methods in Software Verification and Validation R. Gerlich ESA Communications	10 Conference Proceedings Mode management and run-time linking with ADA in real time Gerlich, R. ESA Publications Division
5 Conference Proceedings A Case Study on Automated Source-Code-Based Testing Methods Ralf Gerlich, Rainer Gerlich, M. Prochazka ESA Communications	11 Conference Proceedings Platform-Dependent (Cost) Impacts on Portability, Software Reuse and Maintenance R. Gerlich ESA Publications Division
6 Conference Proceedings Automated Software Production - Quo Vadis? R. Gerlich, D. Sigg ESA Publications Division	12 Conference Proceedings Can we Provide Better Protection against Budget Overruns of Software Projects? R. Gerlich ESA Publications Division

1

2

3

4

5

6

7

8

9

10

11

12