- Table View
- List View
Soft Order in Physical Systems (Nato Science Series B: #323)
by R. Bruinsma Y. RabinA humoristic view of the physics of soft matter, which nevertheless has a ring of truth to it, is that it is an ill-defined subject which deals with ill-condensed matter by ill-defined methods. Although, since the Nobel prize was awarded to Pierre-Gilles de Gennes, this subject can be no longer shrugged-away as "sludge physics" by the physics community, it is still not viewed universally as "main stream" physics. While, at first glance, this may be considered as another example of inertia, a case of the "establishment" against the "newcomer", the roots of this prejudice are much deeper and can be traced back to Roger Bacon's conception about the objectivity of science. All of us would agree with the weaker form of this idea which simply says that the final results of our work should be phrased in an observer-independent way and be communicable to anybody who made the effort to learn this language. There exists, however, a stronger form of this idea according to which the above criteria of "objectivity" and "communicability" apply also to the process of scientific inquiry. The fact that major progress in the physics of soft matter was made in apparent violation of this approach, by applying intuition to problems which appeared to defy rigorous analysis, may explain why many physicists feel somewhat ill-at-ease with this subject.
Soft Sets: Theory and Applications (Studies in Fuzziness and Soft Computing #400)
by Sunil Jacob JohnThis book offers a self-contained guide to the theory and main applications of soft sets. It introduces readers to the basic concepts, the algebraic and topological structures, as well as hybrid structures, such as fuzzy soft sets and intuitionistic fuzzy sets. The last part of the book explores a range of interesting applications in the fields of decision-making, pattern recognition, and data science. All in all, the book provides graduate students and researchers in mathematics and various applied science fields with a comprehensive and timely reference guide to soft sets.
Soft Solids: A Primer to the Theoretical Mechanics of Materials (Modeling and Simulation in Science, Engineering and Technology)
by Alan D. FreedThis textbook presents the physical principles pertinent to the mathematical modeling of soft materials used in engineering practice, including both man-made materials and biological tissues. It is intended for seniors and masters-level graduate students in engineering, physics or applied mathematics. It will also be a valuable resource for researchers working in mechanics, biomechanics and other fields where the mechanical response of soft solids is relevant.Soft Solids: A Primer to the Theoretical Mechanics of Materials is divided into two parts. Part I introduces the basic concepts needed to give both Eulerian and Lagrangian descriptions of the mechanical response of soft solids. Part II presents two distinct theories of elasticity and their associated theories of viscoelasticity. Seven boundary-value problems are studied over the course of the book, each pertaining to an experiment used to characterize materials. These problems are discussed at the end of each chapter, giving students the opportunity to apply what they learned in the current chapter and to build upon the material in prior chapters.
Soft Systems Thinking, Methodology and the Management of Change
by Brian Wilson Kees van HaperenWhat is Soft Systems Methodology? How can it help make sense of complex business scenarios, providing solutions to challenging problems?Soft Systems Thinking, Methodology and the Management of Change identifies the challenges encountered by practitioners of SSM and provides the means of overcoming them. Featuring a unique prologue tracing the history of Systems Engineering back to its beginning in Lancaster in 1966, this authoritative text reflects on the evolutionary process of arguably the most significant research programme on the use of systems ideas in problem solving. It explores how this branch of systems-based thinking is applied and brings SSM firmly into the modern day.Key benefits:• Written by one of the major developers of SSM• Demonstrates the use of Conceptual Model Building• Includes a range of in-depth case studies and gives real-world guidance on the use of SSM
Software Adaptation in an Open Environment: A Software Architecture Perspective
by Yu Zhou Taolue ChenThe book is about a very active research field in software engineering. In modern society, the fact of the world's high reliance on software requires the system's robustness, i.e., continual availability and satisfactory service quality. This requirement gives rise to the popularity of the research on the self-adaptive software in open environment. There are some academic conferences dedicated to this field. But there is a lack of monographs about the topic. We believe such need is unmet in marketplace. By publishing the book, it can help bridge the gap and bring benefits to readers thereof. Key Features: The topic is well-motivated, interesting and actively studied worldwide The research represents as the state-of-the-art in the field The technical part of the book is rigidly evaluated The theoretical part of the book is sound and proved The organization and presentation of the book will be double-checked by professional scholars
Software Adaptation in an Open Environment: A Software Architecture Perspective
by Yu Zhou Taolue ChenThe book is about a very active research field in software engineering. In modern society, the fact of the world's high reliance on software requires the system's robustness, i.e., continual availability and satisfactory service quality. This requirement gives rise to the popularity of the research on the self-adaptive software in open environment. There are some academic conferences dedicated to this field. But there is a lack of monographs about the topic. We believe such need is unmet in marketplace. By publishing the book, it can help bridge the gap and bring benefits to readers thereof. Key Features: The topic is well-motivated, interesting and actively studied worldwide The research represents as the state-of-the-art in the field The technical part of the book is rigidly evaluated The theoretical part of the book is sound and proved The organization and presentation of the book will be double-checked by professional scholars
Software Application Development: A Visual C++, MFC, and STL Tutorial
by Bud Fox Ph.D. Zhang Wenzu Ph.D. Tan May Ling M.Sc.Software Application Development: A Visual C++, MFC, and STL Tutorial provides a detailed account of the software development process using Visual C++, MFC, and STL. It covers everything from the design to the implementation of all software modules, resulting in a demonstration application prototype which may be used to efficiently represent mathem
Software Architecture for Busy Developers: Talk And Act Like A Software Architect In One Weekend
by Stéphane EyskensTalk and act like a software architect in one weekend
Software Architecture For Web Developers: An Introductory Guide For Developers Striving To Take The First Steps Toward Software Architecture Or Just Looking To Grow As Professionals
by Mihaela Roxana GhidersaAn introductory guide for developers striving to take the first steps toward software architecture or just looking to grow as professionals
Software Architecture Patterns For Serverless Systems: Architecting For Innovation With Events, Autonomous Services, And Micro Frontends
by John GilbertArchitecting for innovation with events, autonomous services, and micro frontends
Software-as-a-Service: Anbieterstrategien, Kundenbedürfnisse und Wertschöpfungsstrukturen
by Stefan Neumann Wolfgang Faisst Stefan Wenzel Sarah Otyepka Friedrich Bandulet Gerald Spindler Daniel Hilkert Christian Wolf Oliver Bossert Ulrich Freking Markus Löffler Christoph Föckeler Kai Gutzeit Andreas Müller Kurt Servatius Andreas Ebensperger Sonja Lehmann Thomas Widjaja Raimund Matros Torsten Eymann Achim Berg Holger Eggs Michael Cusunamo Tobias Draisbach Corinna Koll Heiner Diefenbach Brenda Leadley Markus Anding Philipp Magin Carolin RietzeSoftware-as-a-Service ist eines der meistdiskutierten Themen im IT-Umfeld. Was verbirgt sich hinter dem Hype? Wo liegen Chancen und Risiken für Unternehmen und Berater? Antworten auf diese Fragen geben namhafte Autoren aus Wissenschaft und Praxis.
Software-Based Acoustical Measurements (Modern Acoustics and Signal Processing)
by Federico MiyaraThis textbook provides a detailed introduction to the use of software in combination with simple and economical hardware (a sound level meter with calibrated AC output and a digital recording system) to obtain sophisticated measurements usually requiring expensive equipment. It emphasizes the use of free, open source, and multiplatform software. Many commercial acoustical measurement systems use software algorithms as an integral component; however the methods are not disclosed. This book enables the reader to develop useful algorithms and provides insight into the use of digital audio editing tools to document features in the signal. Topics covered include acoustical measurement principles, in-depth critical study of uncertainty applied to acoustical measurements, digital signal processing from the basics, and metrologically-oriented spectral and statistical analysis of signals. The student will gain a deep understanding of the use of software for measurement purposes; the ability to implement software-based measurement systems; familiarity with the hardware necessary to acquire and store signals; an appreciation for the key issue of long-term preservation of signals; and a full grasp of the often neglected issue of uncertainty in acoustical measurements. Pedagogical features include in-text worked-out examples, end-of-chapter problems, a glossary of metrology terms, and extensive appendices covering statistics, proofs, additional examples, file formats, and underlying theory.
Software Composition: 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings (Lecture Notes in Computer Science #6708)
by Sven Apel Ethan JacksonThe book constitutes the refereed proceedings of the 10th International Conference on Software Composition, SC 2011, held in Zurich, Switzerland, in June/July 2011, co-located with TOOLS 2011 Federated Conferences. The 10 revised full papers and 2 short papers were carefully reviewed and selected from 32 initial submissions for inclusion in the book. The papers reflect all current research in software composition and are organized in topical sections on composition and interfaces, aspects and features, and applications.
Software Composition: 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings (Lecture Notes in Computer Science #8088)
by Walter Binder Eric Bodden Welf LöweThe book constitutes the refereed proceedings of the 12th International Conference on Software Composition, SC 2013, held in Budapest, Hungary, in June 2013, co-located with the STAF 2013 Federated Conferences. The 9 revised full papers were carefully reviewed and selected from 21 submissions for inclusion in the book. The papers reflect all current research in software composition, including but not limited to component-based software engineering; composition and adaption techniques; composition algebras, calculi, and type systems; feature-oriented software development; verification, validation, and testing; dynamic composition and reconfiguration.
Software Composition: 11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings (Lecture Notes in Computer Science #7306)
by Thomas Gschwind Flavio De Paoli Volker Gruhn Matthias BookThe book constitutes the refereed proceedings of the 11th International Conference on Software Composition, SC 2012, held in Prague, Czech Republic, in May/June 2012, co-located with TOOLS 2012 Federated Conferences. The 12 revised full papers were carefully reviewed and selected from 42 submissions for inclusion in the book. The papers reflect all current research in software composition and are organized in topical sections on software composition in specification languages; context-aware and dynamic composition; composition in software development; and applications of software composition.
Software Defect and Operational Profile Modeling (International Series in Software Engineering #4)
by Kai-Yuan Caialso in: THE KLUWER INTERNATIONAL SERIES ON ASIAN STUDIES IN COMPUTER AND INFORMATION SCIENCE, Volume 1
A Software-Defined GPS and Galileo Receiver: A Single-Frequency Approach (Applied and Numerical Harmonic Analysis)
by Kai Borre Dennis M. Akos Nicolaj Bertelsen Peter Rinder Søren Holdt JensenThis book explore the use of new technologies in the area of satellite navigation receivers. In order to construct a reconfigurable receiver with a wide range of applications, the authors discuss receiver architecture based on software-defined radio techniques. The presentation unfolds in a user-friendly style and goes from the basics to cutting-edge research. The book is aimed at applied mathematicians, electrical engineers, geodesists, and graduate students. It may be used as a textbook in various GPS technology and signal processing courses, or as a self-study reference for anyone working with satellite navigation receivers.
Software Design: Creating Solutions for Ill-Structured Problems (Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series)
by David BudgenSoftware Design: Creating Solutions for Ill-Structured Problems, Third Edition provides a balanced view of the many and varied software design practices used by practitioners. The book provides a general overview of software design within the context of software development and as a means of addressing ill-structured problems. The third edition has been expanded and reorganised to focus on the structure and process aspects of software design, including architectural issues, as well as design notations and models. It also describes a variety of different ways of creating design solutions such as plan-driven development, agile approaches, patterns, product lines, and other forms. Features •Includes an overview and review of representation forms used for modelling design solutions •Provides a concise review of design practices and how these relate to ideas about software architecture •Uses an evidence-informed basis for discussing design concepts and when their use is appropriate This book is suitable for undergraduate and graduate students taking courses on software engineering and software design, as well as for software engineers. Author David Budgen is a professor emeritus of software engineering at Durham University. His research interests include evidence-based software engineering (EBSE), software design, and healthcare informatics.
Software Design: Creating Solutions for Ill-Structured Problems (Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series)
by David BudgenSoftware Design: Creating Solutions for Ill-Structured Problems, Third Edition provides a balanced view of the many and varied software design practices used by practitioners. The book provides a general overview of software design within the context of software development and as a means of addressing ill-structured problems. The third edition has been expanded and reorganised to focus on the structure and process aspects of software design, including architectural issues, as well as design notations and models. It also describes a variety of different ways of creating design solutions such as plan-driven development, agile approaches, patterns, product lines, and other forms. Features •Includes an overview and review of representation forms used for modelling design solutions •Provides a concise review of design practices and how these relate to ideas about software architecture •Uses an evidence-informed basis for discussing design concepts and when their use is appropriate This book is suitable for undergraduate and graduate students taking courses on software engineering and software design, as well as for software engineers. Author David Budgen is a professor emeritus of software engineering at Durham University. His research interests include evidence-based software engineering (EBSE), software design, and healthcare informatics.
Software Engineering: The Current Practice (Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series)
by Vaclav RajlichThis text teaches students basic software engineering skills and helps practitioners refresh their knowledge and explore recent developments in the field, including software changes and iterative processes of software development. The book discusses the software change and its phases, including concept location, impact analysis, refactoring, actualization, and verification. It then covers the most common iterative processes: agile, directed, and centralized processes. The text also journeys through the initial development of software from scratch to the final stages that lead toward software closedown.
Software Engineering: The Current Practice (Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series)
by Vaclav RajlichThis text teaches students basic software engineering skills and helps practitioners refresh their knowledge and explore recent developments in the field, including software changes and iterative processes of software development. The book discusses the software change and its phases, including concept location, impact analysis, refactoring, actualization, and verification. It then covers the most common iterative processes: agile, directed, and centralized processes. The text also journeys through the initial development of software from scratch to the final stages that lead toward software closedown.
Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers (Lecture Notes in Computer Science #9509)
by Domenico Bianculli Radu Calinescu Bernhard RumpeThis book constitutes revised selected papers from the workshopscollocated with the SEFM 2015 conference on Software Engineering andFormal Methods, held in York, UK, in September 2015.The 25 papers included in this volume were carefully reviewed andselected from 32 submissions. The satellite workshops provided a highly interactive and collaborative environment for researchers and practitioners from industry and academia to discuss emerging areas of software engineering and formal methods.The four workshops were: ATSE 2015: The 6th Workshop on Automating Test Case Design, Selection and Evaluation;HOFM 2015: The 2nd Human-Oriented Formal Methods Workshop;MoKMaSD 2015: The 4th International Symposium on Modelling and Knowledge Management Applications: Systems and Domains;VERY*SCART 2015: The 1st International Workshop on the Art of Service Composition and Formal Verification for Self-* Systems.
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings (Lecture Notes in Computer Science #9276)
by Radu Calinescu Bernhard RumpeThis book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.
Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers (Lecture Notes in Computer Science #8938)
by Carlos Canal Akram IdaniThis book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability to Automation, HOFM 2014, the 3rd International Symposium on Modelling and Knowledge Management Applications - Systems and Domains, MoKMaSD 2014, the 8th International Workshop on Foundations and Techniques for Open Source Software Certification, Open Cert 2014, the 1st Workshop on Safety and Formal Methods, SaFoMe 2014 and the 4th Workshop on Formal Methods in the Development of Software, WS-FMDS 2014.
Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings (Lecture Notes in Computer Science #7504)
by George Eleftherakis Mike Hinchey Mike HolcombeThis book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods.