Uma Linguagem para Especificação de Requisitos de Software de Tempo Real

  • Cláudia Killer UFRJ
  • Sueli Cavalcante UFRJ

Resumo


Este artigo não possui resumo.

Referências

Teamwork Management Overview, Cadre Inc., 1987.

Communications of ACM, Janeiro/1984.

ROCHA. Ana Regina, Notas de Aula da disciplina Engenharia de Software, UFRJ-COPPE, 1985.

ANSI/IEEE Std 830/1944, "Guide to Software Requirements Specification".

RIDDLE, William E. and WRILEDEN, Jack C., "Languages for Representing Software Specification and Design"

LISKOV, Barbara et alii, "An Introduction to Formal Specifications of Data Abstractions", Current Trends in Programming Methodology, Vol.I, Prentice-Hall, Inc., Englwood Cliffs, New Jersey, 1977.

MITERMEIR, Roland T. et alii, "Requirements Analysis An Integrated Approach, Techical Report #1155, University of Maryland.

ASTI VERA, Armando, "Metodologia da Pesquisa Cientifica", Editora Globo 1978

ALFORD, Mack W., "A Requirements Engineering Methodology for Real-Time Processing Requirements, IEEE Transactions Software Engineering, vol. SE3, no.i, Janeiro/77.

SCHEFFER, Paul et alii, "A Case Study of SREM", IEEE Transactions Software Engineering, Abril/1985.

ALFORD, Mack, "SREM at the Age of Eight; Distributed Computing Design System, Computer, Abril/1985.

BALZER, ROBERT and NEIL, "Principals of Good Software Specification and their Implications for Specification Language", AFTPS Conference Proceedings, vol.50, pp.393-400, 1981.

CASE, Albert F., "Information Systems Developments: Principals of Computer - Aided Software Engineering, Prentice-Hall, 1986.
Publicado
22/10/1987
KILLER, Cláudia; CAVALCANTE, Sueli. Uma Linguagem para Especificação de Requisitos de Software de Tempo Real. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 1. , 1987, Rio de Janeiro/RJ. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1987 . p. 130-143. DOI: https://doi.org/10.5753/sbes.1987.25224.