1 × USA
T.C.Hartrum R.P.G.Jr. S.A.DeLoach F.C.D.Young K.Kanzaki J.A.Stewart C.Plinta K.J.Lee R.D'Ippolito
engin (3) softwar (2) object (2) base (2) methodolog (1) technolog (1) algorithm (1) synthesi (1) knowledg (1) analysi (1)
Person: Paul D. Bailor
Wrote 5 papers:
- KBSE-1996-Jr.B #algebra #algorithm #synthesis
- Synthesis of Local Search Algorithms by Algebraic Means (RPGJ, PDB), p. 7.
- KBSE-1995-DeLoachBH #modelling #representation
- Representing Object Models as Theories (SAD, PDB, TCH), pp. 28–35.
- CSEE-1994-HartrumB #analysis #education #object-oriented
- Teaching Formal Extensions of Informal-Based Object-Oriented Analysis Methodologies (TCH, PDB), pp. 389–409.
- KBSE-1993-BailorYK #empirical #knowledge-based #re-engineering
- An Experiment in Applying Knowledge-Based Software Engineering Technology (PDB, FCDY, KK), p. 25.
- SEI-1992-HartrumBSPLD #re-engineering
- Putting the Engineering into Software Engineering (TCH, PDB, JAS, CP, KJL, RD), pp. 287–298.