2017-2023
Master projects at Open University of the Netherlands
2016
Choice of modeling techniques in multidisciplinary research
2015
KPI design methods. Collaboration with TU Eindhoven.
Monitoring of study-paths. OU Nederland
2014
Model-based testing. Collaboration with TU Eindhoven.
Capability-affordance modelling. Collaboration with the University of Reading, Henley business school.
2013
Non-functional requirements and conceptual modelling in EXTREME
2012
E-choreogrphy project.
EXTREME: EXecuTable Requirements Engineering, Management and Evolution.
2011
Requirements engineering of business information systems using behavioural models.
Simulation techniques
Master projects at Open University of the Netherlands
2016
Choice of modeling techniques in multidisciplinary research
2015
KPI design methods. Collaboration with TU Eindhoven.
Monitoring of study-paths. OU Nederland
2014
Model-based testing. Collaboration with TU Eindhoven.
Capability-affordance modelling. Collaboration with the University of Reading, Henley business school.
2013
Non-functional requirements and conceptual modelling in EXTREME
2012
E-choreogrphy project.
EXTREME: EXecuTable Requirements Engineering, Management and Evolution.
2011
Requirements engineering of business information systems using behavioural models.
Simulation techniques
2010
The "Strategy Open Educational Resources" project, funded by the Open Universiteit of the Netherlands
StOER
Requirements engineering with business rules and behavioural models
with S. Joosten, Lex Wedemeijer, Karel Lemmen,OU and Ashley McNeile, Metamaxim Ltd, UK
Behavioural Models-Foundations and Applications
AOM 2010 at Bellairs, Barbados
2009
Comprehension of Component Based Programs (with A. Serebrenik, S. Roubtsov, M.van den Brand)
2005-2008
Aspect-Oriented Modelling and Requirements Engineering
We work in collaboration with Ashley McNeile, Metamaxim Ltd, UK on how the ideas of Protocol Modelling apply to Aspect Oriented Design2000-2004
Project SpecTEC "Specification Tools for embedded components" TU Eindhoven, Eindhoven Embedded Systems Institute,
Faculty of Mathematics and Informatics1999-2000
Project RAPPORT "Real-Time Applications. Object Repository Toolset"
1998-1999
"Methods of Analysis for Protocols of parallel interacted processes", N99-01-0029;
Yaroslavl State University. RFBR (Russian Foundation for Basic Research).
The project leader
"Models and tools for design, analysis and verification
of different classes of Data-Flow Graphs with data structures".
Ministry of general and professional education of Russia
The project leader
1994- 1996
"Models and Algorithms for Recursive-Parallel Programming".
Yaroslavl State University.RFBR (Russian Foundation for Basic Research), N9401-01431
1989-1990
"Analysis and verification of functional schemes of regulator algorithms of heating plants"
Institute of Control Science (IAT), Moscow.
The project leader
1987-1989
"Instrumental Complex for Automation Design of Control Microsystems".
1985-1986
"Microprocessor system for tire quality control".
Yaroslavl Technical University; N HP 0184U0004292.
1984-1986
"Microprocessor system for oil-products density control"
Yaroslavl Technical University, N 02860016913,N 01860018786.
1983-1984
"Microprocessor system for carbonic acid concentration control”.
Yaroslavl Technical University.
The "Strategy Open Educational Resources" project, funded by the Open Universiteit of the Netherlands
StOER
Requirements engineering with business rules and behavioural models
with S. Joosten, Lex Wedemeijer, Karel Lemmen,OU and Ashley McNeile, Metamaxim Ltd, UK
Behavioural Models-Foundations and Applications
AOM 2010 at Bellairs, Barbados
2009
Comprehension of Component Based Programs (with A. Serebrenik, S. Roubtsov, M.van den Brand)
2005-2008
Aspect-Oriented Modelling and Requirements Engineering
We work in collaboration with Ashley McNeile, Metamaxim Ltd, UK on how the ideas of Protocol Modelling apply to Aspect Oriented Design2000-2004
Project SpecTEC "Specification Tools for embedded components" TU Eindhoven, Eindhoven Embedded Systems Institute,
Faculty of Mathematics and Informatics1999-2000
Project RAPPORT "Real-Time Applications. Object Repository Toolset"
1998-1999
"Methods of Analysis for Protocols of parallel interacted processes", N99-01-0029;
Yaroslavl State University. RFBR (Russian Foundation for Basic Research).
The project leader
"Models and tools for design, analysis and verification
of different classes of Data-Flow Graphs with data structures".
Ministry of general and professional education of Russia
The project leader
1994- 1996
"Models and Algorithms for Recursive-Parallel Programming".
Yaroslavl State University.RFBR (Russian Foundation for Basic Research), N9401-01431
1989-1990
"Analysis and verification of functional schemes of regulator algorithms of heating plants"
Institute of Control Science (IAT), Moscow.
The project leader
1987-1989
"Instrumental Complex for Automation Design of Control Microsystems".
1985-1986
"Microprocessor system for tire quality control".
Yaroslavl Technical University; N HP 0184U0004292.
1984-1986
"Microprocessor system for oil-products density control"
Yaroslavl Technical University, N 02860016913,N 01860018786.
1983-1984
"Microprocessor system for carbonic acid concentration control”.
Yaroslavl Technical University.