New Bibliographic Items Oct 8th 2002

FocardiMarchesiSucci01

Sergio Focardi & Michele Marchesi & Giancarlo Succi
A stochastic Model of Software Maintenance and its Implications on extreme Programming Processes
In SucciMarchesi01 pp191-206
=THEORY RANDOM GRAPH MODEL SOFTWARE MAINTENANCE CONTAGION

Gerard J. Holzmann & Margaret H. Smith
An automated verification method for distributed systems software based on model extraction
IEEE Transactions on Software Engineering V28n4(Apr 2002)pp364-377
=EXPERIENCE TOOLS FORMAL VERIFICATION SPIN/PROMELA C
CR review

J R Buchi
On a Decision Method in Restricted second-order arithmetics
Proc Int'l Conf. Logic, Methods and philosophy of science (1962) pp1-12
=THEORY AUTOMATA omega-automata Buchi-automata
Given a standard finite state automata with accepting states its language is defines a set of infinite strings that are acceptable: they can return an infinite number of times to at least on of the accepting states.

Robert L Glass
In Search of Meaning (A tale of two Words)
IEEE Software Magazine V19n4(Jul/Aug 2002)pp136+134-135
=ESSAY SEMANTICS
"ad hoc"::="fitting to this problem".
heuristic::="a rule of thumb".
Note: but we tend to confuse "ad hoc" with messy and "heuristic" with trial-and-error.

Richard Pawson
Naked Objects
IEEE Software Magazine V19n4(Jul/Aug 2002)pp81-83
=EXAMPLE Object-Oriented USER INTERFACE TOOL JAVA METHOD MVC EBC
Problem: user interface objects (views/boundary+controllers) tend to absorb behaviors that should be put in business/model objects.
Solution: A predefined drag-and-drop user interface that only contains business objects. No dialogues. A set of methods on a pop-up menu for each object: make another, retrieve instance, list matching, show subclasses.
All projects show unusual positive communication between developers and users.
reduced programmer options generates extra flexibility for developers.
For more: [ http://www.nakedobjects.org ]

James Robertson
Eureka! Why Analysts Should Invent Requirements
IEEE Software Magazine V19n4(Jul/Aug 2002)pp20-22
=Examples INVENTION REQUIREMENTS USER SYSTEM
Invent new ways to do things that customers will want once they have them. Especially access to data.
Think about what happens on the way to a business level usecase: can you invent a shorter way in?
What are your customers doing: can you offer them something new that fits with this at the time.

Donald J Reifer
How Good are Agile Methods
IEEE Software Magazine V19n4(Jul/Aug 2002)pp16-18
=POLL XP AGILE METHODS
32 organizations mostly at CMM level >= 2, 28 firms, 14 using agile methods because of poor record of success. Mostly small projects.
Consensus that Agile includes many (client->spec->build->test) iterations.
15-23% increase in productivity, 5-7% cost reduction, 25-50% less time to market, some have data showing no change in defects.
Recommend: define agile, make business case, expect organizational change, provide support and training.

Greg Goth
Will the Cyber-UL Concept Take Hold?
IEEE Software Magazine V19n4(Jul/Aug 2002)pp12-15
=ARTICLE SECURITY STANDARD
Common Criteria for security. parallel to the Underwriters Laboratory seal of approval.

. . . . . . . . . ( end of section New Bibliographic Items Oct 8th 2002) <<Contents | Index>>