Live Trace Visualization for System and Program Comprehension in Large Software Landscapes
Live Trace Visualization for System and Program Comprehension in Large Software Landscapes

Author: Florian Fittkau

Publisher: BoD – Books on Demand

Published: 2015-12-03

Total Pages: 362

ISBN-13: 3739207167

DOWNLOAD EBOOK

In many enterprises, the number of deployed applications is constantly increasing. Those applications - often several hundreds - form large software landscapes. The comprehension of such landscapes is frequently impeded due to, for instance, architectural erosion, personnel turnover, or changing requirements. Furthermore, events such as performance anomalies can often only be understood in correlation with the states of the applications. Therefore, an efficient and effective way to comprehend such software landscapes in combination with the details of each application is required. In this thesis, we introduce a live trace visualization approach to support system and program comprehension in large software landscapes. It features two perspectives: a landscape-level perspective using UML elements and an application-level perspective following the 3D software city metaphor. Our main contributions are 1) an approach named ExplorViz for enabling live trace visualization of large software landscapes, 2) a monitoring and analysis approach capable of logging and processing the huge amount of conducted method calls in large software landscapes, and 3) display and interaction concepts for the software city metaphor beyond classical 2D displays and 2D pointing devices. Extensive lab experiments show that our monitoring and analysis approach elastically scales to large software landscapes while imposing only a low overhead on the productive systems. Furthermore, several controlled experiments demonstrate an increased efficiency and effectiveness for solving comprehension tasks when using our visualization. ExplorViz is available as open-source software on www.explorviz.net. Additionally, we provide extensive experimental packages of our evaluations to facilitate the verifiability and reproducibility of our results.

Integrated Formal Methods
Integrated Formal Methods

Author: Erika Ábrahám

Publisher: Springer

Published: 2016-05-23

Total Pages: 538

ISBN-13: 3319336932

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016. The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and liveness; model learning; SAT and SMT solving; testing; theorem proving and constraint satisfaction; case studies.

Intelligent Communication Technologies and Virtual Mobile Networks
Intelligent Communication Technologies and Virtual Mobile Networks

Author: G. Rajakumar

Publisher: Springer Nature

Published: 2022-07-19

Total Pages: 807

ISBN-13: 9811918449

DOWNLOAD EBOOK

The book is a collection of high-quality research papers presented at Intelligent Communication Technologies and Virtual Mobile Networks (ICICV), held at Francis Xavier Engineering College, Tirunelveli, Tamil Nadu, India, during February 10–11, 2022. The book shares knowledge and results in theory, methodology and applications of communication technology and mobile networks. The book covers innovative and cutting-edge work of researchers, developers and practitioners from academia and industry working in the area of computer networks, network protocols and wireless networks, data communication technologies and network security.

Collaborative Software Engineering
Collaborative Software Engineering

Author: Ivan Mistrík

Publisher: Springer Science & Business Media

Published: 2010-03-10

Total Pages: 422

ISBN-13: 3642102948

DOWNLOAD EBOOK

Collaboration among individuals – from users to developers – is central to modern software engineering. It takes many forms: joint activity to solve common problems, negotiation to resolve conflicts, creation of shared definitions, and both social and technical perspectives impacting all software development activity. The difficulties of collaboration are also well documented. The grand challenge is not only to ensure that developers in a team deliver effectively as individuals, but that the whole team delivers more than just the sum of its parts. The editors of this book have assembled an impressive selection of authors, who have contributed to an authoritative body of work tackling a wide range of issues in the field of collaborative software engineering. The resulting volume is divided into four parts, preceded by a general editorial chapter providing a more detailed review of the domain of collaborative software engineering. Part 1 is on "Characterizing Collaborative Software Engineering", Part 2 examines various "Tools and Techniques", Part 3 addresses organizational issues, and finally Part 4 contains four examples of "Emerging Issues in Collaborative Software Engineering". As a result, this book delivers a comprehensive state-of-the-art overview and empirical results for researchers in academia and industry in areas like software process management, empirical software engineering, and global software development. Practitioners working in this area will also appreciate the detailed descriptions and reports which can often be used as guidelines to improve their daily work.

Software Visualization
Software Visualization

Author: Stephan Diehl

Publisher: Springer Science & Business Media

Published: 2007-05-01

Total Pages: 192

ISBN-13: 3540465057

DOWNLOAD EBOOK

Here is an ideal textbook on software visualization, written especially for students and teachers in computer science. It provides a broad and systematic overview of the area including many pointers to tools available today. Topics covered include static program visualization, algorithm animation, visual debugging, as well as the visualization of the evolution of software. The author's presentation emphasizes common principles and provides different examples mostly taken from seminal work. In addition, each chapter is followed by a list of exercises including both pen-and-paper exercises as well as programming tasks.

Learning to Think Spatially
Learning to Think Spatially

Author: National Research Council

Publisher: National Academies Press

Published: 2005-02-03

Total Pages: 333

ISBN-13: 0309092086

DOWNLOAD EBOOK

Learning to Think Spatially examines how spatial thinking might be incorporated into existing standards-based instruction across the school curriculum. Spatial thinking must be recognized as a fundamental part of Kâ€"12 education and as an integrator and a facilitator for problem solving across the curriculum. With advances in computing technologies and the increasing availability of geospatial data, spatial thinking will play a significant role in the information-based economy of the twenty-first century. Using appropriately designed support systems tailored to the Kâ€"12 context, spatial thinking can be taught formally to all students. A geographic information system (GIS) offers one example of a high-technology support system that can enable students and teachers to practice and apply spatial thinking in many areas of the curriculum.

Software Architecture for Big Data and the Cloud
Software Architecture for Big Data and the Cloud

Author: Ivan Mistrik

Publisher: Morgan Kaufmann

Published: 2017-06-12

Total Pages: 472

ISBN-13: 0128093382

DOWNLOAD EBOOK

Software Architecture for Big Data and the Cloud is designed to be a single resource that brings together research on how software architectures can solve the challenges imposed by building big data software systems. The challenges of big data on the software architecture can relate to scale, security, integrity, performance, concurrency, parallelism, and dependability, amongst others. Big data handling requires rethinking architectural solutions to meet functional and non-functional requirements related to volume, variety and velocity. The book's editors have varied and complementary backgrounds in requirements and architecture, specifically in software architectures for cloud and big data, as well as expertise in software engineering for cloud and big data. This book brings together work across different disciplines in software engineering, including work expanded from conference tracks and workshops led by the editors. - Discusses systematic and disciplined approaches to building software architectures for cloud and big data with state-of-the-art methods and techniques - Presents case studies involving enterprise, business, and government service deployment of big data applications - Shares guidance on theory, frameworks, methodologies, and architecture for cloud and big data

Software Evolution
Software Evolution

Author: Tom Mens

Publisher: Springer Science & Business Media

Published: 2008-01-25

Total Pages: 357

ISBN-13: 3540764402

DOWNLOAD EBOOK

This book focuses on novel trends in software evolution research and its relations with other emerging disciplines. Mens and Demeyer, both authorities in the field of software evolution, do not restrict themselves to the evolution of source code but also address the evolution of other, equally important software artifacts. This book is the indispensable source for researchers and professionals looking for an introduction and comprehensive overview of the state-of-the-art.