22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014)
Author:
Publisher:
Published: 2014
Total Pages: 856
ISBN-13:
DOWNLOAD EBOOKRead and Download eBook Full
Author:
Publisher:
Published: 2014
Total Pages: 856
ISBN-13:
DOWNLOAD EBOOKAuthor: Shing-Chi Cheung
Publisher:
Published: 2014
Total Pages: 856
ISBN-13: 9781450330565
DOWNLOAD EBOOKAuthor: Filippo Lanubile
Publisher:
Published: 2014
Total Pages: 48
ISBN-13: 9781450332279
DOWNLOAD EBOOKAuthor: Abdul Rauf
Publisher: Springer Nature
Published: 2023-11-06
Total Pages: 1197
ISBN-13: 9464632623
DOWNLOAD EBOOKThis is an open access book.The 3rd International Conference on Management Science and Software Engineering (ICMSSE 2023) is to be held on July 21-23, 2023 at Qingdao, China. ICMSSE is China's annual conference since 2021. It was held in Chengdu, Chongqing from 2021 to 2022. Every year, there are many attendees from Asia, Europe, America, etc., and quite a few well-known experts give plenary speeches. Management science and engineering is a discipline that comprehensively uses systems science, management science, mathematics, economics and behavioral science and engineering methods, combined with information technology to study and solve management problems in society, economy, engineering and other aspects. In addition to the current situation of management science at home and abroad discussed in the first two sessions, this session realized that with the development of science and technology, the intersection of disciplines, coupled with the continuous expansion of the field of management science and engineering research, for online risk management (ERB, BRP system) and virtual organizations, virtual enterprises, etc., will become the focus of management science and engineering research in the future. This conference will also conduct in-depth research on these aspects, hoping to further promote the economic development of enterprises and provide them for their development. more clear direction and guidance.
Author: Michael Felderer
Publisher: Springer Nature
Published: 2022
Total Pages: 290
ISBN-13: 3030831280
DOWNLOAD EBOOKThis open access book provides an overview of the dissertations of the eleven nominees for the Ernst Denert Award for Software Engineering in 2020. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality software. An essential requirement for the nominated work is its applicability and usability in industrial practice. The book contains eleven papers that describe the works by Jonathan Brachthäuser (EPFL Lausanne) entitled What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style, Mojdeh Golagha's (Fortiss, Munich) thesis How to Effectively Reduce Failure Analysis Time?, Nikolay Harutyunyan's (FAU Erlangen-Nürnberg) work on Open Source Software Governance, Dominic Henze's (TU Munich) research about Dynamically Scalable Fog Architectures, Anne Hess's (Fraunhofer IESE, Kaiserslautern) work on Crossing Disciplinary Borders to Improve Requirements Communication, Istvan Koren's (RWTH Aachen U) thesis DevOpsUse: A Community-Oriented Methodology for Societal Software Engineering, Yannic Noller's (NU Singapore) work on Hybrid Differential Software Testing, Dominic Steinhofel's (TU Darmstadt) thesis entitled Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules, Peter Wägemann's (FAU Erlangen-Nürnberg) work Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems, Michael von Wenckstern's (RWTH Aachen U) research on Improving the Model-Based Systems Engineering Process, and Franz Zieris's (FU Berlin) thesis on Understanding How Pair Programming Actually Works in Industry: Mechanisms, Patterns, and Dynamics--which actually won the award. The chapters describe key findings of the respective works, show their relevance and applicability to practice and industrial software engineering projects, and provide additional information and findings that have only been discovered afterwards, e.g. when applying the results in industry. This way, the book is not only interesting to other researchers, but also to industrial software professionals who would like to learn about the application of state-of-the-art methods in their daily work.
Author: Michael Felderer
Publisher: Springer Nature
Published: 2020-12-03
Total Pages: 140
ISBN-13: 3030586170
DOWNLOAD EBOOKThis open access book provides an overview of the dissertations of the five nominees for the Ernst Denert Award for Software Engineering in 2019. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality software. An essential requirement for the nominated work is its applicability and usability in industrial practice. The book contains five papers describing the works by Sebastian Baltes (U Trier) on Software Developers’Work Habits and Expertise, Timo Greifenberg’s thesis on Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte, Marco Konersmann’s (U Duisburg-Essen) work on Explicitly Integrated Architecture, Marija Selakovic’s (TU Darmstadt) research about Actionable Program Analyses for Improving Software Performance, and Johannes Späth’s (Paderborn U) thesis on Synchronized Pushdown Systems for Pointer and Data-Flow Analysis – which actually won the award. The chapters describe key findings of the respective works, show their relevance and applicability to practice and industrial software engineering projects, and provide additional information and findings that have only been discovered afterwards, e.g. when applying the results in industry. This way, the book is not only interesting to other researchers, but also to industrial software professionals who would like to learn about the application of state-of-the-art methods in their daily work.
Author: Hossein Hojjat
Publisher: Springer Nature
Published: 2019-09-21
Total Pages: 261
ISBN-13: 3030315177
DOWNLOAD EBOOKThis book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019. The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on agent based systems, theorem proving, learning, verification, distributed algorithms, and program analysis.
Author: Mehdi Dastani
Publisher: Springer
Published: 2017-10-10
Total Pages: 270
ISBN-13: 331968972X
DOWNLOAD EBOOKThis book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Fundamentals of Software Engineering, FSEN 2017, held in Tehran, Iran, in April 2017. The 16 full papers presented in this volume were carefully reviewed and selected from 49 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques.
Author: Andrey Maglyas
Publisher: Springer
Published: 2016-06-06
Total Pages: 196
ISBN-13: 3319405152
DOWNLOAD EBOOKThis book contains the refereed proceedings of the 7th International Conference on Software Business, ICSOB 2016, held in Ljubljana, Slovenia, in June 2016. Software business refers to commercial activities in and around the software industry aimed at generating income from the delivery of software products and services. The theme of the event was "Software as a New Way of Providing Cutting-edge Solutions". The 10 full and 5 short papers for ICSOB were selected from 38 submissions. The papers span a wide range of issues related to contemporary software business, ranging from strategic aspects to operational challenges. The strong presence of software ecosystem papers confirms the importance of this topic and influence on software business. In addition, a short abstract of the key note by Peter Lick and Hans-Bernd Kittlaus is also included.
Author: ElMouatez Billah Karbab
Publisher: Springer Nature
Published: 2021-07-10
Total Pages: 212
ISBN-13: 303074664X
DOWNLOAD EBOOKThe authors develop a malware fingerprinting framework to cover accurate android malware detection and family attribution in this book. The authors emphasize the following: (1) the scalability over a large malware corpus; (2) the resiliency to common obfuscation techniques; (3) the portability over different platforms and architectures. First, the authors propose an approximate fingerprinting technique for android packaging that captures the underlying static structure of the android applications in the context of bulk and offline detection at the app-market level. This book proposes a malware clustering framework to perform malware clustering by building and partitioning the similarity network of malicious applications on top of this fingerprinting technique. Second, the authors propose an approximate fingerprinting technique that leverages dynamic analysis and natural language processing techniques to generate Android malware behavior reports. Based on this fingerprinting technique, the authors propose a portable malware detection framework employing machine learning classification. Third, the authors design an automatic framework to produce intelligence about the underlying malicious cyber-infrastructures of Android malware. The authors then leverage graph analysis techniques to generate relevant intelligence to identify the threat effects of malicious Internet activity associated with android malware. The authors elaborate on an effective android malware detection system, in the online detection context at the mobile device level. It is suitable for deployment on mobile devices, using machine learning classification on method call sequences. Also, it is resilient to common code obfuscation techniques and adaptive to operating systems and malware change overtime, using natural language processing and deep learning techniques. Researchers working in mobile and network security, machine learning and pattern recognition will find this book useful as a reference. Advanced-level students studying computer science within these topic areas will purchase this book as well.