Software Engineering

This collection of nineteen articles on web portals showcases current scholarship in the design of service oriented architectures in enterprise environments. Topics discussed include building portal a

By way of this book, Norman Schneidewind has officially bridged the gap between the two disparate fields. Filled with many real-world examples drawn from industry and government, Systems and Software

Accurate software engineering reviews and audits have become essential to the success of software companies and military and aerospace programs. These reviews and audits define the framework and speci

This is not a book about software project failure, or about prescriptive thinking about how to build software better. This is a book about the evil things that happen on computing and software projec

The fields of HCI and Software Engineering have evolved almost independently of each other until the last decade, when it became apparent that an integrated and combined perspective would benefit the

This book constitutes the refereed proceedings of the International Conference on Advanced Software Engineering and Its Applications, ASEA 2010, held as part of the Future Generation Information Techn

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 operat

The purpose of the 8th Conference on Software Engineering, Artificial Intelligence Research, Management and Applications (SERA 2010) held on May 24 – 26, 2010 in Montreal, Canada was to bring togethe

This textbook is intended for introductory software engineering coursework or as a reference for practicing programmers. The authors introduce types and classes of software, software development life

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

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

This collection of twelve articles on implementing software security benchmarks throughout the development lifecycle, showcases current research on the implementation of security conscious design prin

A recent survey stated that 52% of embedded projects are late by 4-5 months. This book can help get those projects in on-time with design patterns. The author carefully takes into account the special

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.

The purpose of the 11th Conference Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2010) held on June 9 - 11, 2010 in London, United Kingdom was to

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

Collaboration among individuals – from users to developers – is central to modern software engineering. It takes many forms: joint activity to solve common problems, negotiation to resolve conflicts,

Presenting the most comprehensive and practical introduction to the principles of software engineering and how to apply them, this updated edition follows an object-oriented perspective Includes n

This work consists of 12 chapters by international researchers and practitioners in computer science and software engineering. The book opens with a survey of applications of evolutionary and bio-insp

This volume constitutes the refereed proceedings of the International Conference on Advanced Software Engineering and Its Applications, ASEA 2009, held as part of the Future Generation Information Tec

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

This volume constitutes the selected and extended papers of the International Conference on Advances in Software Engineering, ASEA 2008, and Its Special Sessions, as well as the International Conferen

Proven techniques for software engineering success This in-depth volume examines software engineering topics that are not covered elsewhere: the question of why software engineering has developed more

Forty-three international academics, researchers, and computer science professionals contribute 15 chapters demonstrating how mathematical models and computer software can be developed and applied for

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

The 29 papers in this collection describe processes and frameworks for integrating requirements and software engineering, software tools and methods for supporting productivity, and the development of

Computer scientists, software engineers, and other researchers describe recent investigations into how artificial intelligence techniques and concepts as knowledge-based systems, neural networks, fuzz

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

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 book aims at establishing a meaningful dialog between the Human-Computer Interaction (HCI) community and Software Engineering (SE) practitioners and researchers on the results (both good and bad

KEY BENEFIT: This introduction to software engineering and practice addresses both procedural and object-oriented development. KEY TOPICS: Is thoroughly updated to reflect significant changes in soft

Software engineering is widely recognized as one of the most exciting, stimulating, and profitable research areas, with a significant practical impact on the software industry. Thus, training future g

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

This concise easy-to-follow textbook presents the crucial issues in software engineering using the agile approach to software development - one of the mainstream paradigms for the management of softw

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,

This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference on Software Engineering Techniques, CEE-SET 2007, held in Poznan, Poland,

This book focuses on metamodelling as a discipline, exploring its foundations, techniques and results. It presents a comprehensive metamodel that covers process, product and quality issues under a com