Development and Software Engineering

This collection of sixteen articles on advanced topics in software development showcases current scholarship in the fields of computer software design, programming, and testing. The volume is divided

This book focuses on defining the achievements of software engineering in the past decades and showcasing visions for the future. It features a collection of articles by some of the most prominent res

A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done with practice in mind. The numerous examples provided arise from various sources of computer system developments, including sequential programs, concurrent programs and electronic circuits. The book also contains a large number of exercises and projects ranging in difficulty. Each of the examples included in the book has been proved using the Rodin Platform tool set, which is available free for download at www.event-b.org.

More and more Agile projects are seeking architectural roots as they struggle with complexity and scale - and they're seeking lightweight ways to do it Still seeking? In this book the authors help yo

Advanced Lectures on Software EngineeringSoftware defects lead to enormous costs for the software industry and society as a whole. While testing is useful to find bugs, it is insufficient to show the

Flexible, Reliable Software: Using Patterns and Agile Development guides students through the software development process. By describing practical stories, explaining the design and programming proce

The 7th ACIS International Conference on Software Engineering Research, Management and Applications (SERA 2009) was held on Hainan Island, China from December 2 – 4. SERA ’09 featured excellent theore

Long-awaited revision to a unique guide that covers both compilers and interpreters Revised, updated, and now focusing on Java instead of C++, this long-awaited, latest edition of this popular book te

Embedded Software Development With C offers both an effectual reference for professionals and researchers, and a valuable learning tool for students by laying the groundwork for a solid foundation in

For courses in Software Engineering, Software Development, or Object-Oriented Design and Analysis at the Junior/Senior or Graduate level. This text can also be utilized in short technical courses or i

Microcontrollers and Microcomputers: Principles of Software and Hardware Engineering, Second Edition, is an ideal introductory text for an embedded system or microcontroller course. While most texts d

How can we make sure that the software we build does what it is supposed to? This book provides an insight into established techniques which help developers to overcome the complexity of software development by constructing models of software systems in early design stages. It uses one of the leading formal methods, VDM (Vienna Development Method), and combines training in the formalism with industry-strength tool support and examples derived from real industrial applications. The principles taught here also apply to many of the current generation of formal methods. This second edition has been updated to include advanced online tool support for formal modelling as well as up-to-date reports on real commercial applications in areas as diverse as business information systems and firmware design.

The neurotransmitter dopamine has just celebrated its 50th birthday. The discoveryof dopamine as a neuronal entity in the late 1950's and the notion that it servesin neurotransmission has been a mile

The software development market continues to grow worldwide. As projects become more complicated and the pressure to ?do more with less? becomes the rule of thumb, the need for software managers to b

The purpose of the 10th Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2009) to be held on May 27 – 29, 2009 in Daegu, Korea is to bri

This succinct book explains how you can apply the practices of Lean software development to dramatically increase productivity and quality. Based on techniques that revolutionized Japanese manufacturi

The 18 contributions in this collection describe proven approaches to student learning and assessment, curriculum development, innovative teaching, and team projects that solidify classroom concepts a

Software engineering is an integral part of studies in computer science and consequently foundational knowledge is critical to all students in the field. This text focuses on the essential elements,

The 15 articles collected here by Brandon (Christian Brothers U., Tennessee) review current topics for engineers creating software for the web. The text may be appropriate as a supplement to textbooks

A high-level introduction to new technologies andmethods in the field of software engineering Recent years have witnessed rapid evolution of software engineering methodologies, and until now, there h

Even the best developers have seen well-intentioned software projects fail -- often because the customer kept changing requirements, and end users didn't know how to use the software you developed. In

This book includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computing Sciences, Software Engineering and Systems

Software Testing presents one of the first comprehensive guides to testing activities, ranging from test planning through test completion for every phase of software under development, and software un

Twelve papers define agile methodologies of software development from a software quality assurance perspective, examine how quality is pursued throughout software development, and describe project act

For all engineers and students coming to finite element analysis or to ANSYS software for the first time, this powerful hands-on guide develops a detailed and confident understanding of using ANSYS's

The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly so

This textbook introduces software engineering to advanced-level undergraduate and graduate studentsof computer science. It emphasizes a case-study approach whereby a project is developed throug

Software product line engineering has proven to be the methodology for developing a diversity of software products and software intensive systems at lower costs, in shorter time, and with higher quali

A benchmark text on software development and quantitative software engineering "We all trust software. All too frequently, this trust is misplaced. Larry Bernstein has created and applied qua

The one resource needed to create reliable software This text offers a comprehensive and integrated approach to software quality engineering. By following the author's clear guidance, readers

See what reviewers at Slashdot.org originally had to say about James and Neil's book!"This is a remarkably wise book, full of pragmatic advice drawn from real projects. Ultimately, software developmen

Luck (University of Southampton, UK) explains the methods, tools, standards, and techniques used to develop software using the agent-oriented approach. Addressing issues of direct relevance to specifi

This edited book invites the reader to explore how the latest technologies developed in computational intelligence can be extended and applied to software engineering. Leading experts demonstrate how

The underlying argument here is that software should be empirically tested both by researchers in laboratory contexts, and by practitioners in industrial contexts. Contributors from both realms in Eur

Written by a software developer for software developers, this book is a unique collection of the latest software development methods. The author includes OOD, UML, Design Patterns, Agile and XP method

-- Seven new chapters and exhaustive coverage of process improvement, testing, and quality assurance.-- Contains numerous real-life examples based on the author's work at the Malcolm Baldrige Award-wi

Provides an introduction to the software development process in a general manner, but shows real-world application using the Unified Process for Education, a modified version of Rational's Unified Pro

This set of four of the most popular IEEE Computer Society software engineering titles edited by Richard Thayer, Merlin Dorfman, and Robin Hunter is offered at a special discount price of $215.00 for

Covering all aspects of engineering for practitioners who design, write, or test computer programs, this updated edition explores all the issues and principles of software design and engineering. With