The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The following topics are dealt with: software quality attribute measurement and analysis; quality management; validation and verification; software testing; requirements engineering; formal methods; software architecture; agile development and education; component-based systems; and model checking
The engineering of distributed software is a complex task which requires a rigorous approach. Software architectural (structural) concepts and principles are highly beneficial in specifying, designing, analysing, constructing and evolving distributed software. A rigorous architectural approach dictates formalisms and techniques that are compositional, components that are context independent and systems...
Web container conforming to J2EE specification is adopted by more and more Web servers to provide dynamic content services for Internet-based applications. Web applications with complex business require Web container to provide differentiated services for requests from different clients according to role or payment, etc. However, most traditional Web containers still adopt the best-effort service...
A software architecture design provides a high-level abstraction of system topology, functionality, and/or behavior; which provides the basis for early system understanding and analysis as well as the foundation for subsequent detailed design and implementation. However, research on software architecture in the past decade primarily focused on architecture description languages and their analysis...
As a new type of software architecture, service-oriented architecture (SOA) provides a blueprint to solve software reuse and enterprise system integration issues. With the emergence and the rapid development of Web services technologies, SOA has been paid an increasing attention and gained a wide application. For the purpose of supporting service-oriented system development, SOA should be described...
Reusing software architecture and its constituents, which are a kind of coarse-grained software resources, are confronted with great difficulty. Reflection mechanism has been successfully applied in the reuse of code component, but scarcely applied in the reuse of architecture and its constituents. Architectural reflection is the computation performed by a system about its own architecture, and currently...
Due to the increasing interest in the model driven architecture (MDA) paradigm, the conceptual models have become the backbone of the software development process. So far some methods exist to develop a user interface according to a MDA-compliant method, none of them explicitly connects usability to their process activities. In this paper, we present a framework which incorporates usability as part...
This paper introduces a dynamic verification framework for collaborative services in service-oriented architecture (SOA). Collaboration plays a critical role in SOA, an effective verification framework for collaboration will greatly reduce the effort for rapid and adaptive service composition and evaluation of applications based on collaborative services. The verification framework provides a service-oriented...
Distributed transaction monitor is the fundamental software for critical transactional applications across network. We concern its quality from the point of view of practicality. This paper presents the key technologies during the reconstruction of the distributed transaction monitor OnceTX1.0 to OnceTX2.0, including scalable architecture, multi-phase concurrency control, dynamic configuration and...
Envisions of future network enabled socio-technical systems are in focus of several international ongoing efforts by industry and academia. Different interest groups, e.g., the agent and the grid computing communities, have to that end put forward several roadmaps. However, those roadmaps by and large presuppose a key role to be played by their favorite technologies. We propose another complementary...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.