dblp.uni-trier.dewww.uni-trier.de

Leonid Kof

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
13EELeonid Kof: From Textual Scenarios to Message Sequence Charts: Inclusion of Condition Generation and Actor Extraction. RE 2008: 331-332
12EEJewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova: On the correctness of upper layers of automotive systems. Formal Asp. Comput. 20(6): 637-662 (2008)
2007
11EELeonid Kof: On the Identification of Goals in Stakeholders' Dialogs. Monterey Workshop 2007: 161-181
10EELeonid Kof: Treatment of Passive Voice and Conjunctions in Use Case Documents. NLDB 2007: 181-192
9EELeonid Kof: Scenarios: Identifying Missing Objects and Actions by Means of Computational Linguistics. RE 2007: 121-130
2006
8EEJewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz: Towards Modularized Verification of Distributed Time-Triggered Systems. FM 2006: 163-178
2005
7EELeonid Kof: Natural Language Processing: Mature Enough for Requirements Documents Analysis? NLDB 2005: 91-102
6 Leonid Kof, Markus Pizka: Validating Documentation with Domain Ontologies. SoMeT 2005: 126-143
5EEJewgenij Botaschanjan, Leonid Kof, C. Kühnel, Maria Spichkova: Towards verified automotive software. ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005)
4 Leonid Kof: An application of natural language processing to domain modelling: two case studies. Comput. Syst. Sci. Eng. 20(1): (2005)
2004
3 Leonid Kof: Using application domain ontology to construct an initial system model. IASTED Conf. on Software Engineering 2004: 18-23
2003
2EEMichael Gnatz, Leonid Kof, Franz Prilmeier, Tilman Seifert: A Practical Approach of Teaching Software Engineering. CSEE&T 2003: 120-128
1EELeonid Kof, Bernhard Schätz: Combining Aspects of Reactive Systems. Ershov Memorial Conference 2003: 344-349

Coauthor Index

1Jewgenij Botaschanjan [5] [8] [12]
2Manfred Broy [12]
3Michael Gnatz [2]
4Alexander Gruler [8] [12]
5Alexander Harhurin [8] [12]
6Steffen Knapp [12]
7C. Kühnel [5]
8Wolfgang J. Paul [12]
9Markus Pizka [6]
10Franz Prilmeier [2]
11Bernhard Schätz [1]
12Tilman Seifert [2]
13Maria Spichkova [5] [8] [12]
14David Trachtenherz [8]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)