T. Y. Chen, C. S. Kwok, W. H. Tang, T. H. Tse  Home/Search
Context Related
| csis.hku.hk/research/tec...TR8908.pdf cs.hku.hk/research/techr...TR8908.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: csis.hku.hk/research/techreps/ (more) Homepages: T.Chen T.Tse |
Rate this article:      (best)Comment on this article |
Abstract: We apply the techniques of logic programming to evaluate structure charts. We find that structure charts can be represented naturally in Prolog, and useful information can be derived in a straightforward manner. Standard techniques in the evaluation of structure charts can be formalized, and a few previous problems can be solved easily. (Update)
Cited by: More
The Application of Prolog to Structured Design - Tse, Chen, Chan, Chen, Xie (1994) (Correct)
Active bibliography (related documents): More All
1.5: An Examination of Requirements Specification Languages - Tse, Pong (1991) (Correct)
0.4: The Use of Prolog in the Modelling and Evaluation of.. - Tse, Chen, Kwok (1994) (Correct)
0.4: Applications of Logic Programming in Software Engineering - Ciancarini, Levi (1995) (Correct)
Similar documents based on text: More All
0.2: FOOD: a Graphical Interface for Object-Oriented Algebraic.. - Tse (1996) (Correct)
0.2: Reverse Engineering with a CASE Tool - Johnson (1991) (Correct)
0.2: TACCLE: a methodology for object-oriented software Testing At .. - Chen, Tse, Chen (2001) (Correct)
BibTeX entry: (Update)
T. Y. Chen, C. S. Kwok, W. H. Tang and T. H. Tse, `Evaluation of structure charts: a logic programming approach', in B. Srinivasan and J. Zeleznikow (eds), Databases in the 1990s 2: Proceedings of 2nd Australian Conference on Database and Information Systems, Sydney, Australia, 1991, pp. 270--284. http://citeseer.ist.psu.edu/chen91evaluation.html More
@inproceedings{ chen91evaluation,
author = "T. Y. Chen and C. S. Kwok and W. H. Tang and T. H. Tse",
title = "Evaluation of structure charts: a logic programming
approach",
booktitle = "Databases in the 1990s 2: Proceedings of 2nd
Australian Conference on Database and Information Systems",
pages = "270--284",
year = "1991",
url = "citeseer.ist.psu.edu/chen91evaluation.html" }
Citations (may not include all citations):182 Logic for Problem Solving (context) - Kowalski - 1979
162 The semantics of predicate logic as a programming language (context) - van Emden, Kowalski - 1976
159 Predicate logic as a programming language (context) - Kowalski - 1974
62 Structured Design: Fundamentals of a Discipline of Computer .. (context) - Yourdon, Constantine - 1979
61 Principles of Program Design (context) - Jackson - 1975
13 Intelligent support for specifications transformation (context) - Tsai, Ridge - 1988
10 A Unifying Framework for Structured Analysis and Design Mode.. (context) - Tse - 1991
10 Prentice Hall International Series in Computer Science (context) - Jackson, Development - 1983
10 The Practical Guide to Structured Systems Design (context) - Page-Jones - 1988
7 Algorithm = logic + control (context) - Kowalski - 1979
6 Yourdon Press Computing Series (context) - DeMarco, Analysis et al. - 1979
5 The application of Prolog to structured design - Tse, Chen et al. - 1994
5 SAME: a structured analysis tool and its implementation in P.. (context) - Docker - 1988
4 Evolution of the structured methodologies (context) - Colter - 1982
4 Software engineering and artificial intelligence in new gene.. (context) - Kowalski - 1984
2 A software design system based on a unified design methodolo.. (context) - Shigo, Iwamoto et al. - 1980
2 Development support systems (context) - Lauber - 1982
1 Prolog and software engineering (context) - Hogger - 1987
Documents on the same site (http://www.csis.hku.hk/research/techreps/): More
DROLAP - A Dense-Region Based Approach to On-line.. - Cheung, Zhou, Kao, Hu, .. (1999) (Correct)
A Distance-Vector Routing Protocol for Networks with.. - Huang, Chen, Lau, Xie (2000) (Correct)
A Study on Musical Features for Melody Databases - Lap, Kao (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC