Kategoria BISAC: Computers >> Software Development & Engineering - General

Including easily digested information about fundamental techniques and concepts in software construction, this book is distinct in unifying pure theory with pragmatic details. Driven by generic problems and concepts, with brief and complete illustrations from languages including C, Prolog, Java, Scheme, Haskell and HTML.

This book is intended to be both a how-to handbook and easy reference guide. Discussions of principle, worked examples and exercises are presented. All concepts outside introductory programming are explained with clear demarcation and dependencies so the...

Developing Services for the Wireless Internet offers state-of-the-art technological knowledge and practical know-how to practitioners project managers, software architects and designers, process engineers and quality assurance workers. The book supports the developers of services and applications for mobile phones, PDAs and smart phones. This new emerging domain is characterized by a very fast pace of change in the underlying technology, exposing products and applications to a constant risk of obsolescence. The relative youth of this field means that knowledge is comparatively limited. The...

This book provides a comprehensive introduction to various mathematical approaches to achieving high-quality software. An introduction to mathematics that is essential for sound software engineering is provided as well as a discussion of various mathematical methods that are used both in academia and industry.

The mathematical approaches considered include:

• Z specification language
• Vienna Development Methods (VDM)
• Irish school of VDM (VDM)
• approach of Dijkstra and Hoare
• classical engineering approach of Parnas
• Cleanroom...

Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upon the correct functioning of the kernel. This unique approach - presenting a formal specification of a kernel - starts with basic constructs and develops a set of kernels; proofs are included as part of the text.

This third edition of the successful information systems guide is a thorough introduction to all aspects of business transformation and analysis. It offers a complex set of tools covering all types of systems, including legacy, transactional, database and web/ecommerce topics and integrates them within a common method for the successful analyst/designer. With additional chapters on topics such as Web interface tools and data warehouse system design, and providing new case studies, it is a valuable resource for all information systems students, as well as professionals.

Principles of Spin is an introductory book, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use.

The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The book introduces Spin-based software that the author has developed for teaching: jSpin - an integrated development environment for Spin; SpinSpider -...