]> BibSonomy publications for /author/Tkachuk http://www.bibsonomy.org/burst/author/Tkachuk BibSonomy BuRST Feed for /author/Tkachuk 2008-07-27T02:51:36+02:00 Adaptive Macro-designing Technology for Complex Process Control Systems. dblphttp://www.bibsonomy.org/bibtex/23591d37e67e0fa8e3c240f56b9f5dfa1/dblp dblp 2008-05-16T00:00:00+02:00 dblp
Adaptive Macro-designing Technology for Complex Process Control Systems.
Mykola V. Tkachuk UNISCON 340-351 (2008)
to dblp by dblp on 2008-05-16 00:00:00 ]]> UNISCONconf/ista/2008340-351Lecture Notes in Business Information ProcessingAdaptive Macro-designing Technology for Complex Process Control Systems.52008dblp 2008-05-16 00:00:00.0 Towards Prototyping-Based Technology for Adaptive Software Development. dblphttp://www.bibsonomy.org/bibtex/256e2b6523595b6d883fd305a5ebf6e63/dblp dblp 2008-05-16T00:00:00+02:00 dblp
Towards Prototyping-Based Technology for Adaptive Software Development.
Mykola V. Tkachuk and Andriy Zemlyanoy and Rustam Gamzayev UNISCON 508-518 (2008)
to dblp by dblp on 2008-05-16 00:00:00 ]]> UNISCONconf/ista/2008508-518Lecture Notes in Business Information ProcessingTowards Prototyping-Based Technology for Adaptive Software Development.52008dblp 2008-05-16 00:00:00.0 Adapting side effects analysis for modular program model checking. dblphttp://www.bibsonomy.org/bibtex/214359ac9b96a15b0dafc2114d7239fe8/dblp dblp 2008-05-09T00:00:00+02:00 dblp
Adapting side effects analysis for modular program model checking.
Oksana Tkachuk and Matthew B. Dwyer ESEC / SIGSOFT FSE 188-197 (2003)
to dblp by dblp on 2008-05-09 00:00:00 ]]> ESEC / SIGSOFT FSEconf/sigsoft/2003188-197Adapting side effects analysis for modular program model checking.2003dblp 2008-05-09 00:00:00.0 Combining environment generation and slicing for modular software model checking. dblphttp://www.bibsonomy.org/bibtex/2074d6a9b3459c507744f08f7237d2358/dblp dblp 2008-02-07T00:00:00+01:00 dblp
Combining environment generation and slicing for modular software model checking.
Oksana Tkachuk and Sreeranga P. Rajan ASE 401-404 (2007)
to dblp by dblp on 2008-02-07 00:00:00 ]]> ASEconf/kbse/2007401-404Combining environment generation and slicing for modular software model checking.2007dblp 2008-02-07 00:00:00.0 Application of automated environment generation to commercial software. dblphttp://www.bibsonomy.org/bibtex/25c8be4ee3b2562939249fc1b2fd82bc0/dblp dblp 2006-12-06T00:00:00+01:00 dblp
Application of automated environment generation to commercial software.
Oksana Tkachuk and Sreeranga P. Rajan ISSTA 203-214 (2006)
to dblp by dblp on 2006-12-06 00:00:00 ]]> ISSTAconf/issta/2006203-214Application of automated environment generation to commercial software.2006dblp 2006-12-06 00:00:00.0 An Approach to Knowledge-based Data Handling in Complex Process. dblphttp://www.bibsonomy.org/bibtex/26cff4ce79286e61c9363a0e6e86ec4af/dblp dblp 2006-07-27T00:00:00+02:00 dblp
An Approach to Knowledge-based Data Handling in Complex Process.
Rustam Gamzayev and Dmytry V. Kuklenko and Mykola V. Tkachuk ISTA 61-72 (2005)
to dblp by dblp on 2006-07-27 00:00:00 ]]> ISTAconf/ista/200561-72LNIAn Approach to Knowledge-based Data Handling in Complex Process.632005dblp 2006-07-27 00:00:00.0 An Approach to Advanced Data Synchronization in Complex Process Control Systems. dblphttp://www.bibsonomy.org/bibtex/29386a58bc036b2302db291f2fa583823/dblp dblp 2006-07-27T00:00:00+02:00 dblp
An Approach to Advanced Data Synchronization in Complex Process Control Systems.
Dmytry V. Kuklenko and Rustam Gamzayev and V. Goloborodko and Mykola V. Tkachuk ISTA 221-227 (2004)
to dblp by dblp on 2006-07-27 00:00:00 ]]> ISTAconf/ista/2004221-227LNIAn Approach to Advanced Data Synchronization in Complex Process Control Systems.482004dblp 2006-07-27 00:00:00.0 Fuzzy-Logic Modeling Approach for System Requirements Management. dblphttp://www.bibsonomy.org/bibtex/2e543f5474e3e76f8e3661ad8e4378cc6/dblp dblp 2006-07-26T00:00:00+02:00 dblp
Fuzzy-Logic Modeling Approach for System Requirements Management.
Mykola V. Tkachuk and Michail D. Godlevsky and Andriy Zemlyanoy and Rustam Gamzayev ISTA 185-188 (2006)
to dblp by dblp on 2006-07-26 00:00:00 ]]> ISTAconf/ista/2006185-188LNIFuzzy-Logic Modeling Approach for System Requirements Management.842006dblp 2006-07-26 00:00:00.0 Ontological Modelling of Information Systems from Bunge's Contributions. dblphttp://www.bibsonomy.org/bibtex/28ecb9b111b7c92636808544539d5f79c/dblp dblp 2006-03-01T00:00:00+01:00 dblp
Ontological Modelling of Information Systems from Bunge's Contributions.
Susana I. Herrera and Diana Pallioto and Gregorio N. Tkachuk and Pedro A. Luna CAiSE Workshops (2) 571-581 (2005)
to dblp by dblp on 2006-03-01 00:00:00 ]]> CAiSE Workshops (2)conf/caise/2005w2571-581Ontological Modelling of Information Systems from Bunge's Contributions.2005dblp 2006-03-01 00:00:00.0 Analyzing Interaction Orderings with Model Checking. dblphttp://www.bibsonomy.org/bibtex/2b47265fb4e0c3c95d5f280d6eab4324d/dblp dblp 2004-10-08T00:00:00+02:00 dblp
Analyzing Interaction Orderings with Model Checking.
Matthew B. Dwyer and Robby and Oksana Tkachuk and Willem Visser ASE 154-163 (2004)
to dblp by dblp on 2004-10-08 00:00:00 ]]> ASEconf/kbse/2004154-163Analyzing Interaction Orderings with Model Checking.2004dblp 2004-10-08 00:00:00.0