Search results for:
Software
Matching titles: 1 to 15 of 17
-
-
-
Mobile Testing
An ASTQB-BCS Foundation guide
-
Rex Black (author)
-
- 9781780174044 Paperback
UK Price: £24.99 £18.74 EU Price: €31.99 €23.99 ROW (USD) Price: $34.99 $26.24
-
-
Mobile testing is the process of testing the functionality, usability and consistency of mobile software. With this essential guide, in line with the ASTQB Certified Mobile Tester foundation certificate, you will gain the understanding and skills you require to begin your journey to becoming a proficient mobile tester.
-
More information on Mobile Testing »
-
-
-
Algebraic Subtyping
-
Stephen Dolan (author)
-
- 9781780174150 Paperback
UK Price: £75.00 EU Price: €95.00 ROW (USD) Price: $105.00
-
-
This thesis presents a type system combining ML-style parametric polymorphism and subtyping, with type inference, principal types, and decidable type subsumption. Type inference is based on biunification, an analogue of unification that works with subtyping constraints.
-
More information on Algebraic Subtyping »
-
-
-
Verification of Message Passing Concurrent Systems
-
Emanuele D’Osualdo (author)
-
- 9781780173634 Paperback
UK Price: £75.00 EU Price: €95.00 ROW (USD) Price: $105.00
-
-
As our world keeps delegating more and more critical tasks to networks of interconnected machines, developing a
strong theoretical framework for their design and analysis is of paramount importance. This dissertation is concerned
with the development of fully-automatic methods of verification for message-passing based concurrent systems.
-
More information on Verification of Message Passing Concurrent Systems »
-
-
-
Software Testing
An ISTQB-BCS Certified Tester Foundation guide
3rd edition
-
Brian Hambling (editor), Brian Hambling (author), Peter Morgan (author), Angelina Samaroo (author), Geoff Thompson (author), Peter Williams (author)
-
- 9781780172996 Paperback
UK Price: £29.99 EU Price: €37.99 ROW (USD) Price: $41.99
-
-
This practical guide provides insight into software testing, explaining the basics of the testing process and how to perform effective tests. It provides an overview of different techniques and how to apply them. It is the best-selling official textbook of the ISTQB-BCS Certified Tester Foundation Level.
-
More information on Software Testing »
-
-
-
Off-The-Shelf IT Solutions
A practitioner's guide to selection and procurement
-
Martin Tate (author)
-
- 9781780172583 Paperback
UK Price: £32.99 EU Price: €41.99 ROW (USD) Price: $46.99
-
-
This practical book presents a proven decision-making process to help IT and business managers select the off-the-shelf software product that best fits the needs of their organisation. Suitable for all sectors, it offers a structured approach to managing stakeholders, requirements and candidate IT vendors.
-
More information on Off-The-Shelf IT Solutions »
-
-
-
Agile Foundations
Principles, practices and frameworks
-
Peter Measey (editor), Peter Measey (author)
-
- 9781780172545 Paperback
UK Price: £27.99 EU Price: €34.99 ROW (USD) Price: $39.99
-
-
Agile practices transform the way organisations carry out business and respond to change. But to realise success, an Agile mindset needs to be adopted throughout an organisation. This book gives a comprehensive introduction to Agile principles and methodologies.
-
More information on Agile Foundations »
-
-
-
Graph Patterns
Structure, query answering and applications in schema mappings and formal language theory
-
Juan L. Reutter (author)
-
- 9781780172989 Paperback
UK Price: £75.00 EU Price: €95.00 ROW (USD) Price: $105.00
-
-
Graph data appears in a variety of application domains, including social networks, biological databases and the Semantic Web initiative. In all these applications, the underlying data is naturally modelled as graphs. This dissertation provides a thorough study of graph patterns.
-
More information on Graph Patterns »
-
-
-
Developing Information Systems
Practical guidance for IT professionals
-
James Cadle (editor), Tahir Ahmed (author), Julian Cox (author), Lynda Girvan (author), Alan Paul (author), Debra Paul (author), Pete Thompson (author)
-
- 9781780172453 Paperback
UK Price: £32.99 EU Price: €41.99 ROW (USD) Price: $46.99
-
-
Systems development is the process of creating and maintaining information systems. This practical book provides a comprehensive introduction to the topic and can also be used as a handy reference guide by those already working in the field. It is the only textbook that supports the BCS Certificate in Systems Development.
-
More information on Developing Information Systems »
-
-
-
Feature Selection Via Joint Likelihood
-
Adam C Pocock (author)
-
- 9781780172491 Paperback
UK Price: £75.00 EU Price: €95.00 ROW (USD) Price: $105.00
-
-
The field of feature selection has many different competing algorithms, selection criteria and measure functions, with little theoretical justification for the choice of one measure over another. This thesis focuses on feature selection algorithms that use information theoretic criteria and provide a solid theoretical justification for their use.
-
More information on Feature Selection Via Joint Likelihood »
-
-
-
User Acceptance Testing
A step-by-step guide
-
Brian Hambling (author), Pauline van Goethem (author)
-
- 9781780171678 Paperback
UK Price: £29.99 EU Price: €37.99 ROW (USD) Price: $41.99
-
-
Every information system brought into service in every type of organisation requires user acceptance testing. This book is a hands-on manual for non-testing specialists to plan and carry out an effective acceptance test of an information system. It also identifies ways of making the process as simple and cost-effective as possible.
-
More information on User Acceptance Testing »
-
-
-
Justification Based Explanation in Ontologies
-
Matthew Horridge (author)
-
- 9781780171791 Paperback
UK Price: £75.00 EU Price: €95.00 ROW (USD) Price: $105.00
-
-
This thesis investigates justification based explanation techniques, which help to explain what is entailed by an OWL ontology. The core of the thesis is devoted to defining and analysing Laconic and Precise Justifications.
-
More information on Justification Based Explanation in Ontologies »
-
-
-
Communication Locality in Computation
Software, Chip Multiprocessors and Brains
-
Daniel Greenfield (author)
-
- 9781906124922 Paperback
UK Price: £75.00 EU Price: €95.00 ROW (USD) Price: $105.00
-
-
This thesis adapts and extends the existing theory and models of wire locality in VLSI circuits to the physical and temporal locality of software running on CMPs. It aims to provide a new foundation for characterising, modelling, predicting and exploiting the communication properties of software.
-
More information on Communication Locality in Computation »
-
-
-
Logics and analyses for concurrent heap-manipulating programs
-
Alexey Gotsman (author)
-
- 9781906124830 Paperback
UK Price: £75.00 EU Price: €95.00 ROW (USD) Price: $105.00
-
-
In this dissertation the author develops modular program logics and program analyses for the verification of concurrent heap-manipulating programs. The approach is to exploit reasoning principles provided by program logics to construct modular program analyses and to use this process to obtain further insights into the logics.
-
More information on Logics and analyses for concurrent heap-manipulating programs »
-
-
-
NURBS-compatible subdivision surfaces
-
Thomas J. Cashman (author)
-
- 9781906124823 Paperback
UK Price: £75.00 EU Price: €95.00 ROW (USD) Price: $105.00
-
-
This thesis presents NURBS-compatible subdivision surfaces that combine topological freedom with the ability to represent any existing NURBS surface exactly. This is the first time that subdivision surfaces have been able to extend non-uniform and general-degree B-spline surfaces simultaneously.
-
More information on NURBS-compatible subdivision surfaces »
-
-
-
Formal verification of machine-code programs
-
Magnus O. Myreen (author)
-
- 9781906124816 Paperback
UK Price: £75.00 EU Price: €95.00 ROW (USD) Price: $105.00
-
-
Formal program verification provides mathematical methods to increase the assurance of software correctness. The work presented in this dissertation aims to ease the effort required in proving properties of programs on top of detailed models of machine code.
-
More information on Formal verification of machine-code programs »
