Search records | 東京工業大学附属図書館文献データベース

You can search for articles included in proceedings of international conferences and technical papers which Tokyo Tech Library holds.
Tokyo Tech members can obtain tables of contents of 17,000 foreign journals by SwetScan. Tokyo Tech Library does not cover all of them.
List of Searchable Databases

Clear Form

Search for other sites by same keyword(s).

CiNii Books

NDL Search

WebcatPlus

amazon

カーリル

WorldCat

Filter

Title:

Author:

ISBN / ISSN / Paper No:

Source Title:

Publisher:

Publication Year:

～

Clear Form

Type:

Conference Proceedings

Technical Paper

Academic Journal

Select: Check all | Remove all

Sort order

10 | 50 | 100 / Per Page

15 results

Conference Proceedings

1. Automated Verification of Code Generated from Models: Comparing Specifications with Observations

R. Gerlich ; D. Sigg

Pub. info.:	DASIA 2008 : Data Systems In Aerospace, 27–30 May 2008, Palma de Majorca, Spain. 2008. Noordwijk, The Netherlands. ESA Communications
Title of ser.:	ESA SP
Ser. no.:	665

Conference Proceedings

2. Automated Source-Code-Based Testing of Object-Oriented Software

R. Gerlich ; C. Dietrich

Pub. info.:	Proceedings of DASIA 2014 : DAta Systems In Aerospace : 3-5 June 2014, Warsaw, Poland. 2014. Noordwijk, The Netherlands. ESA Communications
Title of ser.:	ESA SP
Ser. no.:	725

Conference Proceedings

3. Benchmarks on Automated System and Software Generation: Higher Flexibility, Increased Productivity and Shorter Time-To-Market by ScaPable Software

R. Gerlich

Pub. info.:	Proceedings of DASIA 2002, 13-16 May 2002, Dublin, Ireland. 2001. Noordwijk, The Netherlands. ESA Publications Division
Title of ser.:	ESA SP
Ser. no.:	509

Conference Proceedings

4. Evaluation of Auto-Test Generation Strategies and Platforms

R. Gerlich ; T. Boll ; J. Mayer

Pub. info.:	Proceedings of DASIA 2007 : Data Systems In Aerospace, 29 May-1 June 2007, Naples, Italy. 2007. Noordwijk, The Netherlands. ESA Communication Production Office
Title of ser.:	ESA SP
Ser. no.:	638

Conference Proceedings

5. Model Transformation in Practice

R. Gerlich ; D. Sigg

Pub. info.:	Proceedings of DASIA 2007 : Data Systems In Aerospace, 29 May-1 June 2007, Naples, Italy. 2007. Noordwijk, The Netherlands. ESA Communication Production Office
Title of ser.:	ESA SP
Ser. no.:	638

Conference Proceedings

6. Improving Test Automation by Deterministic Methods in Statistical Testing

R. Gerlich ; T. Boll ; P. Chevalley

Pub. info.:	Proceedings of DASIA 2006 : Data Systems In Aerospace, 22-25 May 2006, Berlin, Germany. 2006. Noordwijk, The Netherlands. ESA Publications Division
Title of ser.:	ESA SP
Ser. no.:	630

Conference Proceedings

7. Platform-Dependent (Cost) Impacts on Portability, Software Reuse and Maintenance

R. Gerlich

Pub. info.:	DASIA 2001 : data systems in aerospace, 28 May-1 June 2001, Hotel Plaza Concorde, Nice, France. 2001. Noordwijk, The Netherlands. ESA Publications Division
Title of ser.:	ESA SP
Ser. no.:	483

Conference Proceedings

8. Potentials of Constraint-Based Methods in Software Verification and Validation

R. Gerlich

Pub. info.:	DASIA 2012 : Data Systems in Aerospace, 14–16 May 2012, Drubrovnik, Croatia. 2012. Noordwijk, The Netherlands. ESA Communications
Title of ser.:	ESA SP
Ser. no.:	701

Conference Proceedings

9. Can we Provide Better Protection against Budget Overruns of Software Projects?

R. Gerlich

Pub. info.:	Proceedings of DASIA 2004 : DAta Systems In Aerospace, 28 June-1 July 2004, Nice, France. 2004. Noordwijk, The Netherlands. ESA Publications Division
Title of ser.:	ESA SP
Ser. no.:	570

10.

Conference Proceedings

10. Characterizing Verification Tools Through Coding Error Candidates Reported in Space Flight Software

C.R. Prause ; R. Gerlich ; A. Fischer

Pub. info.:	Proceedings of DASIA 2015 : DAta Systems In Aerospace : 19-21 May 2015 Barcelona, Spain. 2015. Noordwijk. ESA Communications
Title of ser.:	ESA SP
Ser. no.:	732

15 results

Select: Check all | Remove all

Sort order

10 | 50 | 100 / Per Page

Filtering by:

Author: R. Gerlich