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
.
Contents
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
Bolognesi00
- 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
WingOckerbloom00
- 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) }.
Boute00
- 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
Formulae and Definitions in Alphabetical Order