The Software Engineering Laboratory aims to integrate new algebraic and formal techniques with emerging software engineering design methodology in order to solve practical problems of software development and maintenance while making effective use of software tools and engineering practice. The development of software systems is now regarded as among the most complex tasks performed by human kind. The problems due to the scale of this complexity affect the costs and time expendedon the construction of software systems. After being built, software systems may be unreliable, diAEcult to use and, even most seriously, their maintenance and evolution are generally fraught with unforeseen costs and peril. These problems, together withever-increasing demandfor software systems, comprise the software crisis. Our work spans the frame from requirements capture, design and specification to software maintenance, re-use and evolution. Lab members lead the Framework for Advanced Software Techniques Research Group, a cooperative project with other Laboratory and other University. Part of the research aims to develop maintenance process models in order to create a software maintenance environment to recover higher level documentation of existing software systems to bring them into intelligent Agent Systems . With this mechanism, existing software systems will benefit from forward engineering tools provided by the UML environment. Sophisticated mathematical methods in our Agent System approach to software systems provide a foundation for the object-oriented paradigm and are now being applied in a variety of settings. The laboratory is constructing and providing the server of exercising and lecture for software engineering course for our university's students and also making a project of the software maintenance research and education. Student research as software lab focused on maintenance' and human resource management on UML and unified process, risk management on UML and maintenance management with intelligent Agent system on Unified Process. Our SE lab obtained additionally so many powerful Linux workstations, so many personal computers, various printers and CASE tools.

Prof. Osano provides many research fields. One of those is as Software Robot that is constructed with the mechanism of humanbeing will be researched as artificial intelligence, artificial life, remembering model, speaking model s like human with using dates on computer, awake or awareness model, feeling of human,Transaction Analysis(TA) on computer, voice analysis of human speaking on TA and the traffic model(ITS) and PSA support system of a daily meal for the sick of diabetes on multi-agent system, Other is a research of artificial life which species theory of evolution system on the nature life are analyzed with simulation on Computer with developing new dynamical evolutionary algorithm and applied TSP(traveling salesman problem), immunity model and digital plant.

Prof. A. Vazhenin provides investigations related to research and development amultimedia programming technology, WEB-based programming tools as well as high-precision computations. Amultimedia technology is used for the interactive specification of application algorithms. This research isimplemented together with the Distributed Processing Laboratory. The key point of such technology is the use of self-explanatory components in a film format. A film is a series of color stills supported, if necessary, by text and voice/sound. Each still is to represent a view (some features) of objects or processes. In our approach, each method is considered as a plan of actions for solving a problem. To test our approach, we consider various computational methods and prepare knowledge of these methods in the film format. Matrix computations are under our special attention. They are the heart of most applications in scientific computing. The great attention is paid to the special visual language that is oriented to inputandverify arithmetic/logical expressions, as well as special user-oriented interface using multimedia icons and high-level program keyboards.

The other investigations are directed to research and development of basic elements of the WWW-oriented Workplace of Applied Programmer (W4AP). From the user's viewpoint, this workplace represents an application-oriented virtual machine being accessible via standard WEB-browsers. This means that the hardware/software features of theW4APserver shouldbehiddenfromthe applied user. The process of the research implementation is based on using modern technologies like object-oriented programming, clustering computational and multimedia resources, networking as well as parallel, distributed and client/server platforms and Internet Computing. The created system should also have the high-level of security because of the high risk of Internet-applications. The proposed approach allows to increase application programmer productivity, support parallel program transparency, and provide accessibility of parallel computers to large user populations. To imvolve this approach in the teaching process, investigations are also implemented in the framework of the SCCP-project.