检索结果-内蒙古大学图书馆

An integrated verification environment for JML: Architecture and early results

An integrated verification environment for JML: Architecture...

ESEC/FSE 2007: 6th Joint Meeting - Sixth International Workshop on Specification and Verification of Component-Based Systems, SAVCBS 2007

作者： Chalin, Patrice James, Perry R. Karabotsos, George Dependable Software Research Group Dept. of Computer Science and Software Engineering Concordia University Montréal Canada

ISBN: (纸本)9781595937216

Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture: the cost of keeping up with the evolution of Java is prohibitively high: e.g., almost three years following its release, Java 5 has yet to be fully supported. This paper presents the architecture of JML4, an Integrated Verification Environment (IVE) for JML that builds upon Eclipse's support for Java, enhancing it with Extended Static Checking (ESC), an early form of Runtime Assertion Checking (RAC) and JML's non-null type system. Early results indicate that the synergy of complementary verification techniques (being made available within a single tool) can help developers be more effective;we demonstrate new bugs uncovered in JML annotated Java source - -like ESC/Java2 - -which is routinely verified using first generation JML tools. Copyright 2007 ACM.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Validating mobility management solutions for interworking UMTS and IEEE 802.11 networks

Validating mobility management solutions for interworking UM...

引用

2010 17th International Conference on Telecommunications, ICT 2010

作者： Nogueira, Antonia Diana B. Ramos, Luana P. De Castro, Miguel F. Andrade, Rossana M. C. Computer Science Department GREat - Research Group on Computer Networks Software Engineering and Systems Federal University of Ceará Campus do Pici - Bloco 942-A 60.455-760 - Fortaleza-CE Brazil

ISBN: (纸本)9781424452477

An important step towards seamless heterogeneous systems is the integration between WLAN and 3G cellular systems. Their interoperability has been frequently discussed in literature, however, there is still room for research in this issue. Since IEEE 802.11 networks reach relatively high data transmission rates when compared to other wireless networks, it has gained the attention of the cellular networks operators, such as UMTS operators, which have been considering IEEE 802.11 networks as a complement to their access networks. Notwithstanding, specification and development of real-time systems with mobility support are still a challenge due to their characteristic of criticality and safety. In this context, formal methods have shown effectiveness in real-time system development. The main advantage of formal methods is allowing a rigorous and nonambiguous system description. Thus, this work presents the specification and validation of two mobility management approaches to integrate UMTS and IEEE 802.11 networks: the first one is based on SIP, and the other one is based on MIP version 6. These specifications extend the Loose Interworking architecture and reach the fourth integration level of the 3GPP specification. These approaches are modeled using SDL and MSC formal description techniques, which are largely used to specify telecommunications systems. SDL also provides simulation and validation results that are analyzed to evaluate the proposed approaches with the goal of proving that formal methods can lead to a more precise and correct final system. © 2009 IEEE.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

ScrumBut, but does it matter? A mixed-method study of the planning process of a multi-team scrum organization

ScrumBut, but does it matter? A mixed-method study of the pl...

引用

2013 ACM / IEEE International Symposium on Empirical software engineering and Measurement, ESEM 2013

作者： Heikkila, Ville T. Paasivaara, Maria Lassenius, Casper Department of Computer Science and Engineering Software Process Research Group Aalto University Helsinki Finland

ISBN: (纸本)9781479911448

Context: Proponents of the Scrum software development method use the term 'Scrum But' to refer to harmful changes to Scrum. Scrum has been increasingly adopted in large software development organizations. This has led to changes to Scrum practices, but it is not known if these changes are harmful. Objective: We studied how the requirements were planned and managed in the development teams of a large Scrum organization, how well the requirements planning and management practices matched Scrum, and whether the changes were perceived harmful. Method: We quantitatively analysed 435 requirements spanning a time period of approximately one year. We conducted a total of 40 interviews to study the Scrum adoption in the organization and to explain and validate the quantitative results. Results: The main discrepancies between the organization's practices and Scrum were the pacing of the planning process, which was more akin to a continuous process instead of the iteration-paced Scrum model, and the average time it took to develop requirements, which was considerably longer than the time prescribed by Scrum. The latter discrepancy was considered slightly harmful. Conclusion: Changes to the Scrum practices should be evaluated in their context to separate harmful ones from necessary or beneficial changes mandated by the organizational context. © 2013 IEEE.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

Automatic inference of abstract type behavior

Automatic inference of abstract type behavior

引用

25th IEEE/ACM International Conference on Automated software engineering, ASE'10

作者： Balint, Mihai Department of Computer and Software Engineering LOOSE Research Group Politehnica University Timįsoara Romania

ISBN: (纸本)9781450301169

Type hierarchies are an integral part of the object oriented software reuse machinery. software flexibility can be increased through type inheritance which, if used in accordance with Liskov Substitution Principle (LSP) enables safe object substitution. Assuming that formal specifications are available for a set of subtypes, we present our early doctoral research on the automatic inference of an extended deterministic finite automaton that describes the legal usage of abstract supertypes and ensures the behavioral subtyping relation as defined by the Liskov Substitution Principle (LSP). We obtain the supertype interface automata by incrementally exploring the specification of the subtypes, unifying correlated subtype fields, simplifying predicates through quantification, and finally creating new model fields that we associate with the remaining predicates. The inferred automaton is simulated by the behavior of each subtype and can be used for safe hierarchy extension, verification of new hierarchy clients, and emphasis of LSP non-compliant methods. © 2010 ACM.

关键词： computer software reusability

来源：评论

学校读者我要写书评

暂无评论

Reuse of Off-the-Shelf Components 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Maurizio Morisio

ISBN: (数字)9783540346074

ISBN: (纸本)9783540346067

software reuse as an umbrella concept has been around for several decades. Over time, new techniques and approaches have been proposed to implement the concept, from libraries of reusable assets to product lines, to generative methods. These latter techniques are mostly used in intra-organizational reuse, and require considerable formal knowledge over the evolution of technology and required functionality in a domain over several years. On the other end of the spectrum, extra-organizational reuse is based on reuse of off-the-shelf (OTS) software (both open and closed source, acquired for free or for a fee). Here, a limited investment and immediate availability of the assets have widely spread the approach. On the other hand, the reusing organization has no control on the evolution of the functionality and assumptions of the asset. Even when the assets are open source, they are seldom modified. The theme for this ninth meeting is the reuse of off-the-shelf (OTS) components and related problems: * Documentation of OTS components * Processes to identify and select OTS components * Integration and evolution problems * Reliability and security of OTS components and legal issues * Interaction with the developer community or with the vendor The proceedings you are holding cover these issues as well as development and use of product lines, variability modeling, aspect-based development, composition of components and services. June 2006 Maurizio Morisio Organization Organizing Committee General: Giancarlo Succi, Free University Bolzano/Bozen Program: Maurizio Morisio, Politecnico di Torino Workshops Peter Knauber, Mannheim University of Applied Sciences, Germany

关键词： software engineering/Programming and Operating Systems software engineering Management of Computing and Information Systems Programming Techniques

来源：评论

学校读者我要写书评

暂无评论

Temporal software change prediction using neural networks

Temporal software change prediction using neural networks

引用

19th International Conference on software engineering and Knowledge engineering, SEKE 2007

作者： Amoui, Mehdi Salehie, Mazeiar Tahvildari, Ladan Software Technologies Applied Research Group Department of Electrical and Computer Engineering University of Waterloo ON Canada

ISBN: (纸本)9781627486613

software change prediction plays a key role in software maintenance and evolution. It is primarily utilized to know "where" the most change-prone entities are, and how the change will be propagated through a system. The results of the prediction are used to plan different tasks in maintenance and evolution, such as re-factoring operation. This paper argues that knowing "when" the changes may happen can give more insight to managers and developers for planning the maintenance activities. To address this issue, a Neural Network-based Temporal Change Prediction (NNTCP) framework is proposed. Such a novel framework determines "where" the changes would be applied (as hot spots), and then adds time dimension to predict "when" it may occur. As a proof of concept, the NNTCP framework is applied to Mozilla as a large-scale open source software. We provide a short discussion on obtained prediction results. Copyright © (2007) by Knowledge Systems Institute (KSI).

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

The use of roles and measurement to enact project plans in MVP-S 4th

The use of roles and measurement to enact project plans in M...

引用

4th European Workshop on software Process Technology, EWSPT 1995

作者： Lott, Christopher Hoisl, Barbara Rombach, H. Dieter Research Group for Software Engineering Department of Computer Science University of Kaiserslautem Kaiserslautern67653 Germany

ISBN: (纸本)3540592059

software development organizations are beginning to recognize that measurement is a prerequisite for systematic process improvement, and have started to measure their products and processes in order to understand, analyze, plan, and guide their projects. Successful measurement requires a solid understanding of the products, processes, and resources to be measured, an understanding which can only be gained via explicit models. In the MVP Project we are integrating the G/Q/M measurement paradigm with the MVP-L process modeling language in order to guide teams of software developers. This integrated approach is supported by a prototype system, MVP-S, a process-sensitive software engineering environment which offers advanced project guidance using role definitions and measurement data. We motivate the need for measurement, sketch an integration of the measurement and modeling approaches, and demonstrate how MVP-S improves the quality of guidance using measurement. © Springer-Verlag Berlin Heidelberg 1995.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

H2-MARL: Multi-Agent Reinforcement Learning for Pareto Optimality in Hospital Capacity Strain and Human Mobility during Epidemic

arXiv

引用

arXiv 2025年

作者： Luo, Xueting Deng, Hao Yang, Jihong Shen, Yao Guo, Huanhuan Sun, Zhiyuan Liu, Mingqing Wei, Jiming Zhao, Shengjie School of Computer Science and Technology Tongji University Shanghai201804 China China Land Surveying and Planning Institute Beijing100035 China College of Architecture and Urban Planning Tongji University Shanghai200092 China Chongqing Institute of Planning and Natural Resources Investigation and Monitoring Chongqing401121 China Li-Fi Research and Development Centre University of Cambridge CambridgeCB3 0FA United Kingdom Guangdong Urban-rural Planning and Design Research Institute Technology Group Co. Ltd. Guangzhou510290 China Engineering Research Center of Key Software Technologies for Smart City Perception and Planning Ministry of Education Shanghai201804 China

The necessity of achieving an effective balance between minimizing the losses associated with restricting human mobility and ensuring hospital capacity has gained significant attention in the aftermath of COVID-19. Reinforcement learning (RL)-based strategies for human mobility management have recently advanced in addressing the dynamic evolution of cities and epidemics;however, they still face challenges in achieving coordinated control at the township level and adapting to cities of varying scales. To address the above issues, we propose a multi-agent RL approach that achieves Pareto optimality in managing hospital capacity and human mobility (H2-MARL), applicable across cities of different scales. We first develop a township-level infection model with online-updatable parameters to simulate disease transmission and construct a city-wide dynamic spatiotemporal epidemic simulator. On this basis, H2-MARL is designed to treat each division as an agent, with a trade-off dual-objective reward function formulated and an experience replay buffer enriched with expert knowledge built. To evaluate the effectiveness of the model, we construct a township-level human mobility dataset containing over one billion records from four representative cities of varying scales. Extensive experiments demonstrate that H2-MARL has the optimal dual-objective trade-off capability, which can minimize hospital capacity strain while minimizing human mobility restriction loss. Meanwhile, the applicability of the proposed model to epidemic control in cities of varying scales is verified, which showcases its feasibility and versatility in practical applications. Copyright © 2025, The Authors. All rights reserved.

关键词： Reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

Network operator independent resilient overlay for mission critical applications (ROMCA)

Network operator independent resilient overlay for mission c...

引用

2009 4th International Conference on Communications and Networking in China, CHINACOM 2009

作者： Zhang, Xian Phillips, Chris Networks Research Group Department of Electronic Engineering and Computer Science University of London London United Kingdom

ISBN: (纸本)9781424443376

This paper proposes a Resilient Overlay for Mission Critical Applications (ROMCA);a novel operator-independent overlay architecture providing a resilient and reliable service across wide-area networks. One feature of ROMCA is that its overlay topology can be altered according to the underlying network conditions. Moreover, resilience is achieved by combining centralized topology construction control and distributed dynamic mapping of paths onto the overlay topology according to network conditions. ROMCA can mitigate the shortcomings of the Internet network infrastructure and provide low recovery times in the event of network failure(s).

关键词： Wide area networks

来源：评论

学校读者我要写书评

暂无评论

A metric for measuring BPEL process context-independency

A metric for measuring BPEL process context-independency

引用

IEEE International Conference on Service-Oriented Computing and Applications, SOCA' 09

作者： Khoshkbarforoushha, A. Jamshidi, P. Nikravesh, A. Khoshnevis, S. Shams, F. Automated Software Engineering Research Group Electrical and Computer Engineering Faculty Shahid Beheshti University GC Iran

ISBN: (纸本)9781424452996

BPEL provides a workflow-oriented composition model for service-oriented solutions that facilitates the system integration through orchestration and choreography of services. In some cases, BPEL process designs can be highly complex owing to the vast number of services executed in global markets. Such heavy coupling and context dependency with partners in one side and the complicated structure of the processes on the other side, provoke several undesirable drawbacks such as poor understandability, inflexibility, inadaptability, and defects. Therefore, heavy context dependency should be avoided. This paper proposes a quantitative metric to measure BPEL process context-independency which lead SOA architect determines to the extent that a BPEL process is context-independent. ©2009 IEEE.

关键词： International trade

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：