From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.0 required=5.0 tests=BAYES_40 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,e614397ff9a31db4,start X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 1995-03-08 12:15:51 PST Newsgroups: comp.lang.ada Path: bga.com!news.sprintlink.net!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: 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:08:42 GMT Date: 1995-03-08T17:08:42+00:00 List-Id: 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) - ---------------------------------------------------------------------