Friederike Nickl

According to our database1, Friederike Nickl authored at least 17 papers between 1985 and 2016.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Integrating a Lightweight Risk Assessment Approach into an Industrial Development Process.
Proceedings of the Software Quality. The Future of Systems- and Software Development, 2016

Software-Engineering für Multi-Plattform-Umgebungen.
Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016

2008
Workshop Requirements Engineering und IT-Architektur: eine gewinnbringende Koalition?
Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008

2006
Requirements Engineering und IT Service Management - Ansatzpunte einer integrierten Sichtweise.
Proceedings of the Modellierung 2006, 2006

2004
Wiederverwendung durch Ablaufmodellierung bei der Migration eines Vertragsverwaltungssystems.
Proceedings of the Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, 2004

1996
(Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly.
Proceedings of the ECOOP'96, 1996

Pushouts of Order-Sorted Algebraic Specifications.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1994
Ablaufspezifikation durch Datenflußdiagramme und Axiome.
Proceedings of the Innovationen bei Rechen- und Kommunikationssystemen, Eine Herausforderung für die Informatik, 24. GI-Jahrestagung im Rahmen des 13th World Computer Congress, IFIP Congress '94, Hamburg, 28. August, 1994

1993
Ablaufspezifikation durch Datenflussmodellierung und stromverarbeitende Funktionen
Forschungsberichte, TU Munich, 1993

Semantics of PA<sup>nn</sup>dA-S.
Proceedings of the Program Development by Specification and Transformation, 1993

A Formal Approach to Requirements Engineering (Invited Paper).
Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

1992
A Behavioural Algebraic Framework for Modular System Design with Reuse.
Proceedings of the Recent Trends in Data Type Specification, 1992

1989
Algebraic Specifications for Domain THeory.
Proceedings of the STACS 89, 1989

1988
Algebraic specification of semantic domain constructions.
PhD thesis, 1988

Order-Theoretic Specification of Algebras with Non-Monotonic Operations.
Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

1986
On the Solution of Recursive Domain Equations Inside an Algebraic Framework.
Proceedings of the 4st Workshop on Abstract Data Type, 1986

1985


  Loading...