Software and Service Engineering Laboratory
The Lab of Software and Service Engineering focuses on development of theories, methods, tools and programs covering two major aspects of software engineering: process side aimed at software development, and product side aimed at final results of the processes.
We have been pursuing the objective of improving Software Quality of the final product. This can be achieved by process optimization, as well as usage of effective architectural styles, design patterns and well-established software engineering techniques for design, testing and verification. In particular, our work has been focused on service-based architectural styles and concurrent service-based systems.
Head of the Laboratory – Nikolay Shilov
n.shilov@innopolis.ruLaboratory Activities
Software and Service Engineering Laboratory of Innopolis University is devoted to method and tool development for software quality improvement. Although we attempt to cover the whole field of software engineering, our areas of emphasis are:
— Software verification (both proofs and tests)
— Concurrency
— Persistence and evolution
— Object-oriented reengineering
— Language design and evolution (with particular focus on Eiffel)
— Software architectures
— Model checking and temporal logic
— Process calculi
— Service-oriented programming
— Microservices (with particular focus on Jolie)
— Social networks and trust algorithms
— IoT and Smart Cities
— DevOps
— User Experience and Usability
— Global Health
— Web mining