没有合适的资源?快使用搜索试试~ 我知道了~
复杂软件工程方法与工具对于软件系统的开发和分析至关重要
沙特国王大学学报社论复杂软件本期致力于从第三届软件工程高级方面国际会议(ICAASE2018,在阿尔及利亚君士坦丁举行)中选择一些论文的扩展版本,以及其他与开发和提供适当的软件工程方法和工具有关的高质量出版物,这些方法和工具将支持复杂和紧急软件系统的有效开发和分析随着新的应用和进一步的挑战的出现,软件工程领域正在不断变化因此,我们正在寻找方法来提高复杂软件系统在当今网络化、互联世界中的开发时间和准确性。此外,涌现的复杂系统通常以不可预期的方式运行,这些方式不容易从其组件的行为中预测,这使得它们难以调试和管理。我们需要更好的工具和方法来预测,检测,诊断和改善他们的紧急行为。接受的论文提供给那些对无线网状网络和一些通信协议,测试数据或案例生成,工作流系统,大数据环境中的数据提取,人类行为识别,虚拟现实系统,业务流程服务,时态数据库和云系统,基于相当知名的形式主义的正式模型和技术感兴趣的人,例如:Petri网,软件体系结构,UML,OCL,计算技术,以及新的形式化模型,具有广阔的前景。Chafia Bouanaka,Esma Maatougui,Faiza Belala和Nadia Zeghib定义了一个正式的模型,用于在质量驱动的弹性策略方面指定云系统结构及其动态,通过他们的贡献:基于PSMaude的弹性云系统的正式定量分析。此外,他们给出了定量分析,以评估所提出的模型的有效性方面的QoS参数。Soumiya Ain El Hayat,Fouad Toufik和Mohamed Bahaj在贡献中提出:基于UML/OCL的设计和向具有双时态数据的时态对象关系数据库的过渡,一个 由OCL 功能和 双时态维 度丰富的 UML 扩展, 以提高UML/OCL模型的可理解性,以及支持时态属性及其演变的能力,沙特国王大学负责同行审查然后将其转换为时态对象-关系数据库中的对应对象,以便以有效的方式跟踪历史Mohammed Nassim Lacheheub 、 Nabil Hameurlain 和 RamanmarMaamri 的 工 作 “Resources Consumption Analysis of Business ProcessServices in Cloud Computing using PetriNets”的目的是通过使用Petri网来确保资源视角的一致性特征,以验证基于某些属性的初始分配资源对业务流程的正确使用错误预测模型可以帮助减少开发软件所需的成本和工作量。缺陷预测模型使用从软件项目中获得的历史数据来训练模型,并在软件的未来版本中测试模型。Wasiur Rhmann,Babita Pandey,GufranAnsari和D.K. Pandey,在他们的研究中,基于变化度量的软件故障预测使用混合算法:一项实证研究,使用软件变化度量进行缺陷预测,并通过他们获得的结果表明,GFS-logitboost-c具有最佳的缺陷预测能力。标量点乘是椭圆曲线密码计算中的核心和复杂运算,需要对执行时间和能耗进行大量优化,特别是在低计算能力的设备如嵌入式系统中 。 Mohamed Ramdani , Mohamed Benmohammed 和 NadjiaBenblidia在他们的论文中将计算技术与一些优化的数学公式相结合,并在有限域上他们的贡献的目的题为:在低资源设备中的标量点乘算法的比较是确定最有效的算法,结合最好的计算技术和数学公式,从而提供更少的内存需求和更快的字段算术运算。在 题 为 : MVC-3DC : Software Architecture Model for DesigningCollaborative Augmented Reality and Virtual Reality Sys- tems的论文中,作者Samir Benbelkacem、Nadia Zenati-Henda、Djamel Aouam、Yousra Izountar和Samir Otmane提出了一个称为MVC-3DC的模型,该模型融合了几个方面:人机交互(HCI)、分布式系统、计算机支持的协同工作(CSCW)以及诸如增强现实和虚拟现实的新技术。MVC-3DC允许组件之间的低依赖性,如核心功能,3D图形API和数据分发模式。提出的体系结构模型集成了仿真模型、SDK和不同节点https://doi.org/10.1016/j.jksuci.2020.04.0211319-1578/©2020由Elsevier B. V.代表沙特国王大学制作和主办。这是一篇基于CC BY-NC-ND许可证的开放获取文章(http://creativecommons.org/licenses/by-nc-nd/4.0/)。制作和主办:Elsevier可在ScienceDirect上获得目录列表沙特国王大学学报杂志首页:www.sciencedirect.com386社论/沙特国王大学学报-计算机与信息科学32(2020)385-386参与了一场合作会议。这促进了管理参与协作会话的不同节点Neziha Jaouedi、Noureddine Boujnah和Med Salim Bouhlel指出,人类行为识别是各种应用中的重要挑战,然后,深度学习的成功在包括神经网络在内的多种环境中产生了许多令人印象深刻的结果在他们 的 论 文 《 A New Hybrid Deep Learning Model for Human ActionRecognition》中,他们采用了门控递归神经网络的出现,该网络具有更高的计算能力,可用于序列数据和视频分类。提出了一种基于混合深度学习模型的人体动作识别新方法,并在具有挑战性的UCFSports、UCF101和KTH数据集上进行了评估。Mouhoub Belazzoug,Mohamed Touahria,Farid Nouioua和Mohammed Brahimi在他们的贡献:ISCA:an Improved Sine CosineAlgorithm to select features for text categorization中提出了一种新的改进算法用于特征选择,它允许在搜索空间中与SCA只关注最佳解决方案以生成新的解决方案不同,新提出的算法(ISCA)考虑了解决方案的两个位置(i)到目前为止找到的最佳解的位置,以及(ii)从搜索空间中给定的随机位置。对实验结果的评价表明了ISCA算法的高性能,这使得它在文本分类问题中非常有用Zakarya Elaggoune、Ramanze Maamri和Imane Boussebough表示,大数据时代为数据处理管理带来了新的挑战,现有的分析工具现在接近于面临持续的挑战,从而以合理的成本提供令人满意的结果然而,新数据被淹没的速度和如此大的数据量产生的噪声导致了各种新的挑战。他们在这里的研究,大数据环境中智能数据提取的模糊代理方法,结合了两个人工智能领域,以多代理技术和模糊逻辑推理系统为代表,以便从大噪声中提取所需的智能数据。提出了一种基于多模糊代理的大规模无线传感器网络,证明所提出的方法的有效性。Rashmi Rekha Sahoo和Mitrabinda Ray的论文标题为:基于PSO的关键路径测试用例生成(使用改进的组合适应度函数),其目的是生成测试用例,以实现最大路径覆盖,并在可用测试资源内覆盖关键路径。提出了一种适应度函数--改进的组合适应度(ICF)函数,利用自适应粒子群优化算法(APSO)自动生成基于路径覆盖准则的测试用例。ICF函数在APSO上的应用,在数量上有较好的效果路径覆盖。如今,工作流系统变得非常复杂,涉及时间约束,任务的优先级以及详细的同步方案。因此,在他们题为《Towards modeling andanalyzing timed workflow systems with complex synchronizations》的论文中,Abdia Hamdani和Abdelkrim Abdelli重新定义了集合的概念,作为一种机制,以同步不同权限(主,从)的时间约束并发任务。他们将时间Petri网的形式主义扩展到会合的概念Soufiane Boulehouache,Selma Ouareth和RamanzaMaamri在他们的论文中,题为:A Self-Switching Multi-Strategic Pedagogical Agent,求助于Self-* 和基于顺从性的Agent设计方法来设计Self-Switching Multi-Strategic Pedagogical Agent(Self-S MSPA)。它被设计为两个不同的交互管理器(MrSS)和管理(MdSS)子系统。卫生部实施教学战略。MrSS以自主控制环路(ACL)的形式实现SL切换逻辑(SL)以(重新)配置MdSS。Nishtha Jatana和Bharti Suri通过将其应用于软件工件基础设施库(SIR)中的大型程序,加强了他们最近提出的用于生成测试数据的PSO-MT(粒子群优化与突变测试)方法。在这篇题为《粒子群和遗传算法应用于测试数据生成的突变测试:比较评估》的文章中报告的结果表明,PSO-MT在大多数基准程序中表现出比GA-MT更好的计算效率。Ahmed Louazani和Larbi Sekhri在他们的论文“Time Petri Nets BasedModel for CL-MAC Protocol with Packet Loss”中提出了一个考虑到丢包问题的CL-MAC协议的扩展版本。采用时间Petri网(TPN)作为协议的形式化模型,利用TiNA(Time Net Analyzer)工具分析了协议的活性、有界性和可逆性等性质,从而证明了协议的正确性。Lakhdar Derdouri和Congduc Pham的论文量化了无线网状网络中可靠多播的组合类的可靠性增益作者定义的延迟作为可靠性的性能指标,并提供了一个分析研究组的大小,分组丢失率和深度的组播树的性能改善的影响,通过结合类在他们的论文中实现:一个延迟分析的主动可靠组播协议不可靠的无线网状网络回程。我们非常感谢这期特刊的所有审稿人的辛勤工作。JKSUCI杂志主编Nasser-Eddine Rikli教授的支持和鼓励是宝贵的财富。最后,我们要感谢所有被邀请和提交论文的作者。法伊萨·贝拉拉·拉姆萨尔·马阿姆里君士坦丁第二大学LIRE实验室,Abdelhamid Mehri,阿里·门杰利,英国石油公司:67 A,君士坦丁,阿尔及利亚电子邮件地址:faiza.belala@ univ-constantine2.dz(F。Belala),raman.maamri@ univ-constantine2.dz(R. Maamri)
下载后可阅读完整内容,剩余1页未读,立即下载
cpongm
- 粉丝: 4
- 资源: 2万+
上传资源 快速赚钱
- 我的内容管理 收起
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
会员权益专享
最新资源
- RTL8188FU-Linux-v5.7.4.2-36687.20200602.tar(20765).gz
- c++校园超市商品信息管理系统课程设计说明书(含源代码) (2).pdf
- 建筑供配电系统相关课件.pptx
- 企业管理规章制度及管理模式.doc
- vb打开摄像头.doc
- 云计算-可信计算中认证协议改进方案.pdf
- [详细完整版]单片机编程4.ppt
- c语言常用算法.pdf
- c++经典程序代码大全.pdf
- 单片机数字时钟资料.doc
- 11项目管理前沿1.0.pptx
- 基于ssm的“魅力”繁峙宣传网站的设计与实现论文.doc
- 智慧交通综合解决方案.pptx
- 建筑防潮设计-PowerPointPresentati.pptx
- SPC统计过程控制程序.pptx
- SPC统计方法基础知识.pptx
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功