Please use the alphabetical Index, Contents List, and your browsers search feature to find what you need.

This page generated on Mon Oct 30 17:44:28 PST 2000. This page is on the Computer Science Department's WWW Server at CalState, San Bernardino, California, USA. Comments to<dick@csci.csusb.edu>. Dick Botting 's site .

GravesEtal00

Todd L Graves & Alan F Karr & J S Marron & Harvey Siy
Predicting Fault Incidence Using Software Change History
IEEE Trans Software Engineering V26n7(Jun 2000)pp653-661
=EXPERIENCE STATISTICS SQA METRICS
code decay
Number of changes was the best predictor of future need for change. Normal metrics did not predict as well.
p654: "We assume new faults are continuously being added to the system as changes are made."
best model: each delta has an exponentially decaying chance of generating a further fix!

BuchsGuelfi00

Didier Buchs & Nicolas Guelfi
what
IEEE Trans Software Engineering V26n7(Jun 2000)pp630-652
=DEMO FORMAL SPECIFICATION DISTRIBUTED OBJECT_ORIENTED PETRI-NETS CO-OPN/2 based on COOPN COIL
transit node TNode example

Tommaso Bolognesi
Toward Constraint-Object-Oriented Development
IEEE Trans Software Engineering V26n7(Jun 2000)pp594-616
=EXAMPLE OBJECT-ORIENTED SPECIFICATION DESIGN STYLE COO LOTOS CO-NOTATION Z GRAPHIC

Jeanette M Wing & John Ockerbloom
Respectful Type Conversion
IEEE Trans Software Engineering V26n7(Jun 2000)pp579-595
=THEORY EXPERIENCE WWW TOOL TOM DATA conversion LARCH
TOM::= See http://tom.cs.cmu.edu/.
For Type T, subtype(T)::= { Type A. for all x: A (there is a unique x.T in T that is T's view of x),
For Type T, A, B : subtype(T), respectful :: @(A -> B) = { c : A -> B. for all x: A ( x.T behaves like x.c.T) }.

Raymond T Boute
Supertotal function definition in Mathematics and Software Engineering
IEEE Trans Software Engineering V26n7(Jun 2000)pp662-672
=IDEA FORMAL LOGIC FUNCTIONAL MATHEMATICS calculational
Refers to FunMath PVS Parnas93.
Compare: LPT
Question: How to calculated easily with partial functions?
Idea: Functions defined by a domain and an expression can be treated as total by extension to an arbitrary value in calculating with suitably guarded formulae