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.
FREE Two-Day Shipping for students on millions of items. Learn more |
| |||||||||||||||
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Editorial Reviews
Review
"...if you would enjoy refreshing your knowledge of category theory and related branches of mathematics, this text will show how the power of mathematics can be used in practical ways." D.W. Ballew, Computing Reviews
"...presents intial algebras as a unifying framework for structured analysis and design. The material is valuable and ought to be of interest either to software engineers searching for a foundation for their work or to theoreticians looking for interesting applications of category theory." Tom Jacob and Bill Kaizer, ACM SIG-ACT NEWS
"...presents intial algebras as a unifying framework for structured analysis and design. The material is valuable and ought to be of interest either to software engineers searching for a foundation for their work or to theoreticians looking for interesting applications of category theory." Tom Jacob and Bill Kaizer, ACM SIG-ACT NEWS
Book Description
Many different structured methodologies 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, Dr Tse proposes in this 1991 book a unifying framework behind popular structured models. He develops the frameworks and illustrates their practical usefulness.
Product Details
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
Structured analysis and design methodologies have been recognized as the most popular tools in information systems development (Colter 1982). Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
overlapping skeletons, other structured models, functorial framework, iterative subtask, refinement morphisms, iteration exit, systems specification language, succession path, task diagram, syntactic consistency, initial algebra, algebra framework, systems development models, common successor, systems development environment, connected task, term algebra, structure charts, data flow diagrams, textual language, structured methodologies, structured tasks, behavioural properties, output event, structured analysis Key Phrases - Capitalized Phrases (CAPs): (learn more)
File Edit Window, Turbo Pascal, Desirable Features of Systems Development Environments, System Characteristics, Edit Insert Delete Moue Link, Example of Interpretation of Graphical Operations, Example of Term Rewriting, Verification of Implementation New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Structured analysis and design methodologies have been recognized as the most popular tools in information systems development (Colter 1982). Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
overlapping skeletons, other structured models, functorial framework, iterative subtask, refinement morphisms, iteration exit, systems specification language, succession path, task diagram, syntactic consistency, initial algebra, algebra framework, systems development models, common successor, systems development environment, connected task, term algebra, structure charts, data flow diagrams, textual language, structured methodologies, structured tasks, behavioural properties, output event, structured analysis Key Phrases - Capitalized Phrases (CAPs): (learn more)
File Edit Window, Turbo Pascal, Desirable Features of Systems Development Environments, System Characteristics, Edit Insert Delete Moue Link, Example of Interpretation of Graphical Operations, Example of Term Rewriting, Verification of Implementation New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 33
books:
See all 33 books this book cites
7
books
cite this book:
See all 7 books citing this book
- System Development (Prentice Hall International Series in Computing Science) by Michael Jackson in Back Matter (1), Back Matter (2), and Back Matter (3)
- Systems Design by Isim University in Back Matter (1), Back Matter (2), and Back Matter (3)
- Proceedings of the 18th International Conference on Software Engineering: March 25-29, 1996 Berlin, Germany (International Conference on Software ... Conference on Software Engineering) by IEEE in Back Matter (1), and Back Matter (2)
- The Specification of Complex Systems (International Computer Science Series) by B. Cohen in Back Matter
- Data Structures and Algorithms by Alfred V. Aho in Back Matter
See all 33 books this book cites
- Derivation and Computation: Taking the Curry-Howard correspondence seriously (Cambridge Tracts in Theoretical Computer Science) by H. Simmons in Front Matter
- Modal Logic (Cambridge Tracts in Theoretical Computer Science) by Patrick Blackburn in Front Matter
- Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science) by A. S. Troelstra in Front Matter
- Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science) by Roberto M. Amadio in Front Matter
- Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science) by Willem-Paul de Roever in Front Matter
See all 7 books citing this book
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Software Engineering > Design Tools & Techniques
- Books > Computers & Technology > Programming > Languages & Tools
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- Books > Computers & Technology > Software
- Books > New & Used Textbooks > Computer Science > Programming Languages
- Books > New & Used Textbooks > Computer Science > Software Design & Engineering
- Books > Science & Math > Mathematics
