From: CRDGW2::CRDGW2::MRGATE::"SMTP::MWSUN.MITRE.ORG::NIGAM" Date: 15-AUG-1989 23:37:33 Description: Software Engineering Digest v6n43 Return-Path: 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 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 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 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 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 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 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 **********************************