Tag: Software

Unifying the Software Process Spectrum International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Rev


Free Download Unifying the Software Process Spectrum: International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers By Victor Basili, Forrest Shull (auth.), Mingshu Li, Barry Boehm, Leon J. Osterweil (eds.)
2006 | 522 Pages | ISBN: 3540311122 | PDF | 9 MB
This volume contains papers presented at SPW 2005, the Software Process Workshop held in Beijing, P. R. China, on May 25-27, 2005, and prepared for final publication. The theme of SPW2005 was "Unifying the Software Process Spectrum. " Software process encompasses all the activities that aim at developing or evolving software products. The expanding role of software and information systems in the world has focused increasing attention on the need for assurances that software systems can be developed at acceptable speed and cost, on a predictable schedule, and in such a way that resulting systems are of acceptably high quality and can be evolved surely and rapidly as usage contexts change. This sharpened focus is creating new challenges and opportunities for software process technology. The increasing pace of software s- tem change requires more lightweight and adaptive processes, while the increasing mission criticality of software systems requires more process predictability and c- trol as well as more explicit attention to business or mission values. Emergent app- cation requirements create a need for ambiguity tolerance. Systems of systems and global development create needs for scalability and multi-collaborator, multi-culture concurrent coordination. COTS products provide powerful capabilities, but their v- dor-determined evolution places significant constraints on software definition, dev- opment, and evolution processes. The recognition of these needs has spawned a considerable amount of software process research across a broad spectrum.

(more…)

Software Testing with Generative AI


Free Download Software Testing with Generative AI
English | 2025 | ISBN: 1633437361 | 452 Pages | EPUB | 4 MB
The more you test, the more you learn about your software. Software Testing with Generative AI shows you how you can expand, automate, and enhance your testing with Large Language Model (LLM)-based AI. Your team will soon be delivering higher quality tests, all in less time.

(more…)

Software Product Line Engineering Foundations, Principles, and Techniques


Free Download Software Product Line Engineering: Foundations, Principles, and Techniques By Prof. Dr. Klaus Pohl, Dr. Günter Böckle, Dr. Frank van der Linden (auth.)
2005 | 467 Pages | ISBN: 3540243720 | PDF | 5 MB
I. Software Product Line Engineering Are you interested in producing software products or software-intensive systems at lower costs, in shorter time, and with higher quality? If so, you are holding the right book in your hands. Software product line engineering has proven to be the methodology for Higher quality, lower developing a diversity of software products and software-intensive systems cost, and shorter at lower costs, in shorter time, and with higher quality. Numerous reports development times document the significant achievements and experience gained by introducing software product lines in the software industry. Chapter 21 of this book summarises several cases. Concerning the terminology, there is an almost synonymous use of the terms Software product line "software product family" and "software product line". Whereas in Europe vs. software product the term software product family is used more often, in North America the family term software product line is used more frequently. This is, among other things, reflected in the names of the two former conference series (the so- ware product line conference series, started in 2000 in the USA, and the product family engineering (PFE) workshop series, started in 1996 in Europe) which were merged in 2004 to form the leading software product line conference (SPLC) series. In this book, we use the term software product line.

(more…)

Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings


Free Download Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings By David Wagner (auth.), Patrice Godefroid (eds.)
2005 | 292 Pages | ISBN: 3540281959 | PDF | 6 MB
This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005.The 15 revised full papers presented were carefully reviewed and selected from 45 submissions; in addition there are 4 tool presentation papers selected from 6 submissions. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and checking security and real-time properties.

(more…)

FSTTCS 2005 Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, Ind


Free Download FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings By Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Sundar Sarukkai, Sandeep Sen (eds.)
2005 | 566 Pages | ISBN: 3540304959 | PDF | 5 MB
This book constitutes the refereed proceedings of the 25th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2005, held in Hyderabad, India, in December 2005.The 38 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 167 submissions. A broad variety of current topics from the theory of computing are addressed, ranging from software science, programming theory, systems design and analysis, formal methods, mathematical logic, mathematical foundations, discrete mathematics, combinatorial mathematics, complexity theory, and automata theory to theoretical computer science in general.

(more…)

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 – July 1, 2006. Proceed


Free Download Component-Based Software Engineering: 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 – July 1, 2006. Proceedings By Kung-Kiu Lau, Vladyslav Ukis (auth.), Ian Gorton, George T. Heineman, Ivica Crnković, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau (eds.)
2006 | 396 Pages | ISBN: 3540356282 | PDF | 7 MB
On behalf of the Organizing Committee I am pleased to present the proceedings of the 2006 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of software-intensive systems from reusable parts (components), the development of reusable parts, and system maintenance and improvement by means of component replacement and customization. CBSE 2006 was the ninth in a series of events that promote a science and technology foundation for achieving predictable quality in software systems through the use of software component technology and its associated software engineering practices. We were fortunate to have a dedicated Program Committee comprising 27 internationally recognized researchers and industrial practitioners. We received 77 submissions and each paper was reviewed by at least three Program Committee members (four for papers with an author on the Program Committee). The entire reviewing process was supported by Microsoft’s CMT technology. In total, 22 submissions were accepted as full papers and 9 submissions were accepted as short papers. This was the first time CBSE was not held as a co-located event at ICSE. Hence special thanks are due to Ivica Crnkovic for hosting the event. We also wish to thank the ACM Special Interest Group on Software Engineering (SIGSOFT) for their sponsorship of CBSE 2005. The proceedings you now hold were published by Springer and we are grateful for their support. Finally, we must thank the many authors who contributed the high-quality papers contained within these proceedings.

(more…)

Reverse Engineering 4 – Software Protection

Free Download Reverse Engineering 4 – Software Protection

Paul Chin | Duration: 2:14 h | Video: H264 1280×720 | Audio: AAC 44,1 kHz 2ch | 1,37 GB | Language: English
Learn how software protection works from the inside out using the x64dbg debugger
If you had always wanted to learn how software protection works and how to use x64dbg to unpack them, then this is the course for you. This course is an introduction to Software Protection for anyone who wants to get started in this field. It is suitable for software developers who want to learn how to protect their software and also for reverse engineers who want to fix bugs where the source code is not available.
You will learn how to use x64dbg to unpack Crackmes protected with packing and anti-debugging. A CrackMe is a small program designed to test a programmer’s reverse engineering skills.

(more…)

Programming Foundations – Software Testing QA

Free Download Programming Foundations – Software Testing QA

Updated: 12/2024
Duration: 1h 55m | .MP4 1280×720, 30 fps(r) | AAC, 48000 Hz, 2ch | 280 MB
Level: Beginner | Genre: eLearning | Language: English
Quality assurance (QA) engineering can mean many different things to different people. In this course, learn about QA practices within the context of a software engineering project. Instructor Meaghan Lewis demonstrates the different kinds of testing QA focuses on and how QA fits into the software development life cycle (SDLC). Meaghan explores the areas you’ll likely want to test and continuously monitor to ensure increasing improvements to your product. Plus, she goes over some of the mechanisms used to communicate the overall health of a product. Upon wrapping up this course, you’ll be able to look at whatever you’re working on, think critically about how the pieces fit together, and identify ways to help your team meet quality goals with every release.

(more…)