Newsgroups: comp.object.logic
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!udel!gatech!howland.reston.ans.net!math.ohio-state.edu!jussieu.fr!univ-lyon1.fr!ghost.dsi.unimi.it!dm.unibo.it!sgubbi
From: sgubbi@cs.unibo.it (Patrizia Sgubbi)
Subject: software metrics
Message-ID: <D54szA.En5@dm.unibo.it>
Sender: news@dm.unibo.it
Organization: Department of Computer Science, University of Bologna, Italy
X-Newsreader: TIN [version 1.1 PL8]
Date: Wed, 8 Mar 1995 17:09:09 GMT
Lines: 42


Hi I am working on a graduation paper about software metrics. more
precisely, I am articulating my work in 3 phases. The first is just a
review of existing techniques, starting from the basic papers towards
modern object-oriented approaches. In the second phase I have to find a
way to apply metrics to a special case: formal specifications. I am
examinating the design phase of a software project in different
versions, as about ten groups of students have written them. The
language adopted is Larch. This design phase follows an analysis phase
developed using Z language.
I am not interested about the implementation level. My final goal would
be to develop a tool which automatically takes larch scripts as inputs
and gives as output an estimation of their quality.

IMPORTANT: I am looking for papers about software metrics in general and more
specifically about software metrics in Object oriented environment and
software metrics applied to formal specification or software metrics
related to analysis and design phase of the software life cycle.


Any suggestion?

Please e-mail to
sgubbi@cs.unibo.it


Thank you all,
	Patrizia


---------------------------------------------------------------------
- Patrizia Sgubbi		"... like a true nature's child     -	
- e-mail: sgubbi@cs.unibo.it	" we were born, born to be wild..." -
- tel: --39/-51/372917				(Steppenwolf)	    -
---------------------------------------------------------------------

--
---------------------------------------------------------------------
- Patrizia Sgubbi		"... like a true nature's child     -	
- e-mail: sgubbi@cs.unibo.it	" we were born, born to be wild..." -
- tel: --39/-51/372917				(Steppenwolf)	    -
---------------------------------------------------------------------
