BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Cooke:Daniel_E=

Contributed to:

SEKE 20062006
SEKE 20032003
SEKE 19951995
SEKE 19941994
SEKE 19931993
SEKE 19901990
SEKE 19891989

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.