The number of accesses since September 23, 1997 is:
Professor Cooke moved to Texas Tech in 1998
(homepage).
He passed away in 2010.
D.E. Cooke, "Towards a Formalism To Produce a Programmer Assistant CASE Tool," IEEE Transactions on Knowledge and Data Engineering, Vol. 2 No. 3, September, 1990, pp. 320-326.
D.E. Cooke and A. Gates, "On the Development of a Method to Synthesize Programs from Requirement Specifications," International Journal on Software Engineering and Knowledge Engineering, Vol 1 No 1, (March, 1991) pp. 21-38.
Daniel E. Cooke, "An Issue of the Next Generation of Problem Solving Environments," Journal of Systems Integration, Vol 1(2), (February, 1992) pp. 39-52.
C.V. Ramamoorthy, Daniel E. Cooke, and Chitta Baral, "Maintaining the Truth of Specifications in Evolutionary Software," International Journal of AIT, Vol. 2, No. 1 (1993) pp. 15-31.
Daniel E. Cooke, "Possible Effects of the Next Generation Programming Language on the Software Process Model," International Journal on Software Engineering and Knowledge Engineering, Vol 3 No 3, (September, 1993) pp. 383-399.
Luqi and Daniel E. Cooke, "How to Combine Nonmonotonic Logic and Rapid Prototyping to Help Maintain Software," International Journal on Software Engineering and Knowledge Engineering, Vol. 5 No. 1, (March, 1995) pp. 89-118.
Daniel Cooke, Elif Demirors, Onur Demirors, Ann Gates, Bernd Kraemer, Murat M. Tanik, "Languages for the Specification of Software," Journal of Systems and Software, 1996; 32:269-308.
Daniel Cooke, "An Introduction to SEQUENCEL: A Language to Experiment with Nonscalar Constructs," Software Practice and Experience, Vol. 26(11). (November, 1996) 1205-1246.
Scott A. Starks, Daniel E. Cooke, and G.R. Keller, "Establishment of the Pan American Center for Earth and Environmental Studies," Geocarto International Vol. 12 No. 3 (September, 1997) pp. 101-104.
Daniel E. Cooke and Luqi, "Logic Programming and Software Maintenance," Annals of Mathematics and Artificial Intelligence, 21 (1997) 221-229.
Daniel E. Cooke, "SequenceL Provides a Different Way to View Programming," Computer Languages 24 (1998) 1-32.
Daniel E. Cooke, "The Semantics of SequenceL ," to appear in Journal of Programming Languages.
Daniel Cooke and Luqi, "Formal Support for Software Maintenance," IEEE COMPSAC '93, Phoenix, AZ, (November, 1993) pp. 402-407.
Daniel E. Cooke, "Preliminary Thoughts Concerning the Interphase Activity of Requirement Migration," Proceedings of IEEE Seventh International Conference on Software Engineering and Knowledge Engineering, (June, 1995), pp. 166-172.
Ann Q. Gates and Daniel E. Cooke, "The Use of Integrity Constraints in Software Engineering" Proceedings of IEEE Seventh International Conference on Software Engineering and Knowledge Engineering, (June, 1995), pp. 383-390.
Daniel E. Cooke and Scott A. Starks, "A Software Architecture for the Analysis of Remotely Geographic and Remotely Sensed Data," to appear in the Proceedings of the 1995 Monterey Workshop on Formal Methods.
Daniel E. Cooke, "A Comparison of Languages SEQUENCEL and FP," in Proceedings of the First World Conference on Integrated Design and Process Technology, Society of Design and Process Science, (December, 1995), Austin, TX, pp. 43-48.
Daniel E. Cooke, V. Kreinovich, and L. Longpre. "Which Algorithms are Feasible? Maxent Approach," In G. Erickson, editor, Maximum Entropy and Bayesian Methods, Dordecht, 1997. Kluwer.
Daniel E. Cooke and Joseph Urban, "The Application of the SequenceL Language to Complicated Database Applications," invited paper in the Proceedings of IEEE Workshop on Application-Specific Software Engineering and Technology, (pp. 166- 171) March, 1998.
Daniel E. Cooke, "Nested Parallelisms in SequenceL," in Proceedings of the International Conference on Software Engineering and Knowledge Engineering (June, 1998), pp. 246-250.
Daniel E. Cooke, Vladik Kreinovich, and Joseph Urban, "A Distributed Version of the SequenceL Language," invited paper to appear in 17th IEEE Symposium on Reliable Distributed Systems.