pdbain@wateng.UUCP (Peter Bain) (07/04/85)
%A Gruia-Catalin Roman
%T A Taxonomy of Current Issues in Requirements Engineering
%J Computer
%I IEEE
%V 18
%N 4
%D April 1985
%P 14-23
%X The growing area of requirements specification still needs a broader
formal foundation, more automation, new development methods, and a
higher level of integration into the design process.
%K specifications functional requirements software development
%A Applications and Extensions of SADT
%T Douglas T. Ross
%J Computer
%I IEEE
%V 18
%N 4
%D April 1985
%P 25-34
%X Embodying an organized discipline of thought and action, the SADT
methodology has been successful in many applications previously though
too nebulous for technical treatment
%K structured analysis and design technique software engineering
%A Mack Alford
%T SREM at the Age of Eight: The Distributed Computing Design System
%J Computer
%I IEEE
%V 18
%N 4
%D April 1985
%P 35-46
%X SREM has been extended. Now a requirements-driven model for
integrated software engineering environments, SREM has new tools to
support its application, the Distributed Computing Design System
%K software requirements engineering method software engineering
specifications finite state machine fsm SYSREM system
%A Paul A. Scheffer
%A Albert H. Stone\ III
%A William E. Rzepka
%T A Case Study of SREM
%J Computer
%I IEEE
%V 18
%N 4
%D April 1985
%P 47-54
%X This methodology can improve the integrity of a large software
system description, but it is labour intensive and hard to learn
%K software requirements engineering method software engineering
specifications finite state machine fsm SYSREM system
%A Gene E. Sievert
%A Terrence A. Mizell
%T Specification-Based Software Engineering with TAGS
%J Computer
%I IEEE
%V 18
%N 4
%D April 1985
%P 56-65
%X Aiming at the cause, not just the symptoms, a system based on a new
software development paradigm promises a cure for the software crisis
%K technology for the automated generation of systems iorl input
output requirements language software design methodology
%A Stephanie M. White
%A Jonah Z. Lavi
%T Embedded Computer Systems Requirements Workshop
%J Computer
%I IEEE
%V 18
%N 4
%D April 1985
%P 67-70
%X Developing embedded computer systems requires extensive requirements
analysis, support methodologies, and software tools. A Naval Research
Laboratory workshop provided the forum for identifying specific
recommendations and areas where standards could be developed
%K specifications
%A M. Chandrashekharan
%A B. Dasarathy
%A Z. Kishimoto
%T Requirements-Based Testing of Real-Time Systems: Modeling for
Testability
%J Computer
%I IEEE
%V 18
%N 4
%D April 1985
%P 71-80
%X The finite-state model captures the external behaviour of real-time
systems, facilitating test generation and modelling
%K gtd-5 eax telecommunications software fsm finite state machine sdl
specification and design language test plan generator tpg requirements
language processor rlp
%A Alexander Borgida
%A Sol Greenspan
%A John Mylopoulos
%T Knowledge Representation as the Basis for Requirements
Specification
%J Computer
%I IEEE
%V 18
%N 4
%D April 1985
%P 82-91
%X Research on knowledge representation in artificial intelligence
addresses fundamental issues that software engineering must eventually
face, and provides a wealth of relevant techniques that can be
incorporated into specification languages
--
- peter bain
...!{allegra|decvax|clyde|ihnp4 }!watmath!wateng!pdbain
hard mail: CCNG, CPH-2369A, University of Waterloo,
Waterloo, Ont. Canada N2M 5G4
telephone: (519) 885-1211 x2810