Pub Date : 2009-10-01DOI: 10.1109/CEE-SECR.2009.5501149
S. Fomin
Almost forty years have passed since the first source code version control systems were created. During that time many VCS (Version Control Systems) were created, each of them had its own advantages and drawbacks, and version control became an indispensable practice of competent development.
{"title":"“The cathedral or the Bazaar”: Version control — centralized or distributed?","authors":"S. Fomin","doi":"10.1109/CEE-SECR.2009.5501149","DOIUrl":"https://doi.org/10.1109/CEE-SECR.2009.5501149","url":null,"abstract":"Almost forty years have passed since the first source code version control systems were created. During that time many VCS (Version Control Systems) were created, each of them had its own advantages and drawbacks, and version control became an indispensable practice of competent development.","PeriodicalId":402768,"journal":{"name":"2009 5th Central and Eastern European Software Engineering Conference in Russia (CEE-SECR)","volume":"198 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115231822","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2009-10-01DOI: 10.1109/CEE-SECR.2009.5501141
Slava A. Vassiliev
Medical mistakes at creation of the process of diagnostics and therapy (further-course) can lead to the most fatal consequences for the patient. It is necessary for doctor to keep in mind the wide range of diverse factors in a context of the current status of the patient. In this report the innovative method of creation of the course of drug therapy is presented. The course is considered as the program in Domain-Specific Language. Are described base entities of this language (the Patient, Therapy, Diagnostics) and course engineering process (creation, translation, debug and deployment of the final programs at mobile devices). The integrated development environment has been developed with Microsoft Visual Studio Shell technology. The analysis of compatibility of the medicaments has been implemented by the logic programming (Prolog). Set of predicates is generated from the drug's descriptions. The analysis of efficiency of this approach for elimination of the typical errors is presented.
在诊断和治疗过程中出现的医疗错误(进一步的过程)可能对患者造成最致命的后果。这是必要的医生要记住在病人的当前状态的背景下，各种各样的因素。在本报告中，提出了创新的药物治疗过程创建方法。本课程被视为领域特定语言课程。描述了该语言的基本实体(患者、治疗、诊断)和课程工程过程(在移动设备上创建、翻译、调试和部署最终程序)。集成开发环境是使用Microsoft Visual Studio Shell技术开发的。通过逻辑编程(Prolog)实现了药物相容性分析。根据药物的描述生成一组谓词。分析了该方法消除典型误差的效率。
{"title":"Using microsoft DSL technology to planning of the drug therapy course and diagnostic process","authors":"Slava A. Vassiliev","doi":"10.1109/CEE-SECR.2009.5501141","DOIUrl":"https://doi.org/10.1109/CEE-SECR.2009.5501141","url":null,"abstract":"Medical mistakes at creation of the process of diagnostics and therapy (further-course) can lead to the most fatal consequences for the patient. It is necessary for doctor to keep in mind the wide range of diverse factors in a context of the current status of the patient. In this report the innovative method of creation of the course of drug therapy is presented. The course is considered as the program in Domain-Specific Language. Are described base entities of this language (the Patient, Therapy, Diagnostics) and course engineering process (creation, translation, debug and deployment of the final programs at mobile devices). The integrated development environment has been developed with Microsoft Visual Studio Shell technology. The analysis of compatibility of the medicaments has been implemented by the logic programming (Prolog). Set of predicates is generated from the drug's descriptions. The analysis of efficiency of this approach for elimination of the typical errors is presented.","PeriodicalId":402768,"journal":{"name":"2009 5th Central and Eastern European Software Engineering Conference in Russia (CEE-SECR)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124234401","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2009-10-01DOI: 10.1109/CEE-SECR.2009.5501234
S. Azad, J. Esmaeili
Research activities in mobile computing environments have been focused, in recent years. To deal with the dynamic nature of mobile environments, middleware has been cited as an appropriate approach for the development of mobile applications. Several middleware models have been proposed so far. We have proposed a new model in middleware, based on tuple-spaces. Clustering technique is applied to tuple-spaces, in order to increase the performance, when a large number of tuples are involved. The proposed model is developed, and implemented as a coordination service in mobile computing environments. Tuple-space has a few partitions and a tuple space manager controls them. We conclude that, exploiting this model improves accessibility, security and fault toleration.
{"title":"A model for using and coordinating heterogeneous mobile service providers","authors":"S. Azad, J. Esmaeili","doi":"10.1109/CEE-SECR.2009.5501234","DOIUrl":"https://doi.org/10.1109/CEE-SECR.2009.5501234","url":null,"abstract":"Research activities in mobile computing environments have been focused, in recent years. To deal with the dynamic nature of mobile environments, middleware has been cited as an appropriate approach for the development of mobile applications. Several middleware models have been proposed so far. We have proposed a new model in middleware, based on tuple-spaces. Clustering technique is applied to tuple-spaces, in order to increase the performance, when a large number of tuples are involved. The proposed model is developed, and implemented as a coordination service in mobile computing environments. Tuple-space has a few partitions and a tuple space manager controls them. We conclude that, exploiting this model improves accessibility, security and fault toleration.","PeriodicalId":402768,"journal":{"name":"2009 5th Central and Eastern European Software Engineering Conference in Russia (CEE-SECR)","volume":"108 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132975301","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2009-10-01DOI: 10.1109/CEE-SECR.2009.5501174
N. Koshkina
This article considers career stages, stimulation types, a using of punitive sanctions, demotivators. There are the samples of employee motivation based on needs reduction.
本文考虑了职业生涯阶段、激励类型、惩罚性制裁的使用、激励因素。有基于需求减少的员工激励的例子。
{"title":"IT specialists motivation based on needs reduction","authors":"N. Koshkina","doi":"10.1109/CEE-SECR.2009.5501174","DOIUrl":"https://doi.org/10.1109/CEE-SECR.2009.5501174","url":null,"abstract":"This article considers career stages, stimulation types, a using of punitive sanctions, demotivators. There are the samples of employee motivation based on needs reduction.","PeriodicalId":402768,"journal":{"name":"2009 5th Central and Eastern European Software Engineering Conference in Russia (CEE-SECR)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134428955","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2009-10-01DOI: 10.1109/CEE-SECR.2009.5501150
J. Smoylovskaya
Due to decreasing of demand on the corporate informational systems becomes an important question the improvement of price-quality relation of the software product. It requires increasing of the quality level in the same time with prime cost decreasing. The aim of the given work is to describe the possibility of resource usage optimization applying different system development methodologies. In the analysis were used waterfall, iteration, spiral, and agile methodologies. The criteria of choice from them are described taking into account necessity of project's time and cost spending minimization. In the work were analyses risks that can appear at application of different methodologies, and ways of their minimization. As a result of the performed analysis in the article is proposed to choose methodology not for the company as a whole but for each separate project. In the article are given practical recommendations that can be used in the real projects.
{"title":"The criteria of system development methodology choice for the minimization of the time and resources","authors":"J. Smoylovskaya","doi":"10.1109/CEE-SECR.2009.5501150","DOIUrl":"https://doi.org/10.1109/CEE-SECR.2009.5501150","url":null,"abstract":"Due to decreasing of demand on the corporate informational systems becomes an important question the improvement of price-quality relation of the software product. It requires increasing of the quality level in the same time with prime cost decreasing. The aim of the given work is to describe the possibility of resource usage optimization applying different system development methodologies. In the analysis were used waterfall, iteration, spiral, and agile methodologies. The criteria of choice from them are described taking into account necessity of project's time and cost spending minimization. In the work were analyses risks that can appear at application of different methodologies, and ways of their minimization. As a result of the performed analysis in the article is proposed to choose methodology not for the company as a whole but for each separate project. In the article are given practical recommendations that can be used in the real projects.","PeriodicalId":402768,"journal":{"name":"2009 5th Central and Eastern European Software Engineering Conference in Russia (CEE-SECR)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131215555","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2009-10-01DOI: 10.1109/CEE-SECR.2009.5501231
M. Akhin, V. Itsykson
Regression software testing is one of the ways to increase software development efficiency. The purpose of regression testing is to check program correctness after it was modified. This could be archived by executing all regression tests, and usually takes significant time while executing unnecessary regression tests.
{"title":"A regression test selection technique based on incremental dynamic analysis","authors":"M. Akhin, V. Itsykson","doi":"10.1109/CEE-SECR.2009.5501231","DOIUrl":"https://doi.org/10.1109/CEE-SECR.2009.5501231","url":null,"abstract":"Regression software testing is one of the ways to increase software development efficiency. The purpose of regression testing is to check program correctness after it was modified. This could be archived by executing all regression tests, and usually takes significant time while executing unnecessary regression tests.","PeriodicalId":402768,"journal":{"name":"2009 5th Central and Eastern European Software Engineering Conference in Russia (CEE-SECR)","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114591778","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2009-10-01DOI: 10.1109/CEE-SECR.2009.5501159
Tatiana Smekhnova
Developing and testing complicated applications is sometimes a dull and tedious job that requires self-control and powerful incentive. In those cases increasing motivation of workers becomes even more important. In the paper the author offers simple but effective ways how to increase employee inner motivation and interest.
{"title":"CEE-SECR 2009 self-motivation in difficult IT-projects","authors":"Tatiana Smekhnova","doi":"10.1109/CEE-SECR.2009.5501159","DOIUrl":"https://doi.org/10.1109/CEE-SECR.2009.5501159","url":null,"abstract":"Developing and testing complicated applications is sometimes a dull and tedious job that requires self-control and powerful incentive. In those cases increasing motivation of workers becomes even more important. In the paper the author offers simple but effective ways how to increase employee inner motivation and interest.","PeriodicalId":402768,"journal":{"name":"2009 5th Central and Eastern European Software Engineering Conference in Russia (CEE-SECR)","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122716249","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2009-10-01DOI: 10.1109/CEE-SECR.2009.5501163
Yury Bogoyavlenskiy, A. Voronin, D. Korzun, A. Borodin, Alexandr S. Kolosov, M. Kryshen
In this paper, we show that Russian state educational standards “Applied Mathematics and Computer Science” and “Information Systems and Technology” are appropriate for teaching students to industrial programming tools and technology on open platforms. We introduce our scheme of study courses that provides mastering students to the software development competences. The core of scheme is the course on Software Engineering (SE) for 3rd year students. The approach essentially facilitates “the phase transition” of a student personality from her/his educational activity to the labor one, accelerating admission of graduates into manufacturing processes of the software industry. The approach applicability is demonstrated with examples of software engineering projects for Nokia Internet tablets on open platform Maemo Diablo 4.1.
{"title":"Programming for open platforms at universities: Experience of joint activity of Petrozavodsk state university and Nokia university cooperation program","authors":"Yury Bogoyavlenskiy, A. Voronin, D. Korzun, A. Borodin, Alexandr S. Kolosov, M. Kryshen","doi":"10.1109/CEE-SECR.2009.5501163","DOIUrl":"https://doi.org/10.1109/CEE-SECR.2009.5501163","url":null,"abstract":"In this paper, we show that Russian state educational standards “Applied Mathematics and Computer Science” and “Information Systems and Technology” are appropriate for teaching students to industrial programming tools and technology on open platforms. We introduce our scheme of study courses that provides mastering students to the software development competences. The core of scheme is the course on Software Engineering (SE) for 3rd year students. The approach essentially facilitates “the phase transition” of a student personality from her/his educational activity to the labor one, accelerating admission of graduates into manufacturing processes of the software industry. The approach applicability is demonstrated with examples of software engineering projects for Nokia Internet tablets on open platform Maemo Diablo 4.1.","PeriodicalId":402768,"journal":{"name":"2009 5th Central and Eastern European Software Engineering Conference in Russia (CEE-SECR)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116914347","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2009-10-01DOI: 10.1109/CEE-SECR.2009.5501181
Oleg A. Stepanov, A. Borisenko, Pavel Fedotov
An important part of creating systems with complex behavior is quality control. Regression makes it important not just to check that the developed program satisfies all its requirements, but also makes this process efficient, maximally automates it. In practice, this can be done with formalized program requirements and keeping of executable specification together with the code of the program This paper focuses on improvement of presentation of specifications for automata programs where complex behavior is expressed in a number of explicitly separated states. We show how to formalize specifications using tests, temporal formulas and contracts and integrate these presentations into integrated development process. We also suggest how to preserve the correctness of automata programs during redesign of complex behavior.
{"title":"Development of reliable software with complex behavior","authors":"Oleg A. Stepanov, A. Borisenko, Pavel Fedotov","doi":"10.1109/CEE-SECR.2009.5501181","DOIUrl":"https://doi.org/10.1109/CEE-SECR.2009.5501181","url":null,"abstract":"An important part of creating systems with complex behavior is quality control. Regression makes it important not just to check that the developed program satisfies all its requirements, but also makes this process efficient, maximally automates it. In practice, this can be done with formalized program requirements and keeping of executable specification together with the code of the program This paper focuses on improvement of presentation of specifications for automata programs where complex behavior is expressed in a number of explicitly separated states. We show how to formalize specifications using tests, temporal formulas and contracts and integrate these presentations into integrated development process. We also suggest how to preserve the correctness of automata programs during redesign of complex behavior.","PeriodicalId":402768,"journal":{"name":"2009 5th Central and Eastern European Software Engineering Conference in Russia (CEE-SECR)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129251300","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2009-10-01DOI: 10.1109/CEE-SECR.2009.5501232
A. Ponomarenko, V. Rubanov, A. Khoroshilov
This paper discusses a problem of ensuring backward binary compatibility of Linux shared libraries. Breakage of the compatibility may result in crashing or incorrect behavior of applications built with an old version of a library when it is running with a new one. Existing tools may detect only a small part of all possible backwards compatibility problems. This paper presents a new fully automated method for checking backward binary compatibility and detecting a broad spectrum of possible problems. This method is based on comparison of function signatures and type definitions obtained from library header files. This paper also describes structure of a lightweight tool that implements the proposed method.
{"title":"A system for backward binary compatibility analysis of shared libraries in Linux","authors":"A. Ponomarenko, V. Rubanov, A. Khoroshilov","doi":"10.1109/CEE-SECR.2009.5501232","DOIUrl":"https://doi.org/10.1109/CEE-SECR.2009.5501232","url":null,"abstract":"This paper discusses a problem of ensuring backward binary compatibility of Linux shared libraries. Breakage of the compatibility may result in crashing or incorrect behavior of applications built with an old version of a library when it is running with a new one. Existing tools may detect only a small part of all possible backwards compatibility problems. This paper presents a new fully automated method for checking backward binary compatibility and detecting a broad spectrum of possible problems. This method is based on comparison of function signatures and type definitions obtained from library header files. This paper also describes structure of a lightweight tool that implements the proposed method.","PeriodicalId":402768,"journal":{"name":"2009 5th Central and Eastern European Software Engineering Conference in Russia (CEE-SECR)","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126270703","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：