Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.1 6/24/83; site ncsu.UUCP Path: utzoo!watmath!clyde!burl!ulysses!allegra!bellcore!decvax!mcnc!ncsu!mauney From: mauney@ncsu.UUCP (Jon Mauney) Newsgroups: net.mag Subject: TOC: IEEE Software, Jan 85 Message-ID: <2766@ncsu.UUCP> Date: Fri, 11-Jan-85 11:43:55 EST Article-I.D.: ncsu.2766 Posted: Fri Jan 11 11:43:55 1985 Date-Received: Mon, 14-Jan-85 02:42:27 EST Organization: N.C. State University, Raleigh Lines: 71 %A Bertrand Meyer %T On Formalism in Specification %J IEEE Software %V 2 %N 1 %P 6-26 %D January 1985 %X A critique of natural-language specification, followed by a presentation of a mathematical alternative, demonstrates the weakness of natural language and the strength of formalism in requirements specifications. %A Marc H. Brown %A Robert Sedgewick %T Techniques for Algorithm Animation %J IEEE Software %V 2 %N 1 %P 27-39 %D January 1985 %X Allowing a user to interact with dynamically changing graphical representations of algorithms of data structures may help in teaching, research, or systems programming %A Ellis Horowitz %A Alfons Kemper %A Balaji Narasimhan %T A Survey of Application Generators %J IEEE Software %V 2 %N 1 %P 40-54 %D January 1985 %X By encouraging the unsophisticated computer user to develop his own data-intensive programs, application generators can significantly improve software productivity %A John D. Musa %T Sofware Engineering: The Future of a Profession %J IEEE Software %V 2 %N 1 %P 55-62 %D January 1985 %X Increasing and diverse pressures, manpower shortages, and technology transfer problems all plague the growing software engineering profession. Industry, government, education, and the professional society together must help. %A Alexander Borgida %T Features of Languages for the Development of Information Systems as the Conceptual Level %J IEEE Software %V 2 %N 1 %P 63-72 %D January 1985 %X Conceptual modeling languages make information systems easier to design and maintain by using vocabularies that relate naturally and directly to the "real world" of many computer applications %A Timothy E. Lindquist %T Assessing the Usability of Human-Computer Interfaces %J IEEE Software %V 2 %N 1 %P 74-82 %D January 1985 %X Engineers may be able to design a better interface if they take into account the control structures underlying the interface syntax