Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Specifying Software: A Hands-On Introduction

Buy
This book was written to support a short course in the second or third year of an undergraduate computer science, software engineering, or software design program. The prerequisites are fairly modest: some programming experience (ideally in С or С++ or a related language such as Java) and some exposure to the most basic concepts of discrete mathematics (sets, functions, binary re lations, sequences) and to the language of elementary logic (connectives and quantifiers). It is intended to be only an introduction to software specifications, not a systematic survey of requirements engineering, formal methods, compil ers, or computation theory suitable for a senior or graduate-level course. A course based on this book would provide a good foundation for such courses but should not replace them.

This innovative volume provides a hands-on introduction to techniques for specifying the behavior of software components. A text for a second-year undergraduate course in Computer Science and Computer Engineering programs, it is also suitable for self-study. This book will help students to improve their programming skills and gain a sound foundation and motivation for subsequent courses in advanced algorithms and data structures, software design, formal methods, compilers, programming languages, and theory. The main topics covered are techniques for using programmer-friendly assertional notations to specify, develop, and verify small but non-trivial algorithms and data representations, and the use of state diagrams, grammars, and regular expressions to specify and develop recognizers for formal languages. The presentation is based on numerous examples and case studies appropriate to the level of programming expertise of the intended readership.

(HTML tags aren't allowed.)

Enterprise Architecture A to Z: Frameworks, Business Process Modeling, SOA, and Infrastructure Technology
Enterprise Architecture A to Z: Frameworks, Business Process Modeling, SOA, and Infrastructure Technology
Driven by the need and desire to reduce costs, organizations are faced with a set of decisions that require analytical scrutiny. Enterprise Architecture A to Z: Frameworks, Business Process Modeling, SOA, and Infrastructure Technology examines cost-saving trends in architecture planning, administration, and management....
Beginning COBOL for Programmers
Beginning COBOL for Programmers

Beginning COBOL for Programmers is a comprehensive, sophisticated tutorial and modular skills reference on the COBOL programming language for established programmers. This book is for you if you are a developer who would like to—or must—add COBOL to your repertoire. Perhaps you recognize the opportunities presented by the...

Software Engineering Handbook
Software Engineering Handbook
The Software Engineering Handbook is written for software developers; unlike many other texts, it is written to be used in developers everyday work. Care has been taken to reference outside sources consulted for the text, easily leading readers to more detailed information when needed. This book is recommended for libraries that serve IT...

Knockout.js: Building Dynamic Client-Side Web Applications
Knockout.js: Building Dynamic Client-Side Web Applications

Use Knockout.js to design and build dynamic client-side web applications that are extremely responsive and easy to maintain. This example-driven book shows you how to use this lightweight JavaScript framework and its Model-View-ViewModel (MVVM) pattern. You’ll learn how to build your own data bindings, extend the framework with...

UML for Developing Knowledge Management Systems
UML for Developing Knowledge Management Systems
This book came from a need to establish a way to capture knowledge that can be easily translated into a computer program. To do this I wanted to establish a methodology or framework that would assist me. This framework must be a reusable method for getting this done. However, what should this framework contain? The first thing I wanted to be able...
A Student's Guide to Coding and Information Theory
A Student's Guide to Coding and Information Theory

This easy-to-read guide provides a concise introduction to the engineering background of modern communication systems, from mobile phones to data compression and storage. Background mathematics and specific engineering techniques are kept to a minimum so that only a basic knowledge of high-school mathematics is needed to understand the...

©2020 LearnIT (support@pdfchm.net) - Privacy Policy