ࡱ> xzw3&bjbj*300,D#v#######$%(4)#)#># L# # ""== ""T#0#"(GD(""("$ )#)# #(0( X:SYRCoSE 2010 Program: June 1, 2010 Lobachevsky State University of Nizhniy Novgorod (Address: prospekt Gagarina, 23/2) 09:00 - 09:45Registration09:45 - 11:00Plenary Session Room: TBD09:45 - 10:00Welcome Speech10:00 - 11:00Invited Talk: eXtreme Model Driven Design/Engineering. Speaker: Tiziana Margaria(University of Potsdam, Germany)11:00 - 11:30Coffee Break11:30 - 13:00Session: Software Development Methods, Technologies and Tools Room: TBD11:30 - 13:00Session: Functional Testing of Software Systems Room: TBD11:30 - 12:00Regular Talk: D.Silakov. Informational System to Support Development and Usage of Linux Interface Standards. Speaker: Denis Silakov (Institute for System Programming, RAS)11:30 - 11:55Regular Talk: A.Zakonov, O.Stepanov, A.Shalyto. A GA-Based Approach for Test Generation for Automata-Based Programs. Speaker: Andrey Zakonov (St. Petersburg State University of Information Technologies, Mechanics and Optics)12:00 - 12:30Regular Talk: E.Chernov. Universal System for Creation and Installation Linux Packages. Speaker: Evgeniy Chernov (Institute for System Programming, RAS)11:55 - 12:20Regular Talk: V.Omelchenko, S.Zelenov, E. Kostychev. Test Data Generation for Covering Functionality of Database Applications. Speaker: Evgeniy Kostychev (Institute for System Programming, RAS)12:30 - 13:00Regular Talk: I.Ruchkin, V.Prus. Single-Window Integrated Development Environment. Speaker: Ivan Ruchkin (Moscow State University)12:20 - 12:45Regular Talk: Y.Gerlits. Testing AJAX functionality with UniTESK. Speaker: Yevgeny Gerlits (Moscow State University)12:45 - 13:00Short Talk: V.Fedotov. Service-Oriented Approach to Integration Testing in Distributed Systems. Speaker: Vladimir Fedotov (Institute for System Programming, RAS)13:00 - 14:00Lunch14:00 - 15:45Session: Software Development Methods, Technologies and Tools (Cont.)14:00 - 15:45Session: High-Performance Computing14:00 - 14:15Short Talk: A.Sidnev, V. Gergel. Macromodule Technology. Speaker: Alexey Sidnev (Lobachevsky State University of Nizhniy Novgorod)14:00 - 14:15Short Talk: A.Emelyanov, R. Dmitrienko. GPU-Based Extended Cellular Model Implementation. Speaker: Roman Dmitrienko (Special Computing Technologies LLC)14:15 - 14:45Regular Talk: V.Gingina. On Requirements Completeness Analysis Method. Speaker: Viktoria Gingina (Institute for System Programming, RAS)14:15 - 14:45Regular Talk: A.Labutina, V.Gergel. ParaLab - Visual Way to Parallel Programming. Speaker: Anna Labutina (Lobachevsky State University of Nizhniy Novgorod)14:45 - 15:15Regular Talk: V.Surpin. An Approach to Data Validation based on Lifecycle-Bounded Metadata. Speaker: Vadim Surpin (Institute for Information Transmission Problems, RAS)14:45 - 15:15Regular Talk: A.Gavrilov. A DSL for Hardware-Accelerated Grid-Based Scientific Models. Speaker: Alexander Gavrilov (Lanit-Tercom, Inc.)15:15 - 15:45Session: Software Safety and Security15:15 - 15:45Session: Event-Driven Simulation15:15 - 15:45Regular Talk: D.Yefremov, P.Iakovenko. An Approach to on the Fly Activation and Deactivation of Virtualization-Based Security Systems. Speaker: Denis Yefremov (Moscow State University)15:15 - 15:45Regular Talk: E.Chemeritskiy K. Savenkov Formalization and Enforcement of Requirements to Modular Discrete-Event Simulation Runtime. Speaker: Eugene Chemeritskiy (Moscow State University)Social Program: City Sightseeing TourSYRCoSE 2010 Program: June 2, 2010 State University - Higher School of Economics (Address: Bolshaya Pecherskaya st. 25/12) 09:45 - 11:00Plenary Session Room: 30509:45 - 10:00Welcome Speech: TBD10:00 - 11:00Invited Talk: Building Cloud Applications for the Real World. Speaker: Aleksey Savateyev (Microsoft)11:00 - 11:30Coffee Break11:30 - 13:00Session: Telecommunication Software Development and Testing Room: 30511:30 - 13:00Session: Hardware Design and Verification Room: 12611:30 - 12:00Regular Talk: A.Veselov, V.Kotlyarov. Testing Automation of Projects in Telecommunication Domain. Speaker: Alexey Veselov (Saint-Petersburg State Polytechnic University)11:30 - 11:45Short Talk: S.Bykov, S.Mosin. Comparing GALS Architectures and Communicational Protocols. Speaker: Sergey Bykov (Vladimir State University)12:00 - 12:30Regular Talk: A.Tugaenko, N.Pakulin. Test Suite Development for Conformance Testing of Email protocols. Speaker: Anastasia Tugaenko (Institute for System Programming, RAS)11:45 - 12:00Short Talk: P.Parnevich, S.Mosin. Strategy of Selecting Power Reduction Technique for Energy-Efficient Semiconductor Designs. Speaker: Paul Parnevich (Vladimir State University)12:30 - 13:00Regular Talk: M.Alekseeva, E.Dashkova, Dmitry Chaly. Modeling and Analysis of WAP Protocol Family. Speaker: Marina Alekseeva and Ekaterina Dashkova (Yaroslavl Demidov State University)12:00 - 12:30Regular Talk: M.Chupilko, A. Kamkin. Contract Specification of Hardware Designs at Different Abstraction Levels: Application to Functional Verification. Speaker: Mikhail Chupilko (Institute for System Programming, RAS)12:30 - 13:00Regular Talk: A.Kamkin, D.Vorobyev. An Approach to Test Programs Generation for Microprocessors Based on Pipeline Hazards Templates. Speaker: Dmitry Vorobyev (Institute for System Programming, RAS)13:00 - 14:00Lunch14:00 - 15:45Session: Formal Methods for Verification and Test Generation14:00 - 15:45Session: Analysis and Optimization in Different Fields14:00 - 14:30Regular Talk: A.Klebanov. On the Formal Specification of Automata-Based Programs via Specification Patterns. Speaker: Andrey Klebanov (St. Petersburg State University of Information Technologies, Mechanics and Optics)14:00 - 14:30Regular Talk: A.Korotkov. Database Index for Approximate String Matching. Speaker: Alexander Korotkov (National Research Nuclear University "MEPhI")14:30 - 15:00Regular Talk: P.Shved. On Reasoning about Finite Sets in Software Model Checking. Speaker: Pavel Shved (Institute for System Programming, RAS)14:30 - 15:00Regular Talk: F.Borisyuk, V.Shvetsov. Adaptation of Hierarchical Clustering by Areas for Automatic Construction of Electronic Catalogue. Speaker: Fedor Borisyuk (Lobachevsky State University of Nizhniy Novgorod)15:00 - 15:30Regular Talk: V.Mutilin. On Context Switch Upper Bound for Checking Linearizability. Speaker: Vadim Mutilin (Institute for System Programming, RAS)15:00 - 15:30Regular Talk: A.Shalimov. The Method of Programs Compression Based on the Frequency Characteristics of Programs Behaviour. Speaker: Alexander Shalimov (Moscow State University)15:30 - 16:00Coffee BreakSession: Formal Methods for Verification and Test Generation (Cont.)Session: Analysis and Optimization in Different Fields (Cont.)15:30 - 15:45Short Talk: M.Gromov, O.Kondratjeva. Observable Form of a Timed Finite State Machine. Speaker: Maxim Gromov (Tomsk State University)15:30 - 16:00Regular Talk: A.Ponomarenko, A.Loginov, V.Krylov, Y.Malkov. Metrized Small World Approach for Nearest Neighbor Search. Speaker: Alexander Ponomarenko (MeraLabs)15:45 - 16:00Short Talk: N.Kushik, A.Nikitin. On EFSM-based Test Derivation Strategies. Speaker: Alexandr Nikitin (Tomsk State University)Session: Software Engineering Education16:00 - 16:30Regular Talk: E.Sorokin, K.Kornyakov. The Modern Educational Course on Agile Software Development. Speaker: TBD: Evgeny Sorokin or Kirill Kornyakov (Lobachevsky State University of Nizhniy Novgorod)16:30 - 17:00Regular Talk: O.Maksimenkova, V.Podbelskiy. Programming as a Part of the Software Engineering Education. Speaker: Olga Maksimenkova (State University - Higher School of Economics)Social Program: Dinner #w & Y Z g h t u v    # / R Y % , t øøøøøøøøøh.h.6OJQJ]h.h.CJOJQJaJ h.h.56OJQJ\]h.h.OJQJh.h.5OJQJ\1h.h.B*CJOJQJ^JaJmH ph333sH )h.h.B*CJOJQJ^JaJph3336#wg|kd$$If0'BB t064Babyt.$If [$\$gd.gd.||$If|kd$$If0'BB t064Babyt.Y ||$If|kdf$$If0'BB t064Babyt.Y Z h u ||$If|kd$$If0'BB t064Babyt.u v  ||||$If|kd$$If0'BB t064Babyt.  # XRRRR$Ifkd$$If\'BBBB t064Babyt. f t 6 XRRRR$IfkdN$$If\'BBBB t064Babyt.t 6 7 E Q KL^h#$+ijwx<F+2{&24;efst{ h.h.56OJQJ\]h.h.5OJQJ\h.h.CJOJQJaJh.h.OJQJh.h.6OJQJ]I6 7 E KXRRRR$Ifkd$$If\'BBBB t064Babyt.KLNP^XRRRR$Ifkd$$If\'BBBB t064Babyt.XRR$Ifkd$$If\'BBBB t064Babyt.$jx||||$If|kd$$If0'BB t064Babyt..<XRRRR$Ifkd=$$If\'BBBB t064Babyt.m{XRRRR$Ifkd $$If\'BBBB t064Babyt.&eXRRRR$Ifkd $$If\'BBBB t064Babyt.eftXRRRR$Ifkd $$If\'BBBB t064Babyt._f$+[\j   %&'5CIJXd-.;<CopqǤ1h.h.B*CJOJQJ^JaJmH ph333sH )h.h.B*CJOJQJ^JaJph333h.h.6OJQJ]h.h.CJOJQJaJh.h.5OJQJ\ h.h.56OJQJ\]h.h.OJQJ6[XRRRR$Ifkdy $$If\'BBBB t064Babyt.[\XR$IfkdH $$If\'BBBB t064Babyt. &||$If [$\$gd.gd.gkd $$If'B t064Babyt.&'5I||$If|kd $$If0'BB t064Babyt.IJX||$If|kdo$$If0'BB t064Babyt.||$If|kd"$$If0'BB t064Babyt..<p||||$If|kd$$If0'BB t064Babyt.pq)7XRRRR$Ifkd$$If\('BBBB t064Babyt.7A:A >?MY ()67>mno}eq [b/ 6 z { h.h.56OJQJ\]h.h.5OJQJ\h.h.CJOJQJaJh.h.OJQJh.h.6OJQJ]I~>XRRRR$IfkdW$$If\('BBBB t064Babyt.>?MXRRRR$Ifkd&$$If\('BBBB t064Babyt.XRRRR$Ifkd$$If\('BBBB t064Babyt.XRR$Ifkd$$If\('BBBB t064Babyt.)7n||||$If|kd$$If0'BB t064Babyt.no}WeXRRRR$IfkdF$$If\('BBBB t064Babyt. z XRRRR$Ifkd$$If\('BBBB t064Babyt.z { !+!!XRRRR$Ifkd$$If\('BBBB t064Babyt. +!7!!!!!!!!!!!!"?"@"A"B"I""""""""##/#######$%$U$V$W$X$_$$$$$$$$$V%W%d%e%q%%%&&(&0&1&2&3&عخh.hUfOJQJ h.h.56OJQJ\]h.h.5OJQJ\h.h.CJOJQJaJh.h.6OJQJ]h.h.OJQJA!!!!XRR$Ifkd$$If\('BBBB t064Babyt.!!!@"B""||||$If|kd$$If0'BB t064Babyt."""####XRRRR$Ifkd5$$If\('BBBB t064Babyt.###Q$S$U$XRRRR$Ifkd$$If\('BBBB t064Babyt.U$V$X$$XRR$Ifkd$$If\('BBBB t064Babyt.$$$V%||$If|kd$$If0'BB t064Babyt.V%W%e%&||$If|kdU$$If0'BB t064Babyt.&&1&|$If|kd$$If0'BB t064Babyt.1&2&3&gd.gkd$$If'B t064Babyt.(/ =!n"n#n$n% $$If!vh55 $#v#v $:V  t06,5/ 4Byt.$$If!vh55 $#v#v $:V  t06,5/ 4Byt.$$If!vh55 $#v#v $:V  t06,5/ 4Byt.$$If!vh55 $#v#v $:V  t06,5/ 4Byt.$$If!vh55 $#v#v $:V  t06,5/ 4Byt.$$If!vh5555#v#v#v#v:V  t06,5/ 4Byt.$$If!vh5555#v#v#v#v:V  t06,5/ 4Byt.$$If!vh5555#v#v#v#v:V  t06,5/ 4Byt.$$If!vh5555#v#v#v#v:V  t06,5/ 4Byt.$$If!vh5555#v#v#v#v:V  t06,5/ 4Byt.$$If!vh55 $#v#v $:V  t06,5/ 4Byt.$$If!vh5555#v#v#v#v:V  t06,5/ 4Byt.$$If!vh5555#v#v#v#v:V  t06,5/ 4Byt.$$If!vh5555#v#v#v#v:V  t06,5/ 4Byt.$$If!vh5555#v#v#v#v:V  t06,5/ 4Byt.$$If!vh5555#v#v#v#v:V  t06,5/ 4Byt.$$If!vh5555#v#v#v#v:V  t06,5/ 4Byt.$$If!vh5'#v':V  t06,5/ 4Byt.$$If!vh55)$#v#v)$:V  t06,5/ 4Byt.$$If!vh55)$#v#v)$:V  t06,5/ 4Byt.$$If!vh55)$#v#v)$:V  t06,5/ 4Byt.$$If!vh55)$#v#v)$:V  t06,5/ 4Byt.$$If!vh55N55#v#vN#v#v:V  t06,5/ 4Byt.$$If!vh55N55#v#vN#v#v:V  t06,5/ 4Byt.$$If!vh55N55#v#vN#v#v:V  t06,5/ 4Byt.$$If!vh55N55#v#vN#v#v:V  t06,5/ 4Byt.$$If!vh55N55#v#vN#v#v:V  t06,5/ 4Byt.$$If!vh55)$#v#v)$:V  t06,5/ 4Byt.$$If!vh55N55#v#vN#v#v:V  t06,5/ 4Byt.$$If!vh55N55#v#vN#v#v:V  t06,5/ 4Byt.$$If!vh55N55#v#vN#v#v:V  t06,5/ 4Byt.$$If!vh55N55#v#vN#v#v:V  t06,5/ 4Byt.$$If!vh55)$#v#v)$:V  t06,5/ 4Byt.$$If!vh55N55#v#vN#v#v:V  t06,5/ 4Byt.$$If!vh55N55#v#vN#v#v:V  t06,5/ 4Byt.$$If!vh55N55#v#vN#v#v:V  t06,5/ 4Byt.$$If!vh55)$#v#v)$:V  t06,5/ 4Byt.$$If!vh55)$#v#v)$:V  t06,5/ 4Byt.$$If!vh55)$#v#v)$:V  t06,5/ 4Byt.$$If!vh5'#v':V  t06,5/ 4Byt.^ 666666666vvvvvvvvv666666>6666666666666666666666666666666666666666666666666hH6666666666666666666666666666666666666666666666666666666666666666662 0@P`p2( 0@P`p 0@P`p 0@P`p 0@P`p 0@P`p 0@P`p8XV~_HmHnHsHtH\`\ 1KG=K9*$1$,CJKHOJPJQJ^J_H9aJmH sH tH9Z@Z  03>;>2>: 2 @& & FOJQJCJ$5PJ^JaJ$\BA`B A=>2=>9 H@8DB 0170F0\i@\ 01KG=0O B01;8F0 :V 44 la .k . 0 5B A?8A:0 NON Heading x$OJQJCJPJ^JaJ@B@@ A=>2=>9 B5:AB x,/@, !?8A>:^JH"H Caption xx $CJ6^JaJ].2. Index $^J<B< Table Contents $FARF Table Heading $a$ $5\n^`bn .0 1KG=K9 (251)dd*$1$[$\$$KHOJPJQJ^J_HmHsHtHPK![Content_Types].xmlj0Eжr(΢Iw},-j4 wP-t#bΙ{UTU^hd}㨫)*1P' ^W0)T9<l#$yi};~@(Hu* Dנz/0ǰ $ X3aZ,D0j~3߶b~i>3\`?/[G\!-Rk.sԻ..a濭?PK!֧6 _rels/.relsj0 }Q%v/C/}(h"O = C?hv=Ʌ%[xp{۵_Pѣ<1H0ORBdJE4b$q_6LR7`0̞O,En7Lib/SeеPK!kytheme/theme/themeManager.xml M @}w7c(EbˮCAǠҟ7՛K Y, e.|,H,lxɴIsQ}#Ր ֵ+!,^$j=GW)E+& 8PK!Ƶtheme/theme/theme1.xmlYnE#;8U i-qN3'JH DA\8 R>CW]{'ސ{g?x݈]"$q+_,y>8{7 K }xLވHe 2{Rܜaˋ??<ߟdžSr$L].<İT̟72S"ѵ_JwL&BJ05kZVyVy|xC OO|x>+<>@(:??/>5{yxFDdm 3^q5'=q6nib-$RB}}YGq=xK@;)^qbha79g . pUʹ;bbmc[$c'a}5KKfH5HL!ݦ&|mK{N6M6hq v|y 58+zH  *~ HHy\K*t@G>{sA}"))y sGfۡqǾ'w E1 [8>ܤ4Aбt׎~ls14_>,Ȭ7TT GqME=w-i>mo[oiBszbP:j5if F 9Pɉ* k\ A ;!N`.{I SցD p3˅5veU}AbvyA/g 氚 Z N+lR~aeԩj9&&CLgMʼn7a A0ƀHEA3~{q q1vƨl効9)>൜fN1N FIrdq8Y^:_73.|3 f%Jش?MOY s 3;} Rc0`d[鯠$ÿ - έhǴ"P 6T{TUٴ+9E28Y*MOt0O9Bݍqg7Ŕ9O)z?7#]u rBIHAאTpl>՟,SpT4@~BA%}'0+{eRF&rĪ#uu\{BHuM6`pG}N+!'_oN콶3a3dXZzCyCUɪ嶂ZZZ۱f,fAg-@`g v6V?Dhf6t=M&ʺ6ײ'݉#֚>d8s9xN=ڮjAv11;u2%M2oN1uo%տPK! ѐ'theme/theme/_rels/themeManager.xml.relsM 0wooӺ&݈Э5 6?$Q ,.aic21h:qm@RN;d`o7gK(M&$R(.1r'JЊT8V"AȻHu}|$b{P8g/]QAsم(#L[PK-![Content_Types].xmlPK-!֧6 +_rels/.relsPK-!kytheme/theme/themeManager.xmlPK-!Ƶtheme/theme/theme1.xmlPK-! ѐ' theme/theme/_rels/themeManager.xml.relsPK] 3t  3&%.7Y u  6 Ke[&Ip>nz !!"#U$$V%&1&3& !"#$&'()*+,-/012345689:;<=>?@8@0(  B S  ?#.^fgo(/081: [abi.56= S\^d!()0jsHSXb4 < = D 4 < G O Q ] n v 4 @ CJLSMU![fhr{",17$s}dijo8=>FHS9C1>@IKSU]_g'/07"$/s55#wZ#%tE^$j.<+ { & 4 t _ $ \ X.<q7: M)7o}We [/+#We25P^`P@@^@`0^`0``^``^`^`^``^``00^0`:6]7.Uf35@   3@Unknown G* Times New Roman5Symbol3. * Arial7.{ @Calibri]Liberation SerifMS Mincho?& .)  DejaVu SansS Lohit HindiMS MinchoS&Liberation SansArialA BCambria Math"A h)"66! r0$$2 P7!xxjacob Oh+'0h   $ 0 <HPX` Normal.dotmjacob3Microsoft Office Word@F#@@B,@,g՜.+,0 hp  ISPRAS6$     !"#$%&'()*+,-./0123456789:;<=>?@ACDEFGHIJKLMNOPQSTUVWXYZ[\]^_`abcdefhijklmnpqrstuvyRoot Entry FG{Data B`1TableR(WordDocument*SummaryInformation(gDocumentSummaryInformation8oCompObjy  F' Microsoft Office Word 97-2003 MSWordDocWord.Document.89q