Testing Software and Systems

Testing Software and Systems PDF Author: Valentina Casola
Publisher: Springer Nature
ISBN: 3030648818
Category : Computers
Languages : en
Pages : 321

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2020, which was supposed to be held in Naples, Italy, in December 2020, but was held virtually due to the COVID-19 pandemic. The 17 regular papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded and cyber-physical systems, and security infrastructures. The papers are organized in the topical sections named: model-based testing; security testing; testing methods and applications; testing methods and automation; and short contributions.

Testing Software and Systems

Testing Software and Systems PDF Author: Valentina Casola
Publisher: Springer Nature
ISBN: 3030648818
Category : Computers
Languages : en
Pages : 321

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2020, which was supposed to be held in Naples, Italy, in December 2020, but was held virtually due to the COVID-19 pandemic. The 17 regular papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded and cyber-physical systems, and security infrastructures. The papers are organized in the topical sections named: model-based testing; security testing; testing methods and applications; testing methods and automation; and short contributions.

Wireless Networks Information Processing and Systems

Wireless Networks Information Processing and Systems PDF Author: Dil Muhammad Akbar Hussain
Publisher: Springer Science & Business Media
ISBN: 3540898530
Category : Science
Languages : en
Pages : 469

Get Book Here

Book Description
The international multi-topic conference IMTIC 2008 was held in Pakistan during April 11–12, 2008. It was a joint venture between Mehran University, Jamshoro, Sindh and Aalborg University, Esbjerg, Denmark. Apart from the two-day main event, two workshops were also held: the Workshop on Creating Social Semantic Web 2.0 Information Spaces and the Workshop on Wireless Sensor Networks. Two hundred participants registered for the main conference from 24 countries and 43 papers were presented; the two workshops had overwhelming support and over 400 delegates registered. IMTIC 2008 served as a platform for international scientists and the engineering community in general, and in particular for local scientists and the engineering c- munity to share and cooperate in various fields of interest. The topics presented had a reasonable balance between theory and practice in multidisciplinary topics. The c- ference also had excellent topics covered by the keynote speeches keeping in view the local requirements, which served as a stimulus for students as well as experienced participants. The Program Committee and various other committees were experts in their areas and each paper went through a double-blind peer review process. The c- ference received 135 submissions of which only 46 papers were selected for presen- tion: an acceptance rate of 34%.

Complex Networks in Software, Knowledge, and Social Systems

Complex Networks in Software, Knowledge, and Social Systems PDF Author: Miloš Savić
Publisher: Springer
ISBN: 3319911961
Category : Technology & Engineering
Languages : en
Pages : 331

Get Book Here

Book Description
This book provides a comprehensive review of complex networks from three different domains, presents novel methods for analyzing them, and highlights applications with accompanying case studies. Special emphasis is placed on three specific kinds of complex networks of high technological and scientific importance: software networks extracted from the source code of computer programs, ontology networks describing semantic web ontologies, and co-authorship networks reflecting collaboration in science. The book is primarily intended for researchers, teachers and students interested in complex networks and network data analysis. However, it will also be valuable for researchers dealing with software engineering, ontology engineering and scientometrics, as it demonstrates how complex network analysis can be used to address important research issues in these three disciplines.

Open Source Software: New Horizons

Open Source Software: New Horizons PDF Author: Pär J. Ågerfalk
Publisher: Springer Science & Business Media
ISBN: 364213243X
Category : Computers
Languages : en
Pages : 454

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, held in Notre Dame, IN, USA, in May/June 2010. The 23 revised full papers presented together with 17 short papers, 5 workshop abstracts and 4 panel descriptions were carefully reviewed and selected from 51 submissions. The papers reflect the international communities of active OSS researchers and present a broad range of perspectives on open source systems ranging from software engineering through organizational issues to law.

Advances in Software Engineering

Advances in Software Engineering PDF Author: Dominik Ślȩzak
Publisher: Springer Science & Business Media
ISBN: 3642106188
Category : Computers
Languages : en
Pages : 359

Get Book Here

Book Description
As future generation information technology (FGIT) becomes specialized and fr- mented, it is easy to lose sight that many topics in FGIT have common threads and, because of this, advances in one discipline may be transmitted to others. Presentation of recent results obtained in different disciplines encourages this interchange for the advancement of FGIT as a whole. Of particular interest are hybrid solutions that c- bine ideas taken from multiple disciplines in order to achieve something more signi- cant than the sum of the individual parts. Through such hybrid philosophy, a new principle can be discovered, which has the propensity to propagate throughout mul- faceted disciplines. FGIT 2009 was the first mega-conference that attempted to follow the above idea of hybridization in FGIT in a form of multiple events related to particular disciplines of IT, conducted by separate scientific committees, but coordinated in order to expose the most important contributions. It included the following international conferences: Advanced Software Engineering and Its Applications (ASEA), Bio-Science and Bio- Technology (BSBT), Control and Automation (CA), Database Theory and Appli- tion (DTA), Disaster Recovery and Business Continuity (DRBC; published indepe- ently), Future Generation Communication and Networking (FGCN) that was c- bined with Advanced Communication and Networking (ACN), Grid and Distributed Computing (GDC), Multimedia, Computer Graphics and Broadcasting (MulGraB), Security Technology (SecTech), Signal Processing, Image Processing and Pattern Recognition (SIP), and u- and e-Service, Science and Technology (UNESST).

[email protected]

Models@run.time PDF Author: Nelly Bencomo
Publisher: Springer
ISBN: 3319089153
Category : Computers
Languages : en
Pages : 329

Get Book Here

Book Description
Traditionally, research on model-driven engineering (MDE) has mainly focused on the use of models at the design, implementation, and verification stages of development. This work has produced relatively mature techniques and tools that are currently being used in industry and academia. However, software models also have the potential to be used at runtime, to monitor and verify particular aspects of runtime behavior, and to implement self-* capabilities (e.g., adaptation technologies used in self-healing, self-managing, self-optimizing systems). A key benefit of using models at runtime is that they can provide a richer semantic base for runtime decision-making related to runtime system concerns associated with autonomic and adaptive systems. This book is one of the outcomes of the Dagstuhl Seminar 11481 on [email protected] held in November/December 2011, discussing foundations, techniques, mechanisms, state of the art, research challenges, and applications for the use of runtime models. The book comprises four research roadmaps, written by the original participants of the Dagstuhl Seminar over the course of two years following the seminar, and seven research papers from experts in the area. The roadmap papers provide insights to key features of the use of runtime models and identify the following research challenges: the need for a reference architecture, uncertainty tackled by runtime models, mechanisms for leveraging runtime models for self-adaptive software, and the use of models at runtime to address assurance for self-adaptive systems.

Software Engineering Trends and Techniques in Intelligent Systems

Software Engineering Trends and Techniques in Intelligent Systems PDF Author: Radek Silhavy
Publisher: Springer
ISBN: 3319571419
Category : Technology & Engineering
Languages : en
Pages : 513

Get Book Here

Book Description
This book presents new approaches and methods to solve real-world problems as well as exploratory research describing novel approaches in the field of software engineering and intelligent systems. It particularly focuses on modern trends in selected fields of interest, introducing new algorithms, methods and application of intelligent systems in software engineering. The book constitutes the refereed proceedings of the Software Engineering Trends and Techniques in Intelligent Systems Section of the 6th Computer Science On-line Conference 2017 (CSOC 2017), held in April 2017.

On the Move to Meaningful Internet Systems: OTM 2008

On the Move to Meaningful Internet Systems: OTM 2008 PDF Author: Zahir Tari
Publisher: Springer
ISBN: 3540888713
Category : Computers
Languages : en
Pages : 937

Get Book Here

Book Description
This two-volume set LNCS 5331/5332 constitutes the refereed proceedings of the five confederated international conferences on Cooperative Information Systems (CoopIS 2008), Distributed Objects and Applications (DOA 2008), Grid computing, high performAnce and Distributed Applications (GADA 2008), Information Security (IS 2008), and Ontologies, Databases and Applications of Semantics (ODBASE 2008), held as OTM 2008 in Monterrey, Mexico, in November 2008. The 86 revised full and 9 revised short papers presented together with 5 invited papers and 4 keynote talks were carefully reviewed and selected from a total of 292 submissions. Corresponding to the five OTM 2008 main conferences CoopIS, DOA, GADA, IS, and ODBASE the papers are organized in topical sections on Web service, business process technology, E-service management, distributed process management, schema matching, business process tracing, workflow and business applications, designing distributed systems, context in distributed systems, high availability, adaptive distributed systems, scheduling allocation, databases in grids, grid applications, data management and storage, new tendencies and approaches, intrusion detection, information hiding, data and risk management, access control, evaluation and implementation, semantic matching and similarity measuring, semantic searching, ontology development, ontology maintanence and evaluation, ontology applications, and semantic query processing.

Securing the Internet of Things: Concepts, Methodologies, Tools, and Applications

Securing the Internet of Things: Concepts, Methodologies, Tools, and Applications PDF Author: Management Association, Information Resources
Publisher: IGI Global
ISBN: 1522598677
Category : Computers
Languages : en
Pages : 1805

Get Book Here

Book Description
The ubiquity of modern technologies has allowed for increased connectivity between people and devices across the globe. This connected infrastructure of networks creates numerous opportunities for applications and uses. As the applications of the internet of things continue to progress so do the security concerns for this technology. The study of threat prevention in the internet of things is necessary as security breaches in this field can ruin industries and lives. Securing the Internet of Things: Concepts, Methodologies, Tools, and Applications is a vital reference source that examines recent developments and emerging trends in security and privacy for the internet of things through new models, practical solutions, and technological advancements related to security. Highlighting a range of topics such as cloud security, threat detection, and open source software, this multi-volume book is ideally designed for engineers, IT consultants, ICT procurement managers, network system integrators, infrastructure service providers, researchers, academics, and professionals interested in current research on security practices pertaining to the internet of things.

Computer Science – CACIC 2022

Computer Science – CACIC 2022 PDF Author: Patricia Pesado
Publisher: Springer Nature
ISBN: 3031341473
Category : Computers
Languages : en
Pages : 324

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 28th Argentine Congress on Computer Science, CACIC 2022, held in La Rioja, Argentina, during October 3–6, 2022. The 20 full papers included in this book were carefully reviewed and selected from 184 submissions. They were organized in topical sections as follows: Agents and Systems; Technology Applied to Education; Graphic Computation, Images and Visualization; Software Engineering; Databases and Data Mining; Hardware Architectures, Networks, and Operating Systems; Innovation in Software Systems; Signal Processing and Real-Time Systems; Innovation in Computer Science Education; and Digital Goverance and Smart Cities.