T.H. Tse, T.Y. Chen, F.T. Chan, H.Y. Chen, and H.L. Xie, "The application of Prolog to structured design", Software: Practice and Experience 24 (7): 659 -- 676 (1994). Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Multiple Views Analysis Of Software Designs - Belkhouche, Lemus-Olalde (Correct)
....design notation that acts as a common notation to express other notations. 3. Formal Representations of Graphical Designs A simple formal representation of design notations is required to facilitate the analysis of views. General formal representations of graphical designs can be found in [9, 10, 11]. Formal representations specific to data flow diagrams are given in [12, 13] To illustrate our multiple views analysis framework, we concentrate our discussion on two design methods. The Data Flow Diagram (DFD) notation and Structure Chart (SC) notation were selected based on the following ....
T. Tse, "The Application of Prolog to Structured Design," Software Practice and Experience, vol. 24, pp. 659--676, July 1994.
FOOD: a Graphical Interface for Object-Oriented Algebraic.. - Tse (1996) Self-citation (Tse) (Correct)
No context found.
T.H. Tse, T.Y. Chen, F.T. Chan, H.Y. Chen, and H.L. Xie, "The application of Prolog to structured design", Software: Practice and Experience 24 (7): 659 -- 676 (1994).
The Use of Prolog in the Modelling and Evaluation of.. - Tse, Chen, Kwok (1994) (1 citation) Self-citation (Tse Chen) (Correct)
No context found.
T.H. Tse, T.Y. Chen, F.T. Chan, H.Y. Chen, and H.L. Xie `The application of Prolog to structured design' Software: Practice and Experience Vol 24 No 7 (1994) pp 659-676
Evaluation of Structure Charts: a Logic Programming Approach - Chen, Kwok, Tang, Tse (1991) Self-citation (Tse Chen) (Correct)
....charts and other structured tools such as DeMarco data flow diagrams [2] Jackson structure diagrams and Jackson structure text [5, 6] it is hoped that our attempt to use Prolog in analysing structure charts can also be applied in alternative structured notations. Our recent experience [16] confirms that this may indeed be the case. Thus the application of logic programming techniques to structured methodologies is a promising area from both research and practical points of view. Acknowledgements The authors are indebted to H.Y. Chen, H.L. Xie and other members of the ALPSE ....
T.H. Tse, T.Y. Chen, F.T. Chan, H.Y. Chen, and H.L. Xie, "The application of Prolog to structured design", Software: Practice and Experience 24 (7): 659-676 (1994).
FOOD: a Graphical Interface for Object-Oriented Algebraic.. - Tse (1996) Self-citation (Tse) (Correct)
.... Our Software Engineering Group have successfully conducted a number of projects in bridging the gap between popular 2 Jan 26 09:56 methodologies and various formal methods, such as algebraic semantics and category theory [13] net theory [14] process algebra [15] and logic programming [16] . We have joint projects with the universities of Oxford, York, Melbourne, and Jinan, and awarded research fundings of 3.7 million dollars from various international sources. We have been recognized internationally as the pioneer in methods integration. Further examples of projects by other ....
T.H. Tse, T.Y. Chen, F.T. Chan, H.Y. Chen, and H.L. Xie, "The application of Prolog to structured design", Software: Practice and Experience 24 (7): 659 -- 676 (1994).
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