mauney@ncsu.UUCP (Jon Mauney) (01/11/85)
%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