0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • R2,500 - R5,000 (2)
  • -
Status
Brand

Showing 1 - 3 of 3 matches in All Departments

A Unifying Framework for Structured Analysis and Design Models - An Approach Using Initial Algebra Semantics and Category... A Unifying Framework for Structured Analysis and Design Models - An Approach Using Initial Algebra Semantics and Category Theory (Hardcover, New)
T. H. Tse
R3,128 R2,796 Discovery Miles 27 960 Save R332 (11%) Ships in 12 - 17 working days

Structured methodologies are a popular and powerful tool in information systems development. Many different ones exist, each employing a number of models and so a specification must be converted from one form to another during the development process. To solve this problem, Dr. Tse proposes a unifying framework behind popular structured models. He approaches the problem from the viewpoints of algebra and category theory. He not only develops the frameworks but also illustrates their practical and theoretical usefulness. Thus, this book will provide insight for software engineers into how methodologies can be formalized, and will open up a range of applications and problems for theoretical computer scientists.

Handbook of Software Fault Localization - Foundations and Advances (Paperback): W.Eric Wong, T. H. Tse Handbook of Software Fault Localization - Foundations and Advances (Paperback)
W.Eric Wong, T. H. Tse
R2,645 Discovery Miles 26 450 Ships in 12 - 17 working days

Handbook of Software Fault Localization A comprehensive analysis of fault localization techniques and strategies In Handbook of Software Fault Localization: Foundations and Advances, distinguished computer scientists Prof. W. Eric Wong and Prof. T.H. Tse deliver a robust treatment of up-to-date techniques, tools, and essential issues in software fault localization. The authors offer collective discussions of fault localization strategies with an emphasis on the most important features of each approach. The book also explores critical aspects of software fault localization, like multiple bugs, successful and failed test cases, coincidental correctness, faults introduced by missing code, the combination of several fault localization techniques, ties within fault localization rankings, concurrency bugs, spreadsheet fault localization, and theoretical studies on fault localization. Readers will benefit from the authors’ straightforward discussions of how to apply cost-effective techniques to a variety of specific environments common in the real world. They will also enjoy the in-depth explorations of recent research directions on this topic. Handbook of Software Fault Localization also includes: A thorough introduction to the concepts of software testing and debugging, their importance, typical challenges, and the consequences of poor efforts Comprehensive explorations of traditional fault localization techniques, including program logging, assertions, and breakpoints Practical discussions of slicing-based, program spectrum-based, and statistics-based techniques In-depth examinations of machine learning-, data mining-, and model-based techniques for software fault localization Perfect for researchers, professors, and students studying and working in the field, Handbook of Software Fault Localization: Foundations and Advances is also an indispensable resource for software engineers, managers, and software project decision makers responsible for schedule and budget control.

A Unifying Framework for Structured Analysis and Design Models - An Approach Using Initial Algebra Semantics and Category... A Unifying Framework for Structured Analysis and Design Models - An Approach Using Initial Algebra Semantics and Category Theory (Paperback)
T. H. Tse
R1,102 Discovery Miles 11 020 Ships in 12 - 17 working days

Structured methodologies are a popular and powerful tool in information systems development. Many different ones exist, each employing a number of models and so a specification must be converted from one form to another during the development process. To solve this problem, Dr Tse proposes in this 1991 book a unifying framework behind popular structured models. He approaches the problem from the viewpoints of algebra and category theory. He not only develops the frameworks but also illustrates their practical and theoretical usefulness. Thus this book will provide insight for software engineers into how methodologies can be formalised and will open up a range of applications and problems for theoretical computer scientists.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
The Death of Jesus
J. M. Coetzee Paperback  (1)
R318 Discovery Miles 3 180
A Tango With Death - Tolletjie Botha And…
Giancarlo Coccia Paperback R310 Discovery Miles 3 100
Song For Sarah - Lessons From My Mother
Jonathan Jansen, Naomi Jansen Hardcover  (3)
R90 R71 Discovery Miles 710
Man Alone - Mandela's Top Cop, Exposing…
Caryn Dolley Paperback R310 R225 Discovery Miles 2 250
Forgiving What You Can't Forget
Lysa Terkeurst Paperback R320 R235 Discovery Miles 2 350
British Goblins
Wirt Sikes Paperback R410 Discovery Miles 4 100
Drawing On Grief, Volume 1 - Exploring…
Kate Sutton Paperback R288 Discovery Miles 2 880
Leaves from the Garden of Eden - One…
Howard Schwartz Hardcover R961 Discovery Miles 9 610
Painting Oil Portraits - And Bones and…
Wm Conte, Mary Lynn Conte-Lawe, … Hardcover R765 R648 Discovery Miles 6 480
The Tea Ladies Of St Jude's Hospital
Joanna Nell Paperback R456 R374 Discovery Miles 3 740

 

Partners