期刊文献+
共找到74篇文章
< 1 2 4 >
每页显示 20 50 100
Towards Improving the Quality of Requirement and Testing Process in Agile Software Development:An Empirical Study
1
作者 Irum Ilays Yaser Hafeez +4 位作者 Nabil Almashfi Sadia Ali Mamoona Humayun Muhammad Aqib Ghadah Alwakid 《Computers, Materials & Continua》 SCIE EI 2024年第9期3761-3784,共24页
Software testing is a critical phase due to misconceptions about ambiguities in the requirements during specification,which affect the testing process.Therefore,it is difficult to identify all faults in software.As re... Software testing is a critical phase due to misconceptions about ambiguities in the requirements during specification,which affect the testing process.Therefore,it is difficult to identify all faults in software.As requirement changes continuously,it increases the irrelevancy and redundancy during testing.Due to these challenges;fault detection capability decreases and there arises a need to improve the testing process,which is based on changes in requirements specification.In this research,we have developed a model to resolve testing challenges through requirement prioritization and prediction in an agile-based environment.The research objective is to identify the most relevant and meaningful requirements through semantic analysis for correct change analysis.Then compute the similarity of requirements through case-based reasoning,which predicted the requirements for reuse and restricted to error-based requirements.Afterward,the apriori algorithm mapped out requirement frequency to select relevant test cases based on frequently reused or not reused test cases to increase the fault detection rate.Furthermore,the proposed model was evaluated by conducting experiments.The results showed that requirement redundancy and irrelevancy improved due to semantic analysis,which correctly predicted the requirements,increasing the fault detection rate and resulting in high user satisfaction.The predicted requirements are mapped into test cases,increasing the fault detection rate after changes to achieve higher user satisfaction.Therefore,the model improves the redundancy and irrelevancy of requirements by more than 90%compared to other clustering methods and the analytical hierarchical process,achieving an 80%fault detection rate at an earlier stage.Hence,it provides guidelines for practitioners and researchers in the modern era.In the future,we will provide the working prototype of this model for proof of concept. 展开更多
关键词 Requirement prediction software testing agile software development semantic analysis case-based reasoning
下载PDF
A Hybrid Model for Improving Software Cost Estimation in Global Software Development
2
作者 Mehmood Ahmed Noraini B.Ibrahim +4 位作者 Wasif Nisar Adeel Ahmed Muhammad Junaid Emmanuel Soriano Flores Divya Anand 《Computers, Materials & Continua》 SCIE EI 2024年第1期1399-1422,共24页
Accurate software cost estimation in Global Software Development(GSD)remains challenging due to reliance on historical data and expert judgments.Traditional models,such as the Constructive Cost Model(COCOMO II),rely h... Accurate software cost estimation in Global Software Development(GSD)remains challenging due to reliance on historical data and expert judgments.Traditional models,such as the Constructive Cost Model(COCOMO II),rely heavily on historical and accurate data.In addition,expert judgment is required to set many input parameters,which can introduce subjectivity and variability in the estimation process.Consequently,there is a need to improve the current GSD models to mitigate reliance on historical data,subjectivity in expert judgment,inadequate consideration of GSD-based cost drivers and limited integration of modern technologies with cost overruns.This study introduces a novel hybrid model that synergizes the COCOMO II with Artificial Neural Networks(ANN)to address these challenges.The proposed hybrid model integrates additional GSD-based cost drivers identified through a systematic literature review and further vetted by industry experts.This article compares the effectiveness of the proposedmodelwith state-of-the-artmachine learning-basedmodels for software cost estimation.Evaluating the NASA 93 dataset by adopting twenty-six GSD-based cost drivers reveals that our hybrid model achieves superior accuracy,outperforming existing state-of-the-artmodels.The findings indicate the potential of combining COCOMO II,ANN,and additional GSD-based cost drivers to transform cost estimation in GSD. 展开更多
关键词 Artificial neural networks COCOMO II cost drivers global software development linear regression software cost estimation
下载PDF
HV Process Model of Software Development
3
作者 Hemant Kumar Vipin Saxena 《Journal of Software Engineering and Applications》 2024年第7期553-570,共18页
Software Development Life Cycle (SDLC) is one of the major ingredients for the development of efficient software systems within a time frame and low-cost involvement. From the literature, it is evident that there are ... Software Development Life Cycle (SDLC) is one of the major ingredients for the development of efficient software systems within a time frame and low-cost involvement. From the literature, it is evident that there are various kinds of process models that are used by the software industries for the development of small, medium and long-term software projects, but many of them do not cover risk management. It is quite obvious that the improper selection of the software development process model leads to failure of the software products as it is time bound activity. In the present work, a new software development process model is proposed which covers the risks at any stage of the development of the software product. The model is named a Hemant-Vipin (HV) process model and may be helpful for the software industries for development of the efficient software products and timely delivery at the end of the client. The efficiency of the HV process model is observed by considering various kinds of factors like requirement clarity, user feedback, change agility, predictability, risk identification, practical implementation, customer satisfaction, incremental development, use of ready-made components, quick design, resource organization and many more and found through a case study that the presented approach covers many of parameters in comparison of the existing process models. . 展开更多
关键词 software Process Model software development software Engineering software Risk Management and software Quality
下载PDF
Trust and involvement of Cameroonian software developers in open-source projects
4
作者 Martial Kadji Ngassam 《Data Science and Management》 2024年第4期332-339,共8页
Although recent studies have examined collaboration within open-source software projects,the focus has primarily been on their motivations and governance.This study explores the complex dynamics of trust and involveme... Although recent studies have examined collaboration within open-source software projects,the focus has primarily been on their motivations and governance.This study explores the complex dynamics of trust and involvement among Cameroonian software developers in open-source projects.In the context of a rapidly evolving software development landscape,these projects have emerged as a transformative force,redefining global collaboration standards.The qualitative methodological approach involved a survey of 22 participants in open-source software projects,including Cameroonian software developers,project governance actors,and open-source community members.Analyses revealed that the trust given to African software developers,including their effective integration into projects and consideration of their specificities and contributions,has a positive impact on their involvement in and ability to appropriate information technologies.By exploring the interaction between cultural,social,and technological factors,this study enhances our understanding of trust mechanisms within open-source communities,especially those involving remote developers. 展开更多
关键词 software development TRUST developer involvement Information technologies Remote collaboration
下载PDF
Analysis of Software Development and Operation Measures from the Perspective of Security Technology
5
作者 Yan Gao 《Journal of Electronic Research and Application》 2024年第6期145-151,共7页
Security technology is crucial in software development and operation in the digital age. Secure software can protect user privacy and data security, prevent hacker attacks and data breaches, ensure legitimate business... Security technology is crucial in software development and operation in the digital age. Secure software can protect user privacy and data security, prevent hacker attacks and data breaches, ensure legitimate business operations, and protect core assets. However, the development process often faces threats such as injection attacks, Cross-Site Scripting (XSS), and Cross-Site Request Forgery (CSRF), mainly due to code vulnerabilities, configuration errors, and risks from third-party components. To meet these challenges, this paper discusses the application of security technology in development and operation, emphasizing security requirements analysis, design principles, coding practices, and testing during the development phase. Along with focusing on environmental configuration, continuous monitoring, emergency response, disaster recovery, and regular auditing and updating during the operation phase. These measures can significantly enhance the security of software systems and protect user and corporate data. 展开更多
关键词 Security technology software development Operation and maintenance
下载PDF
Security Threat and Vulnerability Assessment and Measurement in Secure Software Development 被引量:1
6
作者 Mamoona Humayun NZ Jhanjhi +1 位作者 Maram Fahhad Almufareh Muhammad Ibrahim Khalil 《Computers, Materials & Continua》 SCIE EI 2022年第6期5039-5059,共21页
Security is critical to the success of software,particularly in today’s fast-paced,technology-driven environment.It ensures that data,code,and services maintain their CIA(Confidentiality,Integrity,and Availability).T... Security is critical to the success of software,particularly in today’s fast-paced,technology-driven environment.It ensures that data,code,and services maintain their CIA(Confidentiality,Integrity,and Availability).This is only possible if security is taken into account at all stages of the SDLC(Software Development Life Cycle).Various approaches to software quality have been developed,such as CMMI(Capabilitymaturitymodel integration).However,there exists no explicit solution for incorporating security into all phases of SDLC.One of the major causes of pervasive vulnerabilities is a failure to prioritize security.Even the most proactive companies use the“patch and penetrate”strategy,inwhich security is accessed once the job is completed.Increased cost,time overrun,not integrating testing and input in SDLC,usage of third-party tools and components,and lack of knowledge are all reasons for not paying attention to the security angle during the SDLC,despite the fact that secure software development is essential for business continuity and survival in today’s ICT world.There is a need to implement best practices in SDLC to address security at all levels.To fill this gap,we have provided a detailed overview of secure software development practices while taking care of project costs and deadlines.We proposed a secure SDLC framework based on the identified practices,which integrates the best security practices in various SDLC phases.A mathematical model is used to validate the proposed framework.A case study and findings show that the proposed system aids in the integration of security best practices into the overall SDLC,resulting in more secure applications. 展开更多
关键词 SECURITY secure software development software development life cycle(SDLC) CONFIDENTIALITY INTEGRITY AVAILABILITY
下载PDF
Optimal Sprint Length Determination for Agile-Based Software Development
7
作者 Adarsh Anand Jasmine Kaur +1 位作者 Ompal Singh Omar H.Alhazmi 《Computers, Materials & Continua》 SCIE EI 2021年第9期3693-3712,共20页
A carefully planned software development process helps in maintaining the quality of the software.In today’s scenario the primitive software development models have been replaced by the Agile based models like SCRUM,... A carefully planned software development process helps in maintaining the quality of the software.In today’s scenario the primitive software development models have been replaced by the Agile based models like SCRUM,KANBAN,LEAN,etc.Although,every framework has its own boon,the reason for widespread acceptance of the agile-based approach is its evolutionary nature that permits change in the path of software development.The development process occurs in iterative and incremental cycles called sprints.In SCRUM,which is one of the most widely used agile-based software development modeling framework;the sprint length is fixed throughout the process wherein;it is usually taken to be 1–4 weeks.But in practical application,the sprint length should be altered intuitively as per the requirement.To overcome this limitation,in this paper,a methodical work has been presented that determines the optimal sprint length based on two varied and yet connected attributes;the cost incurred and the work intensity required.The approach defines the number of tasks performed in each sprint along with the corresponding cost incurred in performing those tasks.Multi-attribute utility theory(MAUT),a multi-criterion decision making approach,has been utilized to find the required trade-off between two attributes under consideration.The proposed modeling framework has been validated using real life data set.With the use of the model,the optimal sprint for each sprint could be evaluated which was much shorter than the original length.Thus,the results obtained validate the proposal of a dynamic sprint length that can be determined before the start of each sprint.The structure would help in cost as well as time savings for a firm. 展开更多
关键词 Agile principles agile-based software development dynamic sprint length multi-attribute utility theory scrum software development life cycle
下载PDF
Software development of modeling assistant for continuous suspension bridges with multi-pylon 被引量:1
8
作者 Zhong Jianchi Chen Ke +1 位作者 Chen Yunhai Lu jianming 《Engineering Sciences》 EI 2012年第3期55-59,71,共6页
Building a reasonable and accurate finite element model is the first and critical step for structural analysis of complicated bridge. In this article, modeling assistant for continuous suspension with multi-pylon is d... Building a reasonable and accurate finite element model is the first and critical step for structural analysis of complicated bridge. In this article, modeling assistant for continuous suspension with multi-pylon is developed based on .Net platform, with VB.Net, C# language and OpenGL graphic technique. With parameterized modeling method, finite element model of this kind of bridge can be built quickly and accurately, and multi-type element modeling with uniform parameters is realized. With advanced graphic technique, three-dimensional model graph can be real-timely previewed for intuitive data check. With an example of practice project, the accuracy and feasibility of this modeling method and practicality of this software are verified. 展开更多
关键词 bridge engineering continuous suspension bridge with multi-pylon parameterized modeling software development finite element method (FEM)
下载PDF
Software Development for Digital Control of WDW Series Testing Machine and Measurement of K_(IC)
9
作者 黄兴 马杭 程昌钧 《Journal of Shanghai University(English Edition)》 CAS 2005年第1期58-61,共4页
Software has been developed for digital control of WDW series testing machine and the measurement of fracture toughness by modularized design. Development of the software makes use of multi-thread and serial communica... Software has been developed for digital control of WDW series testing machine and the measurement of fracture toughness by modularized design. Development of the software makes use of multi-thread and serial communication techniques, which can accurately control the testing machine and measure the fracture toughness in real-time. Three-point bending specimens were used in the measurement. The software operates stably and reliably, expanding the function of WDW series testing machine. 展开更多
关键词 testing machine digital control measurement of fracture toughness software development.
下载PDF
Software development for modeling irregular fine protrusions formed by sputter etching
10
作者 Sande Gao Keijiro Nakasa Loulin Huang 《Visual Computing for Industry,Biomedicine,and Art》 2020年第1期96-103,共8页
Irregular fine protrusions formed on the surface of a mechanical part through biomimetic technology can enhance the part’s properties,including tribology,self-cleaning,and light absorption.However,underlying principl... Irregular fine protrusions formed on the surface of a mechanical part through biomimetic technology can enhance the part’s properties,including tribology,self-cleaning,and light absorption.However,underlying principles for the formation of fine protrusions according to the requirements of their shapes,sizes,and material distributions have not been studied sufficiently.This paper presents the software development for modeling irregular fine protrusions,which is essential for the simulation,experimentation,and analysis of fine protrusions formed by sputter etching. 展开更多
关键词 Geometric modeling Hermite surface Fine protrusions software development
下载PDF
Organization of pattern information in the pattern based software development:A POMSDP model
11
作者 唐勇 刘日光 王岩 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 2008年第6期752-756,共5页
Foeused on the lack of proper organization for patterns in the development of pattern based software, a POMSDP model with layered tree structure for organizing patterns during the process of development was put torwar... Foeused on the lack of proper organization for patterns in the development of pattern based software, a POMSDP model with layered tree structure for organizing patterns during the process of development was put torward. The model and its interrelated eoneepts were strictly defined and introduced by applying the theory of set, symbolie logic and pattern, which ensures the correctness, maturity and expansibility of the model. The expansibility of the model was discussed mainly. The basic realization and the application in the automatic query system were presented. Based on the existing software development methods, the POMSDP model resolves the problem of chaos in the application of patterns, strengthens the controllability of the system, and facilitates the improvement, maintenance, expansion, and especially the reengineering of the software system. 展开更多
关键词 software development based on pattern pattern organization POMSDP model
下载PDF
Creating a Business Process Monitoring System "A-IOMS" for Software Development
12
作者 Hirotake Sakai Kakuro Amasaka 《Chinese Business Review》 2012年第6期588-595,共8页
In this paper, the authors establish the Amalab-integrated operation management system (A-IOMS) as a new way to carry out software development and monitor business processes. This new system puts the previously cons... In this paper, the authors establish the Amalab-integrated operation management system (A-IOMS) as a new way to carry out software development and monitor business processes. This new system puts the previously constructed the Amalab-project planning navigation system (A-PPNS) to work throughout the entire organization. The A-IOMS has several key elements. Specifically, the authors have constructed: (1) a Hi-reliability estimation system diagnostic tool that pinpoints problems with software development estimates and offers a prescription for resolving them; (2) a QA table map that allows for an immediate, thorough, and consistent quality assurance process; (3) a system for sharing software development schedules throughout the organization; and (4) a technological asset completion reporting system for passing down and cultivating software development technologies and strategically expanding them. The authors verified the effectiveness of the A-IOMS at company A, a systems integration company, and the given outcomes were obtained. 展开更多
关键词 software development business process A-IOMS project management
下载PDF
Think upon Cultivating Domestic High-class Practitioners of Industrial Embedded Software Development
13
作者 LIAO Yong QIN zhiguang LEI Hang 《计算机教育》 2012年第10期61-63,共3页
Domestic situation of embedded software practitioners in the industry field is analyzed in this paper,based on which the new requirements for personnel working for embedded software R&D are proposed.Then reform no... Domestic situation of embedded software practitioners in the industry field is analyzed in this paper,based on which the new requirements for personnel working for embedded software R&D are proposed.Then reform notions in higher education system upon cultivating high-class practitioners are presented. 展开更多
关键词 Industrial Practitioners CULTIVATION Embedded software development
下载PDF
Software Development for the Management of CAD Drawings 被引量:1
14
作者 GAO Sande HUANG Loulin 《Computer Aided Drafting,Design and Manufacturing》 2015年第4期39-43,共5页
A software for the management of computer aided design(CAD) drawings was developed. It can be used to classify and register information including geometric features of the drawings, and to search appropriate referen... A software for the management of computer aided design(CAD) drawings was developed. It can be used to classify and register information including geometric features of the drawings, and to search appropriate reference drawings matching the given conditions of a new design. The thumbnails of the drawings can be displayed in an order of preference and can be used to zoom and access the PDF file or CAD data of a selected drawing. The thumbnails and the data structure are two key elements of the software. 展开更多
关键词 CAD management of drawings digital image processing software development
下载PDF
Integrating Project Management, Software Development, and Knowledge Management Models: A Case Study in a Public ICT Services Organization
15
作者 Jorge Luiz dos Santos Renelson Ribeiro Sampaio 《Social Networking》 2023年第1期1-27,共27页
In project-based organizations knowledge is a critical resource used to develop and deliver products and services with a high level of quality. Therefore, a systematic and sustainable process is necessary to coordinat... In project-based organizations knowledge is a critical resource used to develop and deliver products and services with a high level of quality. Therefore, a systematic and sustainable process is necessary to coordinate knowledge management, project management and product lifecycle. This scenario predominates in companies focused on the creation and maintenance of information systems. This article presents an exploratory study based on a framework that integrates cognitive, managerial, and operational processes in a public Brazilian organization that provides services in the area of information and communications technology, focusing on the construction and maintenance of information systems. Those processes are operationalized by three management models considering knowledge, project, and software development processes. Our proposal aims to understand the relationships between those three management models and their influence on the software development process in the organization under study. Our premise is based on the principle that cognitive management, project management, and software development management must be integrated to fulfill the demands of product development and service provision. The research data was composed of registers of working hours spent on software development and maintenance projects involving 244 people allocated to 5064 projects in the period from 2007 to 2013. The study resulted in the identification of the relationships among the three management models adopted by the organization, with emphasis on knowledge management activities, which were not directly identified, making it difficult to account for and measure them. We established a set of activities connected to each one of the knowledge management model phases. Since those activities were not visible before, our approach contributed to build a systematic process to register and relate activities linked to the dimensions of cognitive processes, project management, and software construction. 展开更多
关键词 Knowledge Management Knowledge Sharing Integrated Management Project Teams software development
下载PDF
Research on Innovative Model Based on Solving Demand Pain Points in Software Development
16
作者 Xianbao Meng Yuehua Xiong 《Journal of Computer Science Research》 2020年第2期37-40,共4页
Software development is an important part of computer technology.only by ensuring the applicability and efficiency of the software can it really improve the efficiency of production and life,and truly inject new power... Software development is an important part of computer technology.only by ensuring the applicability and efficiency of the software can it really improve the efficiency of production and life,and truly inject new power into the economic benefits of the industry.As the theoretical basis of software development,the software development model directly determines the quality of software development.In this paper,starting with information technology as an important tool to improve modern management,it brings out the difficulties and pain points in the analysis of software development needs,and first puts forward the software development innovation model for building a composite core users.It takes core users with compound qualities and capabilities as the main line and guides the entire development process to enable both parties to communicate accurately and solve the pain points of demand communication,function optimization and project control to the greatest extent.Exploring application innovation in the software development model can promote innovation in the software industry. 展开更多
关键词 software development Information management Demand pain points Compound capabilities Innovation model
下载PDF
Educational Software Development Life Cycle Stages
17
作者 Salah Alkhafaji B.Sriram 《Chinese Business Review》 2012年第1期128-137,共10页
Technological innovations have revolutionized the educational technology into various dimensions. Educational processes without educational technology have no value in this modern world. In education domain, the educa... Technological innovations have revolutionized the educational technology into various dimensions. Educational processes without educational technology have no value in this modern world. In education domain, the educational software has simplified the processes in greater extend. A implemented while developing such educational software. In particu proper lar, the development methodology has to be software developed to enrich these education processes should follow a development strategy to motivate the end users to utilize the hypermedia potentials. The software development life cycle (SDLC) has different phases in designing such educationa technology and assists the end users to benefit from the modern technology. This study identifies the various factors to be considered at each phase of the SDLC while developing educational software. Also, this study proposes some suggestions to be followed in ESDLC with respect to educational processes perspectives. The core idea of this study is to identify the various issues in implementing such educational software in day to day teaching and learning processes. 展开更多
关键词 software development life cycle (SDLC) educational technology teaching and learning processes technology innovations educational software
下载PDF
Review of Techniques for Integrating Security in Software Development Lifecycle
18
作者 Hassan Saeed Imran Shafi +3 位作者 Jamil Ahmad Adnan Ahmed Khan Tahir Khurshaid Imran Ashraf 《Computers, Materials & Continua》 SCIE EI 2025年第1期139-172,共34页
Software-related security aspects are a growing and legitimate concern,especially with 5G data available just at our palms.To conduct research in this field,periodic comparative analysis is needed with the new techniq... Software-related security aspects are a growing and legitimate concern,especially with 5G data available just at our palms.To conduct research in this field,periodic comparative analysis is needed with the new techniques coming up rapidly.The purpose of this study is to review the recent developments in the field of security integration in the software development lifecycle(SDLC)by analyzing the articles published in the last two decades and to propose a way forward.This review follows Kitchenham’s review protocol.The review has been divided into three main stages including planning,execution,and analysis.From the selected 100 articles,it becomes evident that need of a collaborative approach is necessary for addressing critical software security risks(CSSRs)through effective risk management/estimation techniques.Quantifying risks using a numeric scale enables a comprehensive understanding of their severity,facilitating focused resource allocation and mitigation efforts.Through a comprehensive understanding of potential vulnerabilities and proactive mitigation efforts facilitated by protection poker,organizations can prioritize resources effectively to ensure the successful outcome of projects and initiatives in today’s dynamic threat landscape.The review reveals that threat analysis and security testing are needed to develop automated tools for the future.Accurate estimation of effort required to prioritize potential security risks is a big challenge in software security.The accuracy of effort estimation can be further improved by exploring new techniques,particularly those involving deep learning.It is also imperative to validate these effort estimation methods to ensure all potential security threats are addressed.Another challenge is selecting the right model for each specific security threat.To achieve a comprehensive evaluation,researchers should use well-known benchmark checklists. 展开更多
关键词 software development lifecycle systematic literature review critical software security risks national institute of standards and technology DevSecOps open web application security project McGraw’s touch points
下载PDF
Advanced ECU Software Development Method for Fuel Cell Systems 被引量:3
19
作者 田硕 刘原 +2 位作者 夏文川 李建秋 欧阳明高 《Tsinghua Science and Technology》 SCIE EI CAS 2005年第5期610-617,共8页
The electronic control unit (ECU) in electrical powered hybrid and fuel cell vehicles is exceedingly complex. Rapid prototyping control is used to reduce development time and eliminate errors during software develop... The electronic control unit (ECU) in electrical powered hybrid and fuel cell vehicles is exceedingly complex. Rapid prototyping control is used to reduce development time and eliminate errors during software development. This paper describes a high-efficiency development method and a flexible tool chain suitable for various applications in automotive engineering. The control algorithm can be deployed directly from a Matlab/Simulink/Stateflow environment into the ECU hardware together with an OSEK real-time operating system (RTOS). The system has been successfully used to develop a 20-kW fuel cell system ECU based on a Motorola PowerPC 555 (MPC555) microcontroller. The total software development time is greatly reduced and the code quality and reliability are greatly enhanced. 展开更多
关键词 automotive engineering fuel cell electronic controller unit (ECU) embedded software development rapid prototyping automatic code generation SIMULATION OSEK
原文传递
On the polynomial dynamic system approach to software development 被引量:3
20
作者 WANGXiangyun LIYongchao CAIKaiyuan 《Science in China(Series F)》 2004年第4期437-457,共21页
In this paper the development of reactive software is transformed into a control problem, and the supervisory control theory for discrete event dynamic systems is suggested to solve this control problem. The operating... In this paper the development of reactive software is transformed into a control problem, and the supervisory control theory for discrete event dynamic systems is suggested to solve this control problem. The operating environment under consideration is viewed as a controlled plant, the software under development as the corresponding controller, and the software requirements as the corresponding control objective. This idea leads to a constructive approach of software design, which ensures properties required a priori of the software under development. In this way the validation of the software under development is reduced to the validation of properties independent of implementation process. We reveal the inconsistence in using the concept of reachability to specify software requirements and clarify six different definitions of reachability. Two different definitions of invariance for specifying software requirements are also clarified. We then show how to synthesize the required controller or obtain software design solutions if the underlying software requirements are specified by several new combinations of reachability and invariance. The topic of this paper falls into the scope of software cybernetics that explores the interplay between software and control. 展开更多
关键词 reactive system software development discrete event dynamic system polynomial dynamic sys-tem REACHABILITY INVARIANCE software cybernetics.
原文传递
上一页 1 2 4 下一页 到第
使用帮助 返回顶部