» książki » Computers - Software Development & Engineering - General
topmenu
Kategoria BISAC: Computers >> Software Development & Engineering - General
ilość książek w kategorii: 10833
 |
Practical Risk Assessment for Project Management
ISBN: 9780471939795 / Angielski / Twarda / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the estimating, planning and management of any project, large or small, an understanding of the impact of risk is critical. This book explains how the growing number of people choosing to or forced to organise their work as projects can make realistic assessments of the uncertainty affecting costs, timescale and revenue, before commitments are made. A clear analysis of the role of uncertainty is combined in this concise and practical handbook with simple, cost-effective techniques for measuring and modelling the overall risk to a project's budget and schedule. There is advice and help here...
In the estimating, planning and management of any project, large or small, an understanding of the impact of risk is critical. This book explains how ...
|
cena:
286,95 zł |
 |
Managing Software Quality and Business Risk
ISBN: 9780471997825 / Angielski / Miękka / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. How to manage quality up, and risk down. This invaluable guide to project planning and strategic decision making for software developers presents practical and realistic planning techniques to increase chances of a project delivering to time and budget. Offering clear explanations and real-world experiences, the key components of technical management are laid out as templates and checklists to assist managers with their project development. With thirty years of experience in software development, Martyn Ould provides:
* Proven strategies for a disciplined approach to project... How to manage quality up, and risk down. This invaluable guide to project planning and strategic decision making for software developers presents prac...
|
cena:
486,53 zł |
 |
Specifying Software: A Hands-On Introduction
ISBN: 9780521004015 / Angielski / Miękka / 302 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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...
This innovative volume provides a hands-on introduction to techniques for specifying the behavior of software components. A text for a second-year und...
|
cena:
199,98 zł |
 |
Practical WAP: Developing Applications for the Wireless Web
ISBN: 9780521005616 / Angielski / Miękka / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is an intermediate-level guide to building WAP applications. The Wireless Application Protocol (WAP) provides the technological framework for combining mobile communications with Internet technologies. WAP opens up the Web to a vastly expanded audience, allowing new types of applications to take advantage of user location, provide time-critical information, and offer personalized content. This book details the WAP Forum, mobile devices, and what makes a good WAP application. Using real world examples, this book examines the WAP standards, focusing on those essential to building working...
This is an intermediate-level guide to building WAP applications. The Wireless Application Protocol (WAP) provides the technological framework for com...
|
cena:
204,60 zł |
 |
Java Outside in Paperback
ISBN: 9780521010870 / Angielski / Mixed media product / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book and CD set treats learning a programming language much like learning a spoken language: programming is best learned by immersion. Through building interesting programs and addressing real design issues much earlier than other texts, this book moves beyond the placement of semicolons and other syntactic details and is able to discuss the architecture of serious programs: how delegation and inheritance allow objects to cooperate to do useful work. Throughout the text, the authors deal with programs that implement applications realistic enough to be convincing.
This book and CD set treats learning a programming language much like learning a spoken language: programming is best learned by immersion. Through bu...
|
cena:
232,22 zł |
 |
Programs, Recursion and Unbounded Choice
ISBN: 9780521018296 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Predicate transformation semantics is the best specification method for the development of correct and well-structured computer programs. This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction, and unbounded nondeterminacy. The author develops their theory to a greater depth than has been achieved before, and describes it in a way that makes it readily compatible with programming methodology. He gives proofs of the programming rules for partial and total correctness of...
Predicate transformation semantics is the best specification method for the development of correct and well-structured computer programs. This book is...
|
cena:
269,82 zł |
 |
Foundations of Parallel Programming
ISBN: 9780521018562 / Angielski / Miękka / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Using parallel machines is difficult because of their inherent complexity and because their architecture changes frequently. This book presents an integrated approach to developing software for parallel machines that addresses software issues and performance issues together. The author describes a methodology for software construction that is architecture-independent and intellectually abstract. The software can execute efficiently on a range of existing and potential hardware configurations. The approach is based on the construction of categorical data types, a generalization of abstract...
Using parallel machines is difficult because of their inherent complexity and because their architecture changes frequently. This book presents an int...
|
cena:
228,66 zł |
 |
The B-Book: Assigning Programs to Meanings
ISBN: 9780521021753 / Angielski / Miękka / 816 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The B method is a means for specifying, designing and coding software systems. The long-awaited B Book is the standard reference for everything concerning this method. It contains the mathematical basis on which it is founded, the precise definitions of the notations used, and a large number of examples illustrating its use in practice. J.-R. Abrial, the inventor of B, has written the book in such a way that it can be used for self-study or for reference. It is in four parts, the first dealing with the mathematical foundations, including a systematic construction of predicate logic and set...
The B method is a means for specifying, designing and coding software systems. The long-awaited B Book is the standard reference for everything concer...
|
cena:
599,09 zł |
 |
Compiling with Continuations
ISBN: 9780521033114 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book shows how continuation-passing style is used as an intermediate representation on which to perform optimisations and program transformations.
This book shows how continuation-passing style is used as an intermediate representation on which to perform optimisations and program transformations...
|
cena:
507,62 zł |
 |
Recursion Via Pascal
ISBN: 9780521269346 / Angielski / Miękka / 204 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is devoted to recursion in programming, the technique by which the solution to a problem is expressed partly in terms of the solution to a simpler version of the same problem. Ultimately the solution to the simplest version must be given explicitly. In functional programming, recursion has received its full due since it is quite often the only repetitive construct. However, the programming language used here is Pascal and the examples have been chosen accordingly. It makes an interesting contrast with the use of recursion in functional and logic programming. The early chapters...
This book is devoted to recursion in programming, the technique by which the solution to a problem is expressed partly in terms of the solution to a s...
|
cena:
199,98 zł |
 |
Testing in Software Development
ISBN: 9780521337861 / Angielski / Miękka / 136 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. With the increasing application of software in systems, especially safety- or even life-critical systems, it is no longer sufficient for the software developer to rely solely on testing the code produced. Testing must begin with the specification of requirements, continue on the design and finally on the implemented system. This book gives guidance on how testing can be carried out at each of the stages of software development. It does this by looking at the development process from four viewpoints: that of the intended user of the system, of its designers, of its programmers, and of the...
With the increasing application of software in systems, especially safety- or even life-critical systems, it is no longer sufficient for the software ...
|
cena:
149,26 zł |
 |
A Practical Handbook for Software Development
ISBN: 9780521347921 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This handbook offers the implementer of software systems a guide to 25 different techniques for the complete development process, from system definition through design and into production. The techniques are described against a common background of the traditional development path, its activities, and deliverable items. In addition, the concepts of metrics and indicators are introduced as tools for both technical and managerial monitoring and control of progress and quality. This book will enable system developers and their managers to widen their knowledge of this process, and will also...
This handbook offers the implementer of software systems a guide to 25 different techniques for the complete development process, from system definiti...
|
cena:
241,49 zł |
 |
Formal Specification and Design
ISBN: 9780521435925 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics,...
Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logi...
|
cena:
283,49 zł |
 |
Qualified Types: Theory and Practice
ISBN: 9780521543262 / Angielski / Miękka / 172 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book describes the use of qualified types to provide a general framework for the combination of polymorphism and overloading. For example, qualified types can be viewed as a generalization of type classes in the functional language Haskell and the theorem prover Isabelle. These in turn are extensions of equality types in Standard ML. Other applications of qualified types include extensible records and subtyping. Using a general formulation of qualified types, the author extends the Damas/Milner type inference algorithm to support qualified types, which in turn specifies the set of all...
This book describes the use of qualified types to provide a general framework for the combination of polymorphism and overloading. For example, qualif...
|
cena:
228,66 zł |
 |
LISP in Small Pieces
ISBN: 9780521545662 / Angielski / Miękka / 536 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a comprehensive account of the semantics and the implementation of the whole Lisp family of languages, namely Lisp, Scheme and related dialects. It describes 11 interpreters and 2 compilers, including very recent techniques of interpretation and compilation. The book is in two parts. The first starts from a simple evaluation function and enriches it with multiple name spaces, continuations and side-effects with commented variants, while at the same time the language used to define these features is reduced to a simple lambda-calculus. Denotational semantics is then naturally...
This is a comprehensive account of the semantics and the implementation of the whole Lisp family of languages, namely Lisp, Scheme and related dialect...
|
cena:
553,35 zł |
 |
Formal Semantics and Pragmatics for Natural Language Querying
ISBN: 9780521602747 / Angielski / Miękka / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book discusses the connection between two areas of semantics, namely the semantics of databases and the semantics of natural language, and links them via a common view of the semantics of time. It is argued that a coherent theory of the semantics of time is an essential ingredient for the success of efforts to incorporate more ???real world??? semantics into database models. This idea is a relatively recent concern of database research but it is receiving growing interest. The book begins with a discussion of database querying which motivates the use of the paradigm of Montague Semantics...
This book discusses the connection between two areas of semantics, namely the semantics of databases and the semantics of natural language, and links ...
|
cena:
269,82 zł |
 |
Axiomatic Domain Theory in Categories of Partial Maps
ISBN: 9780521602778 / Angielski / Miękka / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them. This book is the first systematic account of the subject and studies mathematical structures suitable for modelling functional programming languages in an axiomatic (i.e. abstract) setting. In particular, the author develops theories of partiality and recursive types and applies them to the study of the metalanguage FPC; for example, enriched categorical models of the FPC are defined. Furthermore, FPC is considered as a programming language with a call-by-value operational...
Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them. This book is the first systematic a...
|
cena:
233,24 zł |
 |
Applications of Process Algebra
ISBN: 9780521607506 / Angielski / Miękka / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communicating processes studied using an algebraic framework. The approach is axiomatic; the authors consider structures that are some set of mostly equational axioms, which are equipped with several operators. Thus the term ?algebra? is used in the model-theoretic sense. The axiomatic approach enables one to organize the field of process theories. The theory is applied systematically to a number of situations, including systolic algorithms, semantics...
This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communi...
|
cena:
539,64 zł |
 |
Action Semantics
ISBN: 9780521619332 / Angielski / Miękka / 396 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics. Action Semantics has considerable pragmatic advantages over all previous approaches, in its comprehensibility and accessibility, and especially in the usefulness of its semantic descriptions of realistic programming languages. In this volume, Dr Peter Mosses gives a thorough introduction to action semantics, and provides substantial illustrations of its use. Graduates of computer science or maths who have...
Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of...
|
cena:
324,69 zł |
 |
Component-Based Software Engineering
ISBN: 9780521648219 / Angielski / Miękka / 174 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book includes coverage of the most important and current topics in Componentware(R) technology, based in large part on the first Component Users Conference. It addresses such issues as componentware platforms, component design and architecture, distributed object computing, componentware languages, patterns and frameworks, interoperability, and debugging and testing.
This book includes coverage of the most important and current topics in Componentware(R) technology, based in large part on the first Component Users ...
|
cena:
301,39 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
