The seminar is devoted to modern problems of software engineering, development tools and methods, program analysis and verification. Topics discussed in the seminar include
Requirements engineering, analysis and modeling
Paradigms for computers modeling
Static and dynamic program analysis
Dynamic verification and monitoring
Automatic test case generation
Verification completeness analysis
Performance modeling, measuring and testing
Security and safety analysis
Integration of verification methods
Problems of propagation of new technologies to software engineering practices
Problems of teaching software development and analysis
The seminar is intended to students, researchers, engineers, industrial experts. The companies participating in the seminar include Intel, Microsoft, Яндекс.
The seminar takes place in Moscow, Russia, each third Thursday every month. Start time is 5p.m. Auditorium “110″ of the Institute for System Programming of Russian Academy of Sciences (see map on the right).
Aleksandr Samonov — senior researcher at Mozhaisky Military Space Academy, Ph.D., assistant professor.
The talk presents the results of the analysis of modern scientific publications, the existing regulatory framework, as well as the technologies and tools used for developing software for critical computer intensive systems. The author proposes to develop a unified modeling/language environment for the implementation of a software-controlled development process. The main components of this environment and process are:
- graphical/textual metamodel of a formalized representation of a set of requirements and architecture descriptions in the form of interrelated fUML diagrams;
- method of implementation of software-controlled development and verification process using the developed models and algorithms.
Shishkin Evgeniy is a leading researcher at InfoTeCS. His scientific interests are software deductive formal verification, formal specification, specialized domain logics construction, distributed and reactive systems specification and verification, functional programming.
Antonina Nepeivoda is a researcher at Research Center for Multiprocessor Systems of The Program Systems Institute of Russian Academy of Sciences. Her scientific interests are program transformation and program anaysis, formal languages, formal grammars.
Back in the 1970s a fold-unfold based program transformation technique named supercompilation was developed by V.F. Turchin for the language Refal for the associative data type (the string data type supplied by the bracket constructor). The talk describes a refinement of Turchin’s supercompilation method for the string data type, which essentially uses the associativity property. A new restriction type, namely word equations, is proposed in the refinement. An example of program transformation and analysis done by a model supercompilation tool that uses this new restriction type are shown in the talk.