By T. H. Tse

ISBN-10: 0511569890

ISBN-13: 9780511569890

ISBN-10: 0521117879

ISBN-13: 9780521117876

ISBN-10: 0521391962

ISBN-13: 9780521391962

Established methodologies are a well-liked and robust device in info structures improvement. many various ones exist, each one utilising a few versions and so a specification needs to be switched over from one shape to a different in the course of the improvement method. to unravel this challenge, Dr. Tse proposes a unifying framework at the back of renowned dependent types. He techniques the matter from the viewpoints of algebra and class concept. He not just develops the frameworks but in addition illustrates their useful and theoretical usefulness. therefore, this e-book will offer perception for software program engineers into how methodologies will be formalized, and may open up a number purposes and difficulties for theoretical laptop scientists.

Show description

Read or Download A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory PDF

Best programming languages books

Practical Model-Based Testing: A Tools Approach - download pdf or read online

This publication supplies a pragmatic advent to model-based checking out, displaying find out how to write types for trying out reasons and the way to take advantage of model-based trying out instruments to generate attempt suites. it really is geared toward testers and software program builders who desire to use model-based checking out, instead of at tool-developers or lecturers.

New PDF release: Ensuring Software Reliability (Quality and Reliability)

Explains how software program reliability should be utilized to software program courses of all sizes, features and languages, and companies. this article presents real-life examples from industries similar to defence engineering, and finance. it really is aimed toward software program and caliber insurance engineers and graduate scholars.

Read e-book online Tcl Tk, Second Edition: A Developer's Guide (The Morgan PDF

Tcl/Tk (Tool Command Language/Tool package) makes it quick and straightforward to enforce any form of software, from video games to community analyzers. Tcl/Tk is a full-bodied, mature programming platform utilized by NASA rocket scientists, Wall highway database specialists, net designers, and open resource programmers world wide.

Dyer M.'s The Cleanroom approach to quality software development PDF

Describes the 1st sensible try to position software program improvement below statistical qc and to carry software program with a recognized and authorized period in-between to failure. exhibits tips to increase productiveness in the course of software program improvement utilizing statistical layout tools, and offers instructions for writing extra detailed requisites, construction easier designs and averting blunders remodel

Additional resources for A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory

Sample text

Furthermore, deficiencies have been reported on the friendliness of user-interface and on the performance of the analysis and simulation tools in SREM (Scheffer et al. 1985). 1. Our current project of providing a unifying framework for the structured models is also listed side by side for comparison. In most of the work examined, researchers have seen the need to propose a formal basis for information systems development. They have proposed the use of graphics in most cases (except ADS/SODA), to be supplemented by textual languages for defining details (except in the case of SAMM/SIGS).

2 Algebras 41 The advantage of the algebraic concept lies in the fact that we map the same sort to another carrier ^boolean, which can be the set of strings containing " 7 " , " F " , " - i " , " A " and " v " . The operation symbols can then be mapped to another set of operations. Thus, for any t and t' in B, . , we have: Let us now apply these algebraic fundamentals to structured systems. Conceptually, a structured system is specified by a hierarchy of tasks. Each task consists of the name of a main process, its underlying structure, together with the overall input and output which we shall call events.

3 The algebra X is initial over the signature £. Proof: Let A be any algebra over the signature E. We need to prove that there exists a unique homomorphism h mapping X to A. , 7-I. sn,s that max{ir) h(tn)). r s r = 7 - 1 . , Obviously A is a homomorphism. Let k be any homomorphism from X to A. By definition, it has the following two properties: (kl) For any symbol a in E A , k(ax) = a , . , k(tn)) We note that (kl) is equivalent to (/zl) because cx in (/:1) is in fact the term " a " in (hi). , t ) in (k2) is in fact the term t in (/z2).

Download PDF sample

A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory by T. H. Tse


by Donald
4.5

Rated 4.53 of 5 – based on 33 votes