General

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450304436Author Sigsoft Fse Conference CommitteeFormat PaperbackPage Count 548Imprint ACMPublisher ACMWeight(grams) 1252g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780986270420Author Matt GriscomFormat PaperbackPage Count 282Imprint MetaautomationPublisher MetaautomationWeight(grams) 562g

This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive treatment of...

Introduces a number of software life cycle models and the basic concepts of object-oriented systems, then details different phases of a life cycle emphasizing the object-oriented paradigm. Among the topics are formal specifications and verification,...

The author here presents a detailed explanation of the methodolgy of software reliablity evaluation, and then demonstrates its applications to a commercial loan system, a funds transfer security system, and a payables processing system. Her well-written,...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9798991926706Author Douglas W ArcuriFormat PaperbackPage Count 458Imprint Dependent StudiosPublisher Dependent StudiosWeight(grams) 608g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9798989929900Author Nicole Tietz-SokolskayaFormat PaperbackPage Count 268Imprint May 11 Publishing LLCPublisher May 11 Publishing LLCWeight(grams) 345g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9798224795130Author Keith BitikoferFormat PaperbackPage Count 86Imprint Keith BitikoferPublisher Keith BitikoferWeight(grams) 127g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9798218466237Author Bill FrasureFormat PaperbackPage Count 154Imprint Billding SoftwarePublisher Billding SoftwareWeight(grams) 213g

Machine learning is the study of building computer programs that improve their performance through experience. To meet the challenge of developing and maintaining larger and complex software systems in a dynamic and changing environment, machine learning...

This book provides a unique overview of different approaches to developing software that is flexible, adaptable and easy to maintain and reuse. It covers the most recent advances in software architecture research. In addition, it provides the reader with...

This book presents software visualization at a level suitable for a senior level undergraduate or graduate course, or for the interested technical professional. The approach is to give a survey of the field, and then present a specific research framework...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781632405999Author Cheryl JollymoreFormat HardbackPage Count 241Imprint Clanrye InternationalPublisher Clanrye InternationalWeight(grams) 848g

This book describes the principles of model building in financial engineering. It explains those models as designs and working implementations for Java-based applications. The book provides software professionals with an accessible source of numerical...

Engineering tasks are supposed to achieve defined goals under certain project constraints. Example goals of software engineering tasks include achieving a certain functionality together with some level of reliability or performance. Example constraints...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9798874430740Author Julian CambridgeFormat PaperbackPage Count 49Imprint Kindle Direct PublishingPublisher Kindle Direct Publishing

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9798870820996Author Julian CambridgeFormat PaperbackPage Count 36Imprint Kindle Direct PublishingPublisher Kindle Direct Publishing

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9798867005948Author Julian CambridgeFormat PaperbackPage Count 24Imprint Kindle Direct PublishingPublisher Kindle Direct Publishing

Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs,...

Computing is quickly making much of geometry intriguing not only for philosophers and mathematicians, but also for scientists and engineers. What is the core set of topics that a practitioner needs to study before embarking on the design and...

Validation and verification is an area of software engineering that has been around since the early stages of program development, especially one of its more known areas: testing. Testing, the dynamic side of validation and verification (V&V), has...

Interactive systems are growing in the last decade because of the amount of fields in which this kind of application can be used as a test bed to experiment in medicine, training, education, and so on. Developing Future Interactive Systems is a...

Intelligent assistant systems information is becoming the raw material of modern society. Access to information spaces and the capability to use them effectively and efficiently has become a key economical success factor. ""Intelligent...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781475188332Author Vibrant PublishersFormat PaperbackPage Count 174Imprint CreateSpacePublisher CreateSpaceWeight(grams) 260g

It's a plain fact: regardless of how smart, creative, and innovative your organization is, there are more smart, creative, and innovative people outside your organization than inside. Open source offers the possibility of bringing more innovation into...

Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of 'quantitative' program logics.Book...

How is it that one system is more effective, appealing, satisfying and/or more beautiful than another to its stakeholder community? This question drove Christopher Alexander's fifty-year quest to explain great physical architecture and gave birth to...

This book describes the principles of model building in financial engineering. It explains those models as designs and working implementations for Java-based applications. The book provides software professionals with an accessible source of numerical...

Building Intelligent Information Systems Software shows scientists and engineers how to build applications that model complex information, data, and knowledge without the need for coding. Traditional software development takes time and leads to...

This book represents the proceedings of the 9th SDL Forum which was held in Montreal, Quebec, Canada, during the week of June 21-25, 1999. The 9th SDL Forum presents papers on the past and future development of the MSC and SDL languages.The volume...

Environment Modeling-Based Requirements Engineering for Software Intensive Systems provides a new and promising approach for engineering the requirements of software-intensive systems, presenting a systematic, promising approach to identifying,...

Data Science for Software Engineering: Sharing Data and Models presents guidance and procedures for reusing data and models between projects to produce results that are useful and relevant. Starting with a background section of practical lessons and...

System Quality and Software Architecture collects state-of-the-art knowledge on how to intertwine software quality requirements with software architecture and how quality attributes are exhibited by the architecture of the system. Contributions from...

The Art and Science of Analyzing Software Data provides valuable information on analysis techniques often used to derive insight from software data. This book shares best practices in the field generated by leading data scientists, collected from their...

Software Engineering: Architecture-driven Software Development is the first comprehensive guide to the underlying skills embodied in the IEEE's Software Engineering Body of Knowledge (SWEBOK) standard. Standards expert Richard Schmidt explains the...

This comprehensive reference uses a formal and standard evaluation technique to show the strengths and weakness of more than 60 software development methodologies such as agile, DevOps, RUP, Waterfall, TSP, XP and many more. Each methodology is applied...

The Transactions on Pattern Languages of Programming subline aims to publish papers on patterns and pattern languages as applied to software design, development, and use, throughout all phases of the software life cycle, from requirements and design to...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789998778504Author Jordi CabotFormat PaperbackPage Count 114Imprint Jordi CabotPublisher Jordi CabotWeight(grams) 222g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9785356924873Author Iyiola LadejoFormat HardbackPage Count 188Imprint Avidbook Publishing AgencyPublisher Avidbook Publishing AgencyWeight(grams) 422g

This book constitutes of the proceedings from the 28th International Conference on Engineering of Complex Computer Systems, ICECCS 2024, held in Limassol, Cyprus, during June 19–21, 2024.   The 18 full papers and 4 short papers presented here were...