Publikationen

2008

• Issues and advantages of using agile and incremental practices

  Petersen, K. ., & Wohlin, C. . (2008). Issues and advantages of using agile and incremental practices. In Software engineering research and practice.

  • Suche auf Google Scholar

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Petersen, Kai

  • Abteilung/Einrichtung

    • FLAIR - Flensburg Artificial Intelligence Research

  Filter Tags

  • 2008
  • Conference Paper
  • • Kai Petersen
    • Claes Wohlin

• Marine biotechnology: bio-mining the treasures of the ocean

  Imhoff, J. F., Labes, A. ., Kajahn, I. ., Krämer, M. ., Stöhr, R. ., Thiel, V. ., & Wiese, J. . (2008). Marine biotechnology: bio-mining the treasures of the ocean. European Bioperspectives. Abgerufen von http://oceanrep.geomar.de/6415/

  • Suche auf Google Scholar

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Filter Tags

  • 2008
  • Unpublished
  • • Johannes Imhoff
    • Antje Labes
    • Inga Kajahn
    • Marco Krämer
    • Rüdiger Stöhr
    • Vera Thiel
    • Jutta Wiese

• EasyCheck — Test Data for Free

  Christiansen, J. ., & Fischer, S. . (2008). EasyCheck — Test Data for Free. In Functional and Logic Programming (S. 322–336). Springer Berlin Heidelberg.

  Abstract

  anzeigen ▸

  We present a lightweight, automated tool for specification-based testing of declarative programs written in the functional logic programming language Curry and emphasize the usefulness of logic features in its implementation and use. Free variables, nondeterminism and encapsulated search turn out to be elegant and powerful means to express test-data generation.

  • Suche auf Google Scholar

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Christiansen, Jan

  • Fachbereich

    • Fachbereich 3: Information und Kommunikation

  Filter Tags

  • 2008
  • Conference Paper
  • • Jan Christiansen
    • Sebastian Fischer

• Detaillösungen bei Ermüdungsfragen und dem Einsatz hochfester Stähle bei Offshore-Windenergieanlagen

  Faber, P. D.-I. T. . (2008). Detaillösungen bei Ermüdungsfragen und dem Einsatz hochfester Stähle bei Offshore-Windenergieanlagen.

  • Suche auf Google Scholar

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Faber, Torsten

  Filter Tags

  • 2008
  • Report
  • • Prof. Dr.-Ing. Torsten Faber

• Selbstoptimierende Systeme des Maschinenbaus - Definitionen, Anwendungen, Konzepte

  Adelt, P. ., Donoth, J. ., Gausemeier, J. ., Geisler, J. ., Henkler, S. ., Kahl, S. ., … Znamenshchykov, O. . (2008). Selbstoptimierende Systeme des Maschinenbaus - Definitionen, Anwendungen, Konzepte (Bd. 234). Paderborn: HNI-Verlagsschriftenreihe.

  • Suche auf Google Scholar

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Geisler, Jens

  Filter Tags

  • 2008
  • Book
  • • P. Adelt
    • J. Donoth
    • J. Gausemeier
    • Jens Geisler
    • S. Henkler
    • S. Kahl
    • B. Klöpper
    • A. Krupp
    • E. Münch
    • S. Oberthür
    • C. Paiz
    • H. Podlogar
    • M. Porrmann
    • R. Radkowski
    • C. Romaus
    • A. Schmidt
    • B. Schulz
    • H. Vöcking
    • U. Witkowski
    • K. Witting
    • O. Znamenshchykov

• New natural products from marine microorganisms

  Labes, A. ., Kajahn, I. ., Krämer, M. ., Stöhr, R. ., Thiel, V. ., Wiese, J. ., & Imhoff, J. F. (2008). New natural products from marine microorganisms. European Bioperspectives. Abgerufen von http://oceanrep.geomar.de/6849/

  • Suche auf Google Scholar

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Filter Tags

  • 2008
  • Unpublished
  • • Antje Labes
    • Inga Kajahn
    • Marco Krämer
    • Rüdiger Stöhr
    • Vera Thiel
    • Jutta Wiese
    • Johannes Imhoff
  • • Poster

• Denotation by Transformation

  Braßel, B. ., & Christiansen, J. . (2008). Denotation by Transformation. In A. . King (Hrsg.), Logic-Based Program Synthesis and Transformation (S. 90–105). Springer Berlin Heidelberg.

  Abstract

  anzeigen ▸

  It has often been observed that a point-free style of programming provides a more abstract view on programs. We aim to use the gain in abstraction to obtain a denotational semantics for functional logic languages in a straightforward way. Here we propose a set of basic operations based on which arbitrary functional logic programs can be transformed to point-free programs. The semantics of the resulting programs are strict but, nevertheless, the semantics of the original program is preserved.

  • Suche auf Google Scholar

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Christiansen, Jan

  • Fachbereich

    • Fachbereich 3: Information und Kommunikation

  Filter Tags

  • 2008
  • Conference Paper
  • • Bernd Braßel
    • Jan Christiansen
    • Andy King

• Technical Note: Certification of Wind Turbines for Extreme Temperatures (here: Cold Climate)

  Faber, P. D.-I. T. . (2008). Technical Note: Certification of Wind Turbines for Extreme Temperatures (here: Cold Climate).

  • Suche auf Google Scholar

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Faber, Torsten

  Filter Tags

  • 2008
  • Report
  • • Prof. Dr.-Ing. Torsten Faber

• Novel glycoside hydrolases for biotechnological application from marine resources

  Labes, A. ., Staufenberger, T. ., & Imhoff, J. F. (2008). Novel glycoside hydrolases for biotechnological application from marine resources. BioCat2008-Tagung. Abgerufen von http://oceanrep.geomar.de/691/

  • Suche auf Google Scholar

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Filter Tags

  • 2008
  • Unpublished
  • • Antje Labes
    • Tim Staufenberger
    • Johannes Imhoff

• A Relation Algebraic Semantics for a Lazy Functional Logic Language

  Braßel, B. ., & Christiansen, J. . (2008). A Relation Algebraic Semantics for a Lazy Functional Logic Language. In R. . Berghammer, B. . Möller, & G. . Struth (Hrsg.), Relations and Kleene Algebra in Computer Science (S. 37–53). Springer Berlin Heidelberg.

  Abstract

  anzeigen ▸

  We propose a relation algebraic semantics along with a concrete model for lazy functional logic languages. The resulting semantics provides several interesting advantages over former approaches for this class of languages. On the one hand, the high abstraction level of relation algebra allows equational reasoning leading to concise proofs about functional logic programs. On the other hand the proposed approach features, in contrast to former approaches with a comparable level of abstraction, an explicit modeling of sharing. The latter property gives rise to the expectation that the presented framework can be used to clarify notions currently discussed in the field of functional logic languages, like constructive negation, function inversion and encapsulated search. All of these topics have proved to involve subtle problems in the context of sharing and laziness in the past.

  • Suche auf Google Scholar

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Christiansen, Jan

  • Fachbereich

    • Fachbereich 3: Information und Kommunikation

  Filter Tags

  • 2008
  • Conference Paper
  • • Bernd Braßel
    • Jan Christiansen
    • Rudolf Berghammer
    • Bernhard Möller
    • Georg Struth