Travelled to:1 × Latvia
6 × USA
Collaborated with:∅ A.Q.Gates J.Denton J.N.Rushton R.G.Watson J.E.Urban D.L.Carver R.T.Mittermeir R.Duran V.Kreinovich
Talks about:softwar (5) program (3) engin (3) languag (2) logic (2) evolutionari (1) preliminari (1) constraint (1) technolog (1) introduct (1)
Person: Daniel E. Cooke
DBLP: Cooke:Daniel_E=
Contributed to:
2006200319951994199319901989Wrote 10 papers:
- SEKE-2006-CookeRW #verification
- The Evolutionary Role of Variable Assignment and Its Impact on Program Verification (DEC, JNR, RGW), pp. 315–320.
- SEKE-2003-CookeD #re-engineering
- Software Engineering as Technology Transfer (DEC, JD), pp. 340–345.
- SEKE-1995-Cooke #migration #process
- Preliminary Thoughts Concerning The Interphase Activity of Requirement Migration (DEC), pp. 166–172.
- SEKE-1995-GatesC #constraints #re-engineering #using
- The Use of Integrity Constraints in Software Engineering (AQG, DEC), pp. 383–390.
- SEKE-1995-UrbanCCM #education #future of #re-engineering
- The Future of Software Engineering Education (JEU, DEC, DLC, RTM), p. 63.
- SEKE-1994-CookeDGK #concurrent #linear #logic programming #source code
- Bag languages, concurrency, Horn logic programs, and linear logic (DEC, RD, AQG, VK), pp. 289–297.
- SEKE-1993-Cooke #automation
- Software Automation (DEC), pp. 70–72.
- SEKE-1993-Cooke93a #multi #order #programming language
- A High Level Programming Language Based Upon Ordered Multisets (DEC), pp. 117–124.
- SEKE-1990-GatesC #automation #recognition
- An Introduction To The Recognition of Iterative Structures by a CASE Tool (AQG, DEC), pp. 202–208.
- SEKE-1989-Cooke #design #proving
- Proving Properties of Software Design Methods (DEC), pp. 9–12.