Leonid Kof

23 papers A 4B 3C 4Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2013 — ch.
Unpacking Tacit Knowledge for Requirements Engineering.
Managing Requirements Knowledge
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
2011 A conf
From Requirements to Models: Feedback Generation as a Result of Formalization.
CAiSE
Leonid Kof, Birgit Penzenstadler
2010 B conf
Ambiguity Detection: Towards a Tool Explaining Ambiguity Sources.
REFSQ
Benedikt Gleich, Oliver Creighton, Leonid Kof
2010 — conf
Concept mapping as a means of requirements tracing.
MARK@RE
Leonid Kof, Ricardo Gacitúa, Mark Rouncefield, Pete Sawyer
2010 A conf
From Requirements Documents to System Models: A Tool for Interactive Semi-Automatic Translation.
RE
Leonid Kof
2010 — conf
Ontology and Model Alignment as a Means for Requirements Validation.
ICSC
Leonid Kof, Ricardo Gacitúa, Mark Rouncefield, Peter Sawyer
2009 C conf
Requirements Analysis: Concept Extraction and Translation of Textual Specifications to Executable Models.
NLDB
Leonid Kof
2009 B conf
Translation of Textual Specifications to Automata by Means of Discourse Context Modeling.
REFSQ
Leonid Kof
2008 A conf
From Textual Scenarios to Message Sequence Charts: Inclusion of Condition Generation and Actor Extraction.
RE
Leonid Kof
2008 J jnl
On the correctness of upper layers of automotive systems.
Formal Aspects Comput.
Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova
2007 J jnl
Computerlinguistik in Requirements Engineering.
Softwaretechnik-Trends
Leonid Kof
2007 — conf
On the Identification of Goals in Stakeholders' Dialogs.
Monterey Workshop
Leonid Kof
2007 A conf
Scenarios: Identifying Missing Objects and Actions by Means of Computational Linguistics.
RE
Leonid Kof
2007 C conf
Treatment of Passive Voice and Conjunctions in Use Case Documents.
NLDB
Leonid Kof
2006 B conf
Towards Modularized Verification of Distributed Time-Triggered Systems.
FM
Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz
2005 J jnl
An application of natural language processing to domain modelling: two case studies.
Comput. Syst. Sci. Eng.
Leonid Kof
2005 C conf
Natural Language Processing: Mature Enough for Requirements Documents Analysis?
NLDB
Leonid Kof
2005 — —
Text analysis for requirements engineering.
Leonid Kof
2005 J jnl
Towards verified automotive software.
ACM SIGSOFT Softw. Eng. Notes
Jewgenij Botaschanjan, Leonid Kof, C. Kühnel, Maria Spichkova
2005 C conf
Validating Documentation with Domain Ontologies.
SoMeT
Leonid Kof, Markus Pizka
2004 — conf
Using application domain ontology to construct an initial system model.
IASTED Conf. on Software Engineering
Leonid Kof
2003 — conf
A Practical Approach of Teaching Software Engineering.
CSEE&T
Michael Gnatz, Leonid Kof, Franz Prilmeier, Tilman Seifert
2003 — conf
Combining Aspects of Reactive Systems.
Ershov Memorial Conference
Leonid Kof, Bernhard Schätz