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
1987-10-22
Como Citar
KILLER, Cláudia; CAVALCANTE, Sueli. Uma Linguagem para Especificação de Requisitos de Software de Tempo Real. Anais do Simpósio Brasileiro de Engenharia de Software (SBES), [S.l.], p. 130-143, out. 1987. ISSN 0000-0000. Disponível em: <https://sol.sbc.org.br/index.php/sbes/article/view/25224>. Acesso em: 15 maio 2024. doi: https://doi.org/10.5753/sbes.1987.25224.