Leonid Kof

According to our database, Leonid Kof authored at least 23 papers between 2003 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2013

Unpacking Tacit Knowledge for Requirements Engineering.

Vincenzo Gervasi, Ricardo Gacitúa, Mark Rouncefield, Peter Sawyer, Leonid Kof, Lin Ma, Paul Piwek, Anne N. De Roeck, Alistair Willis, H. Yang, Bashar Nuseibeh

Proceedings of the Managing Requirements Knowledge., 2013

2011

From Requirements to Models: Feedback Generation as a Result of Formalization.

Leonid Kof, Birgit Penzenstadler

Proceedings of the Advanced Information Systems Engineering, 2011

2010

Ontology and Model Alignment as a Means for Requirements Validation.

Leonid Kof, Ricardo Gacitúa, Mark Rouncefield, Peter Sawyer

Proceedings of the 4th IEEE International Conference on Semantic Computing (ICSC 2010), 2010

Ambiguity Detection: Towards a Tool Explaining Ambiguity Sources.

Benedikt Gleich, Oliver Creighton, Leonid Kof

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2010

Concept mapping as a means of requirements tracing.

Leonid Kof, Ricardo Gacitúa, Mark Rouncefield, Pete Sawyer

Proceedings of the Third International Workshop on Managing Requirements Knowledge, 2010

From Requirements Documents to System Models: A Tool for Interactive Semi-Automatic Translation.

Leonid Kof

Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

2009

Translation of Textual Specifications to Automata by Means of Discourse Context Modeling.

Leonid Kof

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2009

Requirements Analysis: Concept Extraction and Translation of Textual Specifications to Executable Models.

Leonid Kof

Proceedings of the Natural Language Processing and Information Systems, 2009

2008

On the correctness of upper layers of automotive systems.

Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova

Formal Aspects Comput., 2008

From Textual Scenarios to Message Sequence Charts: Inclusion of Condition Generation and Actor Extraction.

Leonid Kof

Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008

2007

Computerlinguistik in Requirements Engineering.

Leonid Kof

Softwaretechnik-Trends, 2007

Scenarios: Identifying Missing Objects and Actions by Means of Computational Linguistics.

Leonid Kof

Proceedings of the 15th IEEE International Requirements Engineering Conference, 2007

Treatment of Passive Voice and Conjunctions in Use Case Documents.

Leonid Kof

Proceedings of the Natural Language Processing and Information Systems, 2007

On the Identification of Goals in Stakeholders' Dialogs.

Leonid Kof

Proceedings of the Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 2007

2006

Towards Modularized Verification of Distributed Time-Triggered Systems.

Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz

Proceedings of the FM 2006: Formal Methods, 2006

2005

Text analysis for requirements engineering.

Leonid Kof

PhD thesis, 2005

Towards verified automotive software.

Jewgenij Botaschanjan, Leonid Kof, C. Kühnel, Maria Spichkova

ACM SIGSOFT Softw. Eng. Notes, 2005

An application of natural language processing to domain modelling: two case studies.

Leonid Kof

Comput. Syst. Sci. Eng., 2005

Validating Documentation with Domain Ontologies.

Leonid Kof, Markus Pizka

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2005

Natural Language Processing: Mature Enough for Requirements Documents Analysis?

Leonid Kof

Proceedings of the Natural Language Processing and Information Systems, 2005

2004

Using application domain ontology to construct an initial system model.

Leonid Kof

Proceedings of the IASTED International Conference on Software Engineering, 2004

2003

Combining Aspects of Reactive Systems.

Leonid Kof, Bernhard Schätz

Proceedings of the Perspectives of Systems Informatics, 2003

A Practical Approach of Teaching Software Engineering.

Michael Gnatz, Leonid Kof, Franz Prilmeier, Tilman Seifert

Proceedings of the 16th Conference on Software Engineering Education and Training (CSEE&T 2003), 2003