General

This book constitutes the jointly proceedings of the 3rd International Conference on Intelligent Edge Processing in the IoT Era, Edge-IoT 2022, and the 4th International Conference on Smart Governance for Sustainable Smart Cities, SmartGov 2022. Both...

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and...

This book constitutes the proceedings of the First International Conference on Computer and Communication Engineering, ICCCE 2018, held in Guayaquil, Ecuador, in October 2018. The 12 full papers presented were carefully reviewed and selected from 68...

This volume contains the post-proceedings of the 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2014, held in Telc, Czech Republic, in October 2014. The 13 thoroughly revised papers were carefully selected out...

This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short...

This book constitutes selected, revised and extended papers of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2020, held in virtual format, in May 2020. The 19 revised full papers presented were...

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected...

This textbook presents an introduction to the mathematical foundations of software engineering. It presents the rich applications of mathematics in areas such as error-correcting codes, cryptography, the safety and security critical fields, the banking...

This book constitutes revised selected papers from the 9th Brazilian Workshop on Agile Methods, WBMA 2018, held in Campinas, Brazil, in October 2018. The 6 full and 1 short papers presented in this volume were carefully reviewed and selected from 18...

This book constitutes the thoroughly refereed proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, which was held virtually due to the Covid-19 pandemic. The 12 revised full papers were carefully reviewed and selected...

This book contains the refereed proceedings of the 15th International Conference on Agile Software Development, XP 2014, held in Rome, Italy, in May 2014.Because of the wide application of agile approaches in industry, the need for collaboration between...

This book constitutes the refereed proceedings of the 4th International Conference on Technology Trends, CITT 2018, held in Babahoyo, Ecuador, in August 2018. The 53 revised full papers presented were carefully reviewed and selected from 204 submissions...

This book constitutes the refereed proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, held in Funchal, Madeira, Portugal, in March 2018. The 17 revised full papers and 5 revised short...

This book constitutes the thoroughly refereed proceedings of the Second International Conference on Cloud Computing and Services Science, CLOSER 2012, held in Porto, Portugal, in April 2012. The 15 papers were selected from 145 submissions and are...

This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic. The 14 regular papers...

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2018, held in Vancouver, Canada, in May 2018. The 7 revised full papers presented...

This book constitutes the refereed proceedings of five workshops symposia, held at the 37th International Conference on Conceptual Modeling, ER 2018, in Xi'an, China, in October 2018. The 42 papers promote and disseminate research on theories of concepts...

This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were...

This book constitutes the thoroughly refereed papers of the workshops held at the 9th International Conference on New Trends in Model and Data Engineering, MEDI 2019, in Toulouse, France, in October 2019. The 12 full and the three short workshop papers...

Links constructive software development to traditional problem-solving methods Not dependent on any particular specification language, but is based instead on their common coreBook InformationISBN 9781852338206Author John CookeFormat PaperbackPage Count...

An airline is supposed to make the experience of booking a flight easy, trouble free, and reliable. But when scheduling software breaks down and flights get canceled, customers will walk, and heads will roll. That's what Leigh Freemark faces the day she...

NeXTSTEP is the central software of the NeXT workstation. It combines object-oriented programming tools, interface customizing utilities, a multitasking Unix operating system, built-in networking, multimedia connections and Display Postscript for showing...

Sorry no description is available for this book at this time.

Sorry no description is available for this book at this time.

This book discusses Change Management Impact Analysis and how this method is used to analysis the risks and benefits of a change management initiative when it pertains to obtaining critical insight into how the change management program budget should be...

Nonfunctional Requirements in Mobile Application Development is an empirical study that investigates how nonfunctional requirements--as compared with functional requirements--are treated by the software engineers during mobile application development.The...

This book focuses on a specialized branch of the vast domain of software engineering: component-based software engineering (CBSE). Component-Based Software Engineering: Methods and Metrics enhances the basic understanding of components by defining...

The Elements of C++ Style, first published in 2004, is for all C++ practitioners, especially for those working in teams where consistency is critical. Just as Strunk and White's The Elements of Style provides rules of usage for writing in the English...

This is the definitive compendium of design patterns in communication software, gathered together by Linda Rising, Ph.D., a recognized leader in the field. Contributors include James O. Coplien, Douglas C. Schmidt, Robert Hanmer, Greg Utas, Just van den...

This book covers all you need to know to model and design software applications from use cases to software architectures in UML and shows how to apply the COMET UML-based modeling and design method to real-world problems. The author describes...

Hardcore JFC is a comprehensive guide to the functionality and practical use of the Java Foundations Classes (JFC), a component library designed for the Java programming language and operating environment. It presents intermediate and advanced techniques...

Computer interfaces and documentation are notoriously difficult for any user, regardless of his or her level of experience. Advances in technology are not making applications more friendly. Introducing concepts from linguistics and language teaching,...

Ivar Jacobson, one of the Three Amigos of Rational, follows his fellow amigos, Grady Booch and James Rumbaugh, with the publication of The Road to the Unified Software Development Process, his own collection of the best of his work. Together with Stefan...

E-commerce is still a volatile industry, but each day a new enterprise pops up promising to be the next big thing. The real challenge is to understand what is involved in using the Internet as a means to building a successful business. Rather than coming...

This book is an in-depth exploration of ENVY/Developer, IBM's team programming environment for Smalltalk and Java. Written by well-known experts in the area, it presents both introductory and advanced topics with detailed examples. The first two parts of...

This is the first Visual Basic.NET book to provide a comprehensive discussion of the major data structures and algorithms. Here, instead of having to translate material on C++ or Java, the professional or student VB.NET programmer will find a tutorial on...

High tech products have historically had notoriously poor design. Fortunately, companies have recently started to embrace user centered design practices. This transition hasn't been smooth, however, as many companies have trouble transferring good design...

The designer of a software system, like the architect of a building, needs to be aware of the construction techniques available and to choose the ones that are the most appropriate. This book provides the implementer of software systems with a guide to...

Engineers and scientists need powerful formalisms to make conceptual models of systems in order to analyse and design them. These models can be used to verify the behaviour of the systems, or as an executable specification of them. In this textbook,...

Beyond Programming provides a unique examination of the software development process. It asserts that software development, a discipline that is less than 50 years old, is still guided by methods conceived in the framework of an older technology. To make...