Institute of Nanotechnologies and System Engineering
System Engineering Center
System Engineering Center is the structural part of Institute of Nanotechnologies and System Engineering at Berdyansk State Pedagogical University (Ukraine)
System Engineering Center works in cooperation and with support of Open License Society (Belgium)
Goals
Research and Development in the System Engineering domain (read more…)
Methodology
Systems Development Methodology based on Interacting Entities paradigm (read more...)
Team
- Vitaliy Mezhuyev, co-director of the Institute of Nanotechnologies and System Engineering
- Maxim Pavlenko
- Andrew Nicenko
- Andrey Revenko read more…
- Dmitry Panfilov
- Alexander Keda
- Alexander Manzhula
- Michael Logvin
Projects
- Interacting Entities Systems Development Methodology (read more...)
- OpenSpecs Requirements and Specifications capturing tool supporting a coherent and unified system development methodology based on Interacting Entities paradigm (see experimental site)
- OpenSpecs redevelopment with Drupal Content Management System (see experimental site)
- OpenComRTOS Formal Modelling with Temporal Logic of Actions
- OpenComRTOS Visual Environment (read more...)
- Visual algorithms designer and TLA checker (read more...)
Events
International School and Seminar on Formal Methods in Software Engineering, Berdyansk, 9-16 September 2007, Berdyansk, Ukraine (read more...)
Fourth International Conference on Theoretical and Applied Aspects of Program Systems Development (TAAPSD’2007), 4-9 September 2007, Berdyansk, Ukraine (read more...)
International Seminar “Formal Modeling for Embedded Software Engineering”, 9-12 October 2006, Kiev, Ukraine (read more...)