English
Related papers

Related papers: Can Component/Service-Based Systems Be Proved Corr…

200 papers

In modern-day organizations, many software applications require critical input to decide the next steps in the application workflow and approval. One of the most important inputs to decide the subsequent course of action is the key…

Software Engineering · Computer Science 2023-12-13 Sumit Sanwal

The purpose of this paper is to address some of the challenges of formally specifying components of shared-memory concurrent programs. The focus is to provide an abstract specification of a component that is suitable for use both by clients…

Programming Languages · Computer Science 2018-10-24 Ian J. Hayes

The development dynamics of digital innovations for industry, business, and society are producing complex system conglomerates that can no longer be designed centrally and hierarchically in classic development processes. Instead, systems…

Software Engineering · Computer Science 2024-02-06 Nils Wilken , Christoph Knieke , Eric Nyakam , Andreas Rausch , Christian Schindler , Christian Bartelt , Nikolaus Ziebura

Customized built-in elements in HTML5 significantly transform web development. These elements enable developers to create unique HTML components tailored with specific design and purpose. Customized built-in elements enable developers to…

Software Engineering · Computer Science 2023-11-29 Hardik Shah

The key factor of component based software development is component composition technology. A Component interaction graph is used to describe the interrelation of components. Drawing a complete component interaction graph (CIG) provides an…

Software Engineering · Computer Science 2010-06-15 Arup Abhinna Acharya , Sisir Kumar Jena

In the Internet of Things (IoT), heterogeneous devices connect to each other and to external systems to exchange data and provide services. Given the diversity of devices, it is becoming increasingly common to establish collaborative…

Cryptography and Security · Computer Science 2017-06-12 Ahmad-Atamli Reineh , Andrew J. Paverd , Andrew P. Martin

Location- and context-aware services are emerging technologies in mobile and desktop environments, however, most of them are difficult to use and do not seem to be beneficial enough. Our research focuses on designing and creating a…

Software Engineering · Computer Science 2009-06-23 László Kovács , Péter Mátételki , Balázs Pataki

Reverse engineering has been a standard practice in the hardware community for some time. It has only been within the last ten years that reverse engineering, or "program comprehension", has grown into the current sub-discipline of software…

Software Engineering · Computer Science 2007-05-23 Michael L. Nelson

The large amount of information and the increasing complexity of applications constrain developers to have stand-alone and reusable components from libraries and component markets.Our approach consists in developing methods to evaluate the…

Software Engineering · Computer Science 2017-03-30 Kouakou Ive Arsene Koffi , Konan Marcellin Brou , Souleymane Oumtanaga

Web services are widely used in many areas via callable APIs, however, data are not always available in this way. We always need to get some data from web pages whose structure is not in order. Many developers use web data extraction…

Databases · Computer Science 2019-10-18 Naibo Wang , Zhiling Luo , Xiya Lyu , Zitong Yang , Jianwei Yin

The prosperity of services and the frequent interaction between services contribute to the formation of the service ecosystem. Service ecosystem is a complex dynamic system with continuous evolution. Service providers voluntarily or…

Computers and Society · Computer Science 2020-05-07 Mingyi Liu , Zhiying Tu , Xiaofei Xu , Zhongjie Wang

The original purpose of component-based development was to provide techniques to master complex software, through composition, reuse and parametrisation. However, such systems are rapidly moving towards a level in which software becomes…

Logic in Computer Science · Computer Science 2016-08-02 Renato Neves , Luis S. Barbosa , Dirk Hofmann , Manuel A. Martins

Software Architecture, from definition to maintenance and evolution, is a complex aspect of software development and, consequently, a challenging subject when it comes to teaching it, and learning it. Many research efforts have been devoted…

Software Engineering · Computer Science 2023-03-01 Laura M. Castro

Service sharing is a prominent operating model to support business. Many large inter-organizational networks have implemented some form of value added integrated services in order to reach efficiency and to reduce costs sustainably.…

Software Engineering · Computer Science 2015-05-12 Abir Elmir , Badr Elmir , Bouchaib Bounabat

This paper discusses a model-based approach to testing as a vital part of software development. It argues that an approach using models as central development artifact needs to be added to the portfolio of software engineering techniques,…

Software Engineering · Computer Science 2014-09-24 Bernhard Rumpe

Grids enable the aggregation, virtualization and sharing of massive heterogeneous and geographically dispersed resources, using files, applications and storage devices, to solve computation and data intensive problems, across institutions…

Software Engineering · Computer Science 2007-07-06 David Manset , Herve Verjus , Richard McClatchey

Social and collaborative services have widely spread within the enterprises as they play a part in improving productivity and business outcomes. However, the deployment of these services fluctuates between success and failure. This paper…

Computers and Society · Computer Science 2016-02-29 Mayla Alimam , Emmanuel Bertin , Noel Crespi

Robots that support humans by performing useful tasks (a.k.a., service robots) are booming worldwide. In contrast to industrial robots, the development of service robots comes with severe software engineering challenges, since they require…

Software Engineering · Computer Science 2020-09-09 Sergio García , Daniel Strüber , Davide Brugali , Thorsten Berger , Patrizio Pelliccione

Enterprise IT is currently facing the challenge of coordinating the management of complex, multi-component applications across heterogeneous cloud platforms. Containers and container orchestrators provide a valuable solution to deploy…

Software Engineering · Computer Science 2020-05-07 Matteo Bogo , Jacopo Soldani , Davide Neri , Antonio Brogi

The magnitude of the problems facing the telecommunication software industry is presently at a point at which software engineers should become deeply involved. This paper presents a research project on advanced telecommunication technology…

Software Engineering · Computer Science 2015-07-27 Luiz Fernando Capretz