Skip to contents

Langenfeld, Vincent [Author]

Formalisation and analysis of system requirements

View online
Schließen

Access

... to E-book via DOI (freely accessible)

... to E-book via Resolving system (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Freiburg im Breisgau, 2023
Henkel, Elisabeth [Author]; Hauff, Nico [Author]; Langenfeld, Vincent [Author]; Eber, Lukas [Author]; Podelski, Andreas [Author]

Systematic adaptation and investigation of the understandability of a formal pattern language

View online
Schließen

Links

... to article

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

University of Freiburg: FreiDok, 2024

Published in: Requirements engineering. - 29, 1 (2024) , 3-23, ISSN: 1432-010X
Becker, Samuel [Author]; Dietsch, Daniel [Author]; Hauff, Nico [Author]; Henkel, Elisabeth [Author]; Langenfeld, Vincent [Author]; Podelski, Andreas [Author]; Westphal, Bernd [Author]

Hanfor: Semantic Requirements Review at Scale

View online
Schließen

Access

... to article (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2021

Published in: REFSQ (27. : 2021 : Online): REFSQ-JP 2021: REFSQ 2021 joint proceedings of the co-located events ; 2021
Langenfeld, Vincent [Author] ; Podelski, Andreas [Degree supervisor] Albert-Ludwigs-Universität Freiburg Fakultät für Angewandte Wissenschaften

Formalisation and analysis of system requirements

View online
Schließen

Access

... to E-book via DOI

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Freiburg: Universität, 2023
von Stülpnagel, Rul; Langenfeld, Vincent; Hölscher, Christoph

Lecture Notes in Computer Science: Differences and Commonalities in Self-localization Accuracy of Humans and Robots in a Complex Building

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2018

Published in: Lecture Notes in Computer Science (2018), Seite 151-166
Langenfeld, Vincent; Post, Amalinda; Podelski, Andreas

Requirements Engineering: Foundation for Software Quality: Requirements Defects over a Project Lifetime: An Empirical Analysis of Defect Data from a 5-Year Automotive Project at Bosch

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2016

Published in: Requirements Engineering: Foundation for Software Quality (2016), Seite 145-160
Henkel, Elisabeth; Hauff, Nico; Langenfeld, Vincent; Eber, Lukas; Podelski, Andreas

Systematic adaptation and investigation of the understandability of a formal pattern language

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2024

Published in: Requirements Engineering, 29 (2024) 1, Seite 3-23
Henkel, Elisabeth; Hauff, Nico; Eber, Lukas; Langenfeld, Vincent; Podelski, Andreas

Requirements Engineering: Foundation for Software Quality: An Empirical Study of the Intuitive Understanding of a Formal Pattern Language

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Nature Switzerland, 2023

Published in: Requirements Engineering: Foundation for Software Quality (2023), Seite 21-38
Dietsch, Daniel; Heizmann, Matthias; Langenfeld, Vincent; Podelski, Andreas

Computer Aided Verification: Fairness Modulo Theory: A New Approach to LTL Software Model Checking

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2015

Published in: Computer Aided Verification (2015), Seite 49-66
Lagarde, Nathalie; Delahaye, Solenne; Jérémie, Aurore; Ben Nasr, Nesrine; Guillemain, Hélène; Empereur‐mot, Charly; Laville, Vincent; Labib, Taoufik; Réau, Manon; Langenfeld, Florent; Zagury, Jean‐François; Montes, Matthieu

Discriminating Agonist from Antagonist Ligands of the Nuclear Receptors Using Different Chemoinformatics Approaches

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiley, 2017

Published in: Molecular Informatics, 36 (2017) 10

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication