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...
Loot
Nadine Gordimer Paperback  (2)
R383 R318 Discovery Miles 3 180
Harry's House
Harry Styles CD  (1)
R267 R237 Discovery Miles 2 370
Vital Baby® HYGIENE™ Super Soft Hand…
R45 Discovery Miles 450
Vital Baby® NOURISH™ Power™ Suction Bowl…
R159 Discovery Miles 1 590
Bantex B9875 A5 Record Card File Box…
R125 R112 Discovery Miles 1 120
Slippers
R57 Discovery Miles 570
Elecstor 18W In-Line UPS (Black)
R999 R404 Discovery Miles 4 040
St Cyprians Grade 7 School Pack - 2025
R895 Discovery Miles 8 950
Russell Hobbs Toaster (2 Slice…
R707 Discovery Miles 7 070
Hoe Ek Dit Onthou
Francois Van Coke, Annie Klopper Paperback R300 R219 Discovery Miles 2 190

 

Partners