
From: CRDGW2::CRDGW2::MRGATE::"SMTP::MWSUN.MITRE.ORG::NIGAM"
Date: 15-AUG-1989 23:37:33
Description: Software Engineering Digest v6n43                    

Return-Path: <nigam@mwsun.mitre.org>
Received: by mwsun.mitre.org (5.54/SMI-2.2)
	id AA20354; Tue, 15 Aug 89 21:57:20 EDT
Date: Tue, 15 Aug 89 21:57:20 EDT
From: nigam@mwsun.mitre.org (Alok Nigam)
Message-Id: <8908160157.AA20354@mwsun.mitre.org>
Organization: The MITRE Corp., Washington, D.C.
To: soft-eng-dist@mwunix.mitre.org
Subject: Software Engineering Digest v6n43
 
         Software Engineering Digest     Tuesday, 15 August 1989
 
                          Volume 6 : Issue 43
 
                            Today's Topics:
 
                      AI and software engineering
                  Papers (AI and Software Engineering)
                        Re: Source Code Control
                  C PDL AND MCCABE COMPLEXITY DIAGRAMS
                     Re: Do people really use Make?
 
 
------------------------------------------------------------
 
Date: 22 Jul 89 15:34:11 GMT
From: David Lamb <jarvis.csri.toronto.edu!qucis!dalamb@rutgers.edu>
Organization: Queen's University, Kingston Ontario
Subject: AI and software engineering
 
I am making a survey of prior work on applications of logic programming
(and to some extent AI techniques in general) to the software design
process.  I would appreciate hearing from anyone doing work in this
area, especially if you can send me references to recent work.
 
For the purpose of this survey "design" means taking a set of
requirements and coming up with a division of a system into modules, and
a specification of those modules, such that you could hand the design to
several programmers (or automated assitants), assign each of them a
module to implement, and have them able to do their work without needing
to interact with each other.  At the moment I am not particularly
interested in methods that generate code from module specifications.
 
------------------------------
 
Date: 22 Jul 89 08:02:44 GMT
From: margaux!bouguett@boulder.colorado.edu
Organization: University of Colorado, Boulder
Subject: Papers (AI and Software Engineering)
 
 
        FIRST MAGHREBIN CONFERENCE ON ARTIFICIAL INTELLIGENCE
        AND SOFTWARE ENGINEERING
 
        Constantine, Algeria, September 24-27, 1989
 
        CALL FOR PAPERS
 
        TOPICS
 
        The Conference Program will include bith invited and contributed papers.
        Authors from Maghreb are particulary encouraged to submit. The adressed
        topics, but not limited to, are :
                - Algebraic Specification
                - Program Construction and Proving
                - Expert Systems
                - Knowledge and Data Bases
                - Communication Protocols
                - Distributed Systems
                - Object Oriented Programming
 
        TERMS OF PRESENTATION OF PAPERS :
        Papers should be in English, French or Arabic and meet the following
        requirements :
        1- Pages should not number more than 20, including an abstract, tables, figures
        and references.
        2- The papers should be double typed on (A 4) single faced page.
        3- The full-name of author (s) and institude and country where the research
        was conducted should be written on the title page with an abstract of no more
        than 300 words.
        4- Four copies of the papers should be sent to the chaiman of the organizing
        committee.
 
        DEADLINE FOR SUBMISSION OF PAPERS :
 
        The closing date for acceptance of papers is 10 August 1989. Those whose
        papers are accepted will be informed by 4th September 1989.
 
        ORGANIZED BY :
 
        Laboratory of Knowledge Bases and Distributed Systems Computer Science
        Institute, Constantine University with the partipation of LRI ORSAY- FRANCE.
 
        GUEST SPEAKER :
 
        Eric G. Wagner, Research staff member IBM Watson Research Center (USA)
 
        CORRESPONDANCE :
 
        All correspondance should be adressed to :
        Dr. BETTAZ Mohamed
        Institut d'Informatique
        Universite de Constantine
        Constantine 25000
        ALGERIA
        Telephone : (213) (4) 69.21.39
        Telex : 92436 UNCZL
 
------------------------------
 
Date: 22 Jul 89 19:49:00 GMT
From: m.cs.uiuc.edu!render@uxc.cso.uiuc.edu
Subject: Re: Source Code Control
 
Written  5:52 pm  Jun 14, 1989 by hull@dinl.uucp:
>While having nothing to contribute at this time, I would like to read
>about formal models of SCM (with English descriptions) and
>object-oriented SCM.
 
Well, the thing about formal models of SCM and OO SCM is that there
isn't much published on either.  There are several papers describing
version control and SCM systems that give data models for them.  There
are few papers that specifically give models; Walter Tichy, Karen Huff,
Ellen Borison and Dennis Heimbigner have written such papers.  I'll list
the references at the bottom of this posting.  As for OO SCM, a few
people are working on an OO data model for a SCM, including myself.  One
group is the Arcadia project, with whom Dennis Heimbigner is related (I
believe).  Unfortunately I haven't seen any published models as such,
though I'm working on mine.  Many of the object-oriented database people
address version control in their systems, both from the point of
maintaining multiple versions of data to dealing with dynamic schema
evolution.  There have been a couple of good papers on models of this,
and I'll also append those references.  The only actual OO programming
system that addresses SCM that I know of is called Orwell.  It's a
Smalltalk-based system that was designed to allow team programming, and
deals with concurrent updates, change control and the like.  It's not
real sophisticated, but it addresses the issues.  Oh, for those
interested I know of one paper on the rigorous development of a version
control program using VDM.  I like it because it's the one of the few
attempts to apply formal development methods to SCM.
 
Anyway, I don't know how to make a short introduction into this stuff,
though I may try if I get inspired over the weekend.  If anyone has any
specifics to talk about, I'll try to contribute.  Also, I'm always
interested in hearing about any other related work or papers people know
of.
 
Hal Render
render@cs.uiuc.edu
-----
%Here are the papers concerning SCM models (all references in bibtex format):
@inproceedings{borison,
    keywords=":scm:data models:process models:",
    author="Ellen Borison",
    title="{``A Model of Software Manufacture''}",
    booktitle="Proceedings of the IFIP International Workshop on Advanced
        Programming Environments",
    address="Trondheim, Norway",
    month=jun,
    year=1987,
    pages="197--220" }
@article{Ditt88,
    keywords=":vc:dbms:data models:",
    title="{``Version Support for Engineering Database Systems''}",
    author="Klaus R. Dittrich and Raymond A. Lorie",
    journal="IEEE Transactions on Software Engineering",
    volume="14",
    number="4",
    month= apr,
    year=1988,
    pages="429--437" }
@inproceedings{heimbigner2,
    keywords=":arcadia:sde:scm:data models:",
    title="{``A Graph Transform Model for Configuration Management Environments''}",
    author="Dennis Heimbigner and Steven Krane",
    booktitle="Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering
        Symposium on Practical Software Development Environments",
    address="Boston, Massachusetts",
    month=nov,
    year=1988,
    pages="216--225" }
@techreport{heimbigner3,
    keywords=":arcadia:scm:sde:data models:relations:",
    title="{Active Relations for Specifying \& Implementing Software Object
        Management}",
    author="Dennis Heimbigner and Leon Osterweil and Sutton, Jr., Stanley",
    school="Department of Computer Science, University of Colorado",
    number="CS-CS-406-88",
    month= jul,
    year="1988"}
@inproceedings{huff81,
    keywords=":sde:dbms:scm:data models:",
    author="Karen E. Huff",
    title="{``A Database Model for Effective Configuration Management
                in the Programming Environment''}",
    booktitle="Proceedings of the 5th International Conference on Software
                Engineering",
    address="San Diego, CA",
    month= "March",
    year=1981,
    pages="54--61" }
@inproceedings{lint84,
    keywords=":dbms:data models:scm:views:",
    author="Mark A. Linton",
    title="{``Implementing Relational Views of Programs''}",
    booktitle="Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering
        Symposium on Practical Software Development Environments",
    address="Pittsburgh, PA",
    month= "April",
    year=1984,
    pages="132--140" }
@incollection{lock83,
    keywords=":scm:vc:sde:data models:er:",
    title="{``Analysis of Version and Configuration Control in a Software
        Engineering Environment''}",
    author="Peter C. Lockemann",
    booktitle="Entity-Relationship Approach to Software Engineering",
    Editor="C.G. Davis and S. Jajodia and P.A. Ng and R.T. Yeh",
    publisher="Elsevier Science Publishers",
    address="North-Holland",
    year=1983,
    pages="701--713" }
@inproceedings{minsky85,
    keywords=":darwin:sde:scm:data models:",
    title="{``Controlling the Evolution of Large Scale Software Systems''}",
    author="Naftaly H. Minsky",
    booktitle="Workshop on Software Engineering Environments for
        Programming-in-the-Large",
    address="Harwichport, MA",
    month= "June",
    year=1985,
    pages="1--16" }
@inproceedings{grids,
    keywords=":scm:data models:",
    title="{``Grids:  A New Program Structuring Mechanism Based on Layered
        Graphs''}",
    author="Harold L. Ossher",
    booktitle="Eleventh Annual ACM Symposium on Principles of Programming
        Languages",
    month= jan,
    year="1984",
    pages="11--22"}
@techreport{clemma2,
    keywords=":clemma:scm:data models:",
    author="Hal S. Render and Roy H. Campbell",
    title="{The Design of the CLEMMA Configuration Librarian System}",
    institution="Dept. of Computer Science, University of Illinois at
        Urbana-Champaign",
    number="UIUCDCS-R-88-1458",
    month=Oct,
    year=1988 }
@techreport{staudt,
    keywords=":sde:scm:data models:",
    keywords=":transformgen:software maintenance:sde:",
    title="{TransformGen: Automating the Maintenance of Structure-Oriented
        Environments}",
    author="Barbara Staudt and Charles Krueger and David Garlan",
    school="Department of Computer Science, Carnegie Mellon University",
    number="CMS-CS-88-186",
    month= nov,
    year="1988"}
@inproceedings{tichy81,
    keywords=":vc:scm:data models:",
    title="{``A Data Model for Programming Support Environments''}",
    booktitle="Proceedings of the IFIP WG 8.1 Working Conference on Automated
        Tools for Information System Design and Development",
    author="Walter F. Tichy",
    month= oct,
    year="1981"}
@inproceedings{klahold,
    keywords=":vc:data models:dbms:",
    title="{``A General Model for Version Management in Databases''}",
    booktitle="Proceedings of the 12th International Conference on
        Very Large Databases",
    author="Peter Klahold and Gunter Schlageter and Wolfgang Wilkes",
    address="Kyoto, Japan",
    month= aug,
    year="1986",
    pages="319--327"}
@incollection{lock83,
    keywords=":scm:vc:sde:data models:er:",
    title="{``Analysis of Version and Configuration Control in a Software
        Engineering Environment''}",
    author="Peter C. Lockemann",
    booktitle="Entity-Relationship Approach to Software Engineering",
    Editor="C.G. Davis and S. Jajodia and P.A. Ng and R.T. Yeh",
    publisher="Elsevier Science Publishers",
    address="North-Holland",
    year=1983,
    pages="701--713" }
@inproceedings{perr87b,
    keywords=":sde:vc:mi:data models:",
    author="Dewayne E. Perry",
    title="{``Software Interconnection Models''}",
    booktitle="Proceedings of the 9th International Conference on Software
        Engineering",
    address="Monterey, CA",
    month= "March",
    year=1987,
    pages="61--69" }
 
%Here are the OO papers:
@article{orwell,
    keywords=":scm:oo:pl:",
    title="{``Orwell: A Configuration Management System for Team Programming''}",
    author="Dave Thomas and Kent Johnson",
    journal="ACM SIGPLAN Notices",
    volume="23",
    number="11",
    month= Nov,
    year="1988",
    pages="135--141" }
@inproceedings{beech,
    keywords=":oo:dbms:vc:",
    title="{``Generalized Version Control in an Object-Oriented Database''}",
    author="David Beech and Brom Mahbod",
    booktitle="Proceedings of the 1988 IEEE Fourth International Conference
        on Data Engineering",
    address="Los Angeles, California",
    month= feb,
    year="1988",
    pages="14--22" }
@inproceedings{katz87,
    keywords=":oo:vc:dbms:data models:",
    title="{``Managing Change in a Computer-Aided Design Database''}",
    author="R. H. Katz and E. Chang",
    booktitle="Proceedings of the 13th International Conference on
                Very Large Data Bases",
    address="Brighton, England",
    month= sep,
    year=1987,
    pages="455--462" }
 
%Here's the rigorous development paper:
@article{cott84,
    keywords=":vc:sde:svce:",
    title="{``The Rigorous Development of a System Version Control Program''}",
    author="Ian D. Cottam",
    journal="IEEE Transactions on Software Engineering",
    volume="SE-10",
    number="2",
    month= mar,
    year=1984,
    pages="143--154" }
 
------------------------------
 
Date: 13 Aug 89 00:06:32 GMT
From: Pat Bahn <haven!grebyn!pat@purdue.edu>
Organization: Grebyn Corp., Vienna, VA, USA
Subject: C PDL AND MCCABE COMPLEXITY DIAGRAMS
 
At long last,  My summary of responses on McCabe Complexity and C PDL
 
 
Date: Wed, 2 Aug 89 15:48:18 PDT
From: haven!Franz.COM!keb (Kerstin Barley)
Organization: Franz Inc., Berkeley
 
 
What are you doing programming in C?  Real developers utilize
the power of Lisp...
 
:-)  keb
 
 
 
Date: Thu, 3 Aug 89 21:10:58 CDT
From: haven!Central.Sun.COM!boone (David Boone Sun-Central Area SE)
Subject: Re: C PDL AND MCCABES COMPLEXITY MEASURES
Organization: Sun Microsystems Inc.
 
McCabe Associaters has exactly the software your
are looking for.
 
--david
 
Date: Wed, 2 Aug 89 16:54 GMT
From: David Kelly <haven!CUNYVM.CUNY.EDU!DPMKELLY%cs.tcd.ie>
Subject: reply to metrics query in comp.lang.c
 
RE: C PDL AND MCCABE'S COMPLEXITY MEASURES
 
Greetings from Dublin ...
 
A software metrics analyser called SCMT (Software Complexity Metrics
Tool) has been written at Oregon State University by C. Cook and M.
Nanja.  They describe it in ACM SIGSoft (July '87).  It analyses C,
producing McCabe's cyclometric complexity metric and numerous Halstead's
metrics, and was originally written in C to run in a UNIX environment.
The source code is freely available and has been modified here to run on
an IBM PC and (I think) VMS.  As a degree project here I wrote a metrics
analyser for C (in LISP) and agreed with SCMT's methods of calculating
v(G) but was rather dubious about some of the counting rules employed to
gain Halstead's metrics.  There is another complexity measure derived
from the amount of nesting within a subroutine - if you think it might
be useful, I think I can dig out a reference.
 
I presume that by PDL you mean *Programme Development Language*.  Sorry,
I can't help here.  However, my wonderful brilliant super metrics
analyser (??) did allow the analysis of partially written code.  For
instance, a programmer could submit a skeleton of code (e.g., conditions
just written as comments) and the analyser would return a preliminary
Halstead evaluation of it (length, volume, estimated no. of bugs).  The
big idea was that this would allow bad algorithms/badly written
subroutines to be identified at an early point in the life cycle, thus
facilitating rapid prototyping.  I have not had a a chance to try it out
yet ...
 
 
From: haven!devvax.Jpl.Nasa.Gov!leem (Lee Mellinger)
Organization: Jet Propulsion Laboratory, Pasadena, CA.
 
 
Macabe and Associates - Tom Macabe of course, has just such a tool which
will take PDL as input and produce complexity, flowgraphs, test values.
 
From: Warren Harrison <haven!RELAY.CS.NET!warren%jove.cs.pdx.edu>
Organization: Dept. of Computer Science, Portland State University; Portland OR
 
I don't know of any formal C PDL's, but a couple of outfits have
commercial tools for McCabe's Cyclomatic Complexity.  You might want to
try McCabe's company, McCabe & Associates in Columbia Maryland
(301-596-3080) or SET Laboratories here in Portland (503-289-4758).
 
From: haven!CUNYVM.CUNY.EDU!ssdken%JARTHUR.CLAREMONT.EDU
Subject: Re: C PDL AND MCCABES COMPLEXITY MEASURES
 
My employer (Software Systems Design) offers an existing Ada based PDL,
which can be used with C. We develop in C but use our PDL for design and
documentation.  The PDL is called ADADL.  ADADL also reports on Quality
Metrics.  THe McCabe complexity is one of these reports.  Documentation
completeness and the variations between design and the implementation.
ADADL is part of a family of tools:
 
  DOCGEN  - automatically generates military standard documentation.
  TESTGEN - Test Case Development and Test Coverage Analysis
  ASE     - Ada Syntax Editor
  QUALGEN - Over 60 Quality Metrics, with graphics, statistics, etc...
 
 
We are busy creating CDADL (our PDL for C).  Following CDADL we will
port the rest of our tools to support C. CDADL should be available this
year, ADADL will provide a way to PDL now, and migrate to CDADL
painlessly when it is ready.
 
I did not see you address in the new article.  Please call to ask for
our information brochures, and to discuss what you need from a C PDL.
 
                                Thanks,
 
                                   Ken Nelson (Principle Engineer)
                                   Software Systems Design
                                   3267 Padua Av, Claremont, CA 91711
                                   (714) 625-6147
 
        P.S.  You can ask for me or Tom Radi who is the president of the
              company.
 
Date: Tue, 01 Aug 89 13:05:42 -0700
From: Steve Caine <haven!cfg.com!shc>
 
I'm sending off some info this afternoon.  If you have questions after
looking at it, give me a call at (818) 449-3070.
 
Btw, GTE Government Systems has something like 15 copies of the VMS
version of PDL/81 -- mostly in Needham Heights.  GTE, as a whole, has
something like 35 copies.  They've been using it, and it's predecessor,
since 1975.
 
Steve.          shc@cfg.com     or      ...!uunet!cfg!shc
 
--
=============================================================================
Pat @ grebyn.com  | If the human mind was simple enough to understand,
301-948-8142      | We'd be too simple to understand it.
=============================================================================
 
------------------------------
 
Date: 13 Aug 89 06:19:31 GMT
From: Andrew Hume <alice!andrew@bloom-beacon.mit.edu>
Organization: AT&T Bell Laboratories, Murray Hill NJ
Subject: Re: Do people really use Make?
 
        i am the author of mk, one of the many variants on make.
mk (source) is available from the at&t toolchest for a small fee.
there is a paper on mk in the 1987 summer usenix (phoenix) proceedings,
or you can mail me to send you a copy.
 
        for all that, mk is still much the same as make. it has several
improvements: much faster, recipes are pure shell scripts, transitive
closure on metarules (it can figure out to use %.a:%.b and %.b:%.c
to derive a %.a from a %.c) and numerous other goodies.
 
andrew hume
andrew@research.att.com
research!andrew
 
------------------------------
 
End of Software Engineering Digest
**********************************
