Publikationen

2011

• Measuring and predicting software productivity: A systematic map and review

  Petersen, K. . (2011). Measuring and predicting software productivity: A systematic map and review. Information and Software Technology, 53, 317–343.

  • 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

  • 2011
  • Journal Article
  • • Kai Petersen

• Insights supporting the proposal of possible ?symbiotic role? of marine bacteria on macroalgae

  Goecke, F. R., Labes, A. ., Wiese, J. ., & Imhoff, J. F. (2011). Insights supporting the proposal of possible ?symbiotic role? of marine bacteria on macroalgae. In MIMAS Symposium. Abgerufen von http://oceanrep.geomar.de/12926/

  • Suche auf Google Scholar

  Exportformate

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

  Filter Tags

  • 2011
  • Conference Paper
  • • Franz Goecke
    • Antje Labes
    • Jutta Wiese
    • Johannes Imhoff
  • • Microbiology

• Minimally Strict Polymorphic Functions

  Christiansen, J. ., & Seidel, D. . (2011). Minimally Strict Polymorphic Functions. In Proceedings of the 13th International ACM SIGPLAN Symposium on Principles and Practices of Declarative Programming - PPDP 11 (S. 53). ACM Press. http://doi.org/10.1145/2003476.2003487

  Abstract

  anzeigen ▸

  In this paper we show how to efficiently check whether a polymorphic function is minimally strict. A function is minimally strict if it is the minimal element of a specific less-strict ordering. We prove that we can check whether two polymorphic functions are related by the less-strict ordering by either checking it a) for an arbitrary monomorphic instance of the functions or b) for all shapes of the functions’ argument type. A shape is a value of a monomorphic instance of a polymorphic data type where each polymorphic component is replaced by an element that identifies its position in the data structure. In contrast to recent publications that characterize polymorphic functions by monomorphic instances we consider non-termination and selective strictness, i.e., a language closer to Haskell.

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Christiansen, Jan

  Filter Tags

  • 2011
  • Conference Paper
  • • Jan Christiansen
    • Daniel Seidel

• LIDAR assisted collective pitch control

  Schlipf, D. ., Bossanyi, E. ., Carcangiu, C. E., Fischer, T. ., Maul, T. ., & Rossetti, M. . (2011). LIDAR assisted collective pitch control (No. Deliverable D5.1.3). http://doi.org/10.18419/opus-3913

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Schlipf, David

  Filter Tags

  • 2011
  • Report
  • • David Schlipf
    • Ervin Bossanyi
    • Carlo Carcangiu
    • Tim Fischer
    • Timo Maul
    • Michele Rossetti

• Vorgehenssystematik zur Sicherung der ergonomischen Qualität medizinischer Arbeitssysteme

  Stahl, M. ., Podtschaske, B. ., & Friesdorf, W. . (2011). Vorgehenssystematik zur Sicherung der ergonomischen Qualität medizinischer Arbeitssysteme. In Technik für ein selbstbestimmtes Leben - 5. Deutscher AAL-Kongress 24.01.2011 - 25.01.2012 in Berlin (S. 4). Berlin, Offenbach: VDE Verlag. Abgerufen von https://www.vde-verlag.de/proceedings-de/453400088.html

  Abstract

  anzeigen ▸

  Assistive Technologien bieten ein großes Potenzial auch zukünftig eine bedarfsgerechte (Gesundheits-)Versorgung aufrechtzuerhalten. Für ihren erfolgreichen Einsatz ist aber ein ganzheitlicher Ansatz zur Sicherung der ergonomischen Qualität medizinischer Arbeitssysteme notwendig. Ziel des vorliegenden Beitrags ist, eine ganzheitliche Vorgehenssystematik zur ergonomischen Gestaltung medizinischer Arbeitssysteme zu skizzieren. Eine Analyse identifiziert drei Vorgehensmodelle: Der EQUID-Ansatz verfolgt das Ziel, ergonomische Erkenntnisse und Methoden während der Produktentwicklung systematisch zu integrieren. Normative Vorgaben, wie die DIN EN ISO 6385:2004 definieren das Vorgehen zur ergonomischen Gestaltung von Arbeitssystemen. Für die Entwicklung von Medizinprodukte definieren die DIN EN 60601-1-6 und die DIN EN 62366 einen Ergonomieprozess, mit dem Ziel, die Anwendersicherheit zu erhöhen. Das Vorgehensmodell zur Organisationsgestaltung beschreibt einen standardisierten Ablauf zur Unterstützung von Organisationsveränderungen. Auf Basis dieser drei Vorgehensmodelle wurde eine Vorgehenssystematik für die ergonomische Gestaltung medizinischer Arbeitssysteme entworfen. Sie gliedert sich in drei Ebenen: Die erste Ebene definiert einzelne Gestaltungsphasen. Die zu erfüllenden Aufgaben beschreibt die zweite Ebene. Die dritte Ebene beinhaltet arbeitswissenschaftliche Methoden und Modelle, die speziell auf das medizinische Arbeitssystem ausgerichtet sind: das PAMS-, TaPTa- und das CIPU-Modell. Die beschrieben Systematik könnte helfen, Barriere, die bei der ergonomischen Gestaltung medizinischer Arbeitssysteme derzeit noch bestehen, zu überwinden. Dazu ist die Konkretisierung der Systematik und dessen Evaluierung in Pilotprojekten geplant.

  • Suche auf Google Scholar

  Exportformate

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

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Podtschaske, Beatrice

  • Profilbereich

    • Gesundheit und Life Sciences

  • Fachbereich

    • Fachbereich 4: Wirtschaft

  Filter Tags

  • 2011
  • Conference Paper
  • • Maria Stahl
    • Beatrice Podtschaske
    • Wolfgang Friesdorf

• Analyzing strategy and processes for product customization in large-scale industrial settings

  Mujtaba, S. ., Feldt, R. ., & Petersen, K. . (2011). Analyzing strategy and processes for product customization in large-scale industrial settings. In 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications (S. 369–373).

  • 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

  • 2011
  • Conference Paper
  • • Shahid Mujtaba
    • Robert Feldt
    • Kai Petersen