BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Canada
1 × Germany
1 × India
1 × The Netherlands
1 × United Kingdom
2 × Spain
Collaborated with:
B.Penzenstadler B.Gleich O.Creighton M.Gnatz F.Prilmeier T.Seifert J.Botaschanjan A.Gruler A.Harhurin M.Spichkova D.Trachtenherz
Talks about:
model (3) translat (2) scenario (2) textual (2) generat (2) toward (2) system (2) requir (2) ambigu (2) tool (2)

Person: Leonid Kof

DBLP DBLP: Kof:Leonid

Contributed to:

CAiSE 20112011
RE 20102010
REFSQ 20102010
REFSQ 20092009
RE 20082008
RE 20072007
FM 20062006
CSEE&T 20032003

Wrote 8 papers:

CAiSE-2011-KofP #feedback #formal method #generative #modelling #requirements
From Requirements to Models: Feedback Generation as a Result of Formalization (LK, BP), pp. 93–107.
RE-2010-Kof #automation #documentation #interactive #modelling #requirements
From Requirements Documents to System Models: A Tool for Interactive Semi-Automatic Translation (LK), pp. 391–392.
REFSQ-2010-GleichCK #ambiguity #detection #towards
Ambiguity Detection: Towards a Tool Explaining Ambiguity Sources (BG, OC, LK), pp. 218–232.
REFSQ-2009-Kof #automaton #modelling #specification
Translation of Textual Specifications to Automata by Means of Discourse Context Modeling (LK), pp. 197–211.
RE-2008-Kof #generative #sequence chart
From Textual Scenarios to Message Sequence Charts: Inclusion of Condition Generation and Actor Extraction (LK), pp. 331–332.
RE-2007-Kof #identification #named
Scenarios: Identifying Missing Objects and Actions by Means of Computational Linguistics (LK), pp. 121–130.
FM-2006-BotaschanjanGHKST #distributed #towards #verification
Towards Modularized Verification of Distributed Time-Triggered Systems (JB, AG, AH, LK, MS, DT), pp. 163–178.
CSEET-2003-GnatzKPS #approach #education #re-engineering
A Practical Approach of Teaching Software Engineering (MG, LK, FP, TS), pp. 120–128.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.