Blank Cover Image

Potentials of Constraint-Based Methods in Software Verification and Validation

Author(s):
R. Gerlich  
Publication title:
DASIA 2012 : Data Systems in Aerospace, 14–16 May 2012, Drubrovnik, Croatia
Title of ser.:
ESA SP
Ser. no.:
701
Pub. Year:
2012
Pages:
14
Pub. info.:
Noordwijk, The Netherlands: ESA Communications
ISSN:
1609042X
ISBN:
9789290922650 [9290922656]
Language:
English
Call no.:
E11690/701
Type:
Conference Proceedings

Similar Items:

1 Conference Proceedings Automated Source-Code-Based Testing of Object-Oriented Software

R. Gerlich, C. Dietrich

ESA Communications
7 Conference Proceedings Can we Provide Better Protection against Budget Overruns of Software Projects?

R. Gerlich

ESA Publications Division
2 Conference Proceedings Organising incremental and reusable software development

Gerlich, R.

ESA Publications Division
8 Conference Proceedings Automated Software Production - Quo Vadis?

R. Gerlich, D. Sigg

ESA Publications Division
3 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
9 Conference Proceedings Automated Verification of Code Generated from Models: Comparing Specifications with Observations

R. Gerlich, D. Sigg

ESA Communications
4 Conference Proceedings Experience with Validation by Simulation, Automated Code Generation and Integration

Gerlich, R.

ESA Publications Division
10 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
5 Conference Proceedings Characterizing Verification Tools Through Coding Error Candidates Reported in Space Flight Software

C.R. Prause, R. Gerlich, A. Fischer

ESA Communications
11 Conference Proceedings A Case Study on Automated Source-Code-Based Testing Methods

Ralf Gerlich, Rainer Gerlich, M. Prochazka

ESA Communications
6 Conference Proceedings Platform-Dependent (Cost) Impacts on Portability, Software Reuse and Maintenance

R. Gerlich

ESA Publications Division
12 Conference Proceedings AN ALTERNATIVE LIFECYCLE BASED ON PROBLEM-ORIENTED STRATEGIES

Gerlich, R., Jorgensen, C.

ESA Publications Division
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12