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., almos...
详细信息
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.
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 re...
详细信息
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...
详细信息
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 (LS...
详细信息
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 g...
详细信息
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 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...
详细信息
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, ana...
详细信息
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. Re...
详细信息
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 ...
详细信息
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).
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...
详细信息
暂无评论