Software Engineer's Reference Book provides the fundamental principles and general approaches, contemporary information, and applications for developing the software of computer systems. The book is comprised of three main parts, an epilogue, and a comprehensive index. The first part covers the theory of computer science and relevant mathematics. Topics under this section include logic, set theory, Turing machines, theory of computation, and computational complexity. Part II is a discussion of software development methods, techniques and technology primarily based around a conventional view of the software life cycle. Topics discussed include methods such as CORE, SSADM, and SREM, and formal methods including VDM and Z. Attention is also given to other technical activities in the life cycle including testing and prototyping. The final part describes the techniques and standards which are relevant in producing particular classes of application. The text will be of great use to software engineers, software project managers, and students of computer science.

Key problems for the IEEE Computer Society Certified Software Development Professional (CSDP) Certification Program IEEE Computer Society Real-World Software Engineering Problems helps prepare software engineering professionals for the IEEE Computer Society Certified Software Development Professional (CSDP) Certification Program. The book offers workable, real-world sample problems with solutions to help readers solve common problems. In addition to its role as the definitive preparation guide for the IEEE Computer Society Certified Software Development Professional (CSDP) Certification Program, this resource also serves as an appropriate guide for graduate-level courses in software engineering or for professionals interested in sharpening or refreshing their skills. The book includes a comprehensive collection of sample problems, each of which includes the problem's statement, the solution, an explanation, and references. Topics covered include: * Engineering economics * Test * Ethics * Maintenance * Professional practice * Software configuration * Standards * Quality assurance * Requirements * Metrics * Software design * Tools and methods * Coding * SQA and V & V IEEE Computer Society Real-World Software Engineering Problems offers an invaluable guide to preparing for the IEEE Computer Society Certified Software Development Professional (CSDP) Certification Program for software professionals, as well as providing students with a practical resource for coursework or general study.

The modern field of software metrics emerged from the computer modeling and "statistical thinking" services of the 1980s. As the field evolved, metrics programs were integrated with project management, and metrics grew to be a major tool in the managerial decision-making process of software companies. This book simplifies software measurement and explains its value as a tool for decision-makers at software companies. Techniques presented in Software Metrics: A Guide to Planning, Analysis, and Application are derived from best practices. The ideas are field-proven, down-to-earth, and straightforward, making it an invaluable resource for those striving for process improvement. This overview helps readers enrich their knowledge of measurements, analysis, and best practices, and demonstrates how ordinary analysis techniques can be applied to achieve extraordinary results. Easy-to-understand tools and techniques show how metrics create models that are indispensable to decision-making in the software industry.

Software engineering requires specialized knowledge of a broad spectrum of topics, including the construction of software and the platforms, applications, and environments in which the software operates as well as an understanding of the people who build and use the software. Offering an authoritative perspective, the two volumes of the Encyclopedia of Software Engineering cover the entire multidisciplinary scope of this important field. More than 200 expert contributors and reviewers from industry and academia across 21 countries provide easy-to-read entries that cover software requirements, design, construction, testing, maintenance, configuration management, quality control, and software engineering management tools and methods. Editor Phillip A. Laplante uses the most universally recognized definition of the areas of relevance to software engineering, the Software Engineering Body of Knowledge (SWEBOK®), as a template for organizing the material. Also available in an electronic format, this encyclopedia supplies software engineering students, IT professionals, researchers, managers, and scholars with unrivaled coverage of the topics that encompass this ever-changing field. Also Available Online This Taylor & Francis encyclopedia is also available through online subscription, offering a variety of extra benefits for researchers, students, and librarians, including: Citation tracking and alerts Active reference linking Saved searches and marked lists HTML and PDF format options Contact Taylor and Francis for more information or to inquire about subscription options and print/online combination packages. US: (Tel) 1.888.318.2367; (E-mail) e-reference@taylorandfrancis.com International: (Tel) +44 (0) 20 7017 6062; (E-mail) online.sales@tandf.co.uk

Software configuration management (SCM) is one of the scientific tools that is aimed to bring control to the software development process. This new resource is a complete guide to implementing, operating, and maintaining a successful SCM system for software development. Project managers, system designers, and software developers are presented with not only the basics of SCM, but also the different phases in the software development lifecycle and how SCM plays a role in each phase. The factors that should be considered and the pitfalls that should be avoided while designing the SCM system and SCM plan are also discussed. In addition, this third edition is updated to include cloud computing and on-demand systems. This book does not rely on one specific tool or standard for explaining the SCM concepts and techniques; In fact, it gives readers enough information about SCM, the mechanics of SCM, and SCM implementation, so that they can successfully implement a SCM system.

Software systems surround us. Software is a critical component in everything from the family car through electrical power systems to military equipment. As software plays an ever-increasing role in our lives and livelihoods, the quality of that software becomes more and more critical. However, our ability to deliver high-quality software has not kept up with those increasing demands. The economic fallout is enormous; the US economy alone is losing over US$50 billion per year due to software failures. This book presents new research into using advanced artificial intelligence techniques to guide software quality improvements. The techniques of chaos theory and data mining are brought to bear to provide new insights into the software development process. Written for researchers and practitioners in software engineering and computational intelligence, this book is a unique and important bridge between these two fields.

Business Component-Based Software Engineering, an edited volume, aims to complement some other reputable books on CBSE, by stressing how components are built for large-scale applications, within dedicated development processes and for easy and direct combination. This book will emphasize these three facets and will offer a complete overview of some recent progresses. Projects and works explained herein will prompt graduate students, academics, software engineers, project managers and developers to adopt and to apply new component development methods gained from and validated by the authors. The authors of Business Component-Based Software Engineering are academic and professionals, experts in the field, who will introduce the state of the art on CBSE from their shared experience by working on the same projects. Business Component-Based Software Engineering is designed to meet the needs of practitioners and researchers in industry, and graduate-level students in Computer Science and Engineering.

Evolving technological advancements in big data, smartphone and mobile software applications, the Internet of Things and a vast range of application areas in all sorts of human activities and professions, lead current research toward the efficient incorporation of artificial intelligence enhancements into software and the empowerment of software with artificial intelligence. The book at hand, devoted to Smart Software Applications in Cyber-Physical Systems, constitutes the second volume of a two-volume Handbook on Artificial Intelligence-empowered Applied Software Engineering. Topics include very significant advances in Smart Software Applications in (i) Scientific Document Processing, (ii) Enterprise Modeling, (iii) Education, (iv) Health care and Medicine, and (v) Infrastructure Monitoring. Professors, researchers, scientists, engineers, and students in artificial intelligence, software engineering, and computer science-related disciplines are expected to benefit from it, along with interested readers from other disciplines.

In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without verifying how the system is expected to function. Software engineering is no different in this respect. Formal methods involve the use of mathematical notation and calculus in software development; such methods are difficult to apply to large-scale systems with practical constraints (e.g., limited developer skills, time and budget restrictions, changing requirements). Here Liu claims that formal engineering methods may bridge this gap. He advocates the incorporation of mathematical notation into the software engineering process, thus substantially improving the rigor, comprehensibility and effectiveness of the methods commonly used in industry. This book provides an introduction to the SOFL (Structured Object-Oriented Formal Language) method that was designed and industry-tested by the author. Written in a style suitable for lecture courses or for use by professionals, there are numerous exercises and a significant real-world case study, so the readers are provided with all the knowledge and examples needed to successfully apply the method in their own projects.

Cognitive informatics is a multidisciplinary field that acts as the bridge between natural science and information science. Specifically, it investigates the potential applications of information processing and natural intelligence to science and engineering disciplines. This collection, entitled Discoveries and Breakthroughs in Cognitive Informatics and Natural Intelligence, provides emerging research topics in cognitive informatics research with a focus on such topics as reducing cognitive overload, real-time process algebra, and neural networks for iris recognition, emotion recognition in speech, and the classification of musical chords.