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: Kof:Leonid
Contributed to:
2011
2010
2010200920082007
2006
2003Wrote 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.