Um Sistema para Execução de Especificações JSD
Resumo
Um dos princípios básicos dos modelos operacionais é a possibilidade de se executar diretamente a especificação de requisitos de software. Neste trabalho, o método JSD ("Jackson System Development") é considerado um modelo operacional e, para tanto, são apresentados uma linguagem e uma ferramenta que possibilitam a execução de especificações JSD.
Referências
CAMERON, R.J. An Overview of JSD. IEEE Transaction on Software Engineering, SE-12(2):222-240, Feb. 1986.
COHEN, D. Symbolic Execution of the Gist Specification Language. In: INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE. Karlsruhe, West Germany, Aug. 8-12, 1983. Proccedings, 8. p. 17-20.
JACKSON, M.A. System development. Englewood Cliffs, NJ, Prentice-Hall, 1983.
LISKOV, B. Modular Program Construction Using Abstractions. Cambridge, MA, Laboratory for Computer Science. Massachusetts Institute of Technology. (Computation Structures Group Memo 184) Sep. 1979, p. 2-43.
URBAN, S.D.; URBAN, J.E.; DOMINICK W.D. Using an executable specification language for an information esystem. IEEE transactions on Software Engineering, SE-11(7): 598-605, July 1985.
VELASCO, F.R.D. JSD-Tool reference manual. Tyngsboro, MA. Wang Institute Graduate Studies, 1986. (TR-86-09).
ZAVE, P. The Operational versus the Conventional Approach to Software. Development. Comunications of ACM, 27(2):104-118, Feb. 1984.
ZAVE, P.; SCHELL, W. Salient features of an executable specification language and its environment. IEEE Transaction on Software Engineering, SE-12(2):312-325, Feb. 1986.
COHEN, D. Symbolic Execution of the Gist Specification Language. In: INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE. Karlsruhe, West Germany, Aug. 8-12, 1983. Proccedings, 8. p. 17-20.
JACKSON, M.A. System development. Englewood Cliffs, NJ, Prentice-Hall, 1983.
LISKOV, B. Modular Program Construction Using Abstractions. Cambridge, MA, Laboratory for Computer Science. Massachusetts Institute of Technology. (Computation Structures Group Memo 184) Sep. 1979, p. 2-43.
URBAN, S.D.; URBAN, J.E.; DOMINICK W.D. Using an executable specification language for an information esystem. IEEE transactions on Software Engineering, SE-11(7): 598-605, July 1985.
VELASCO, F.R.D. JSD-Tool reference manual. Tyngsboro, MA. Wang Institute Graduate Studies, 1986. (TR-86-09).
ZAVE, P. The Operational versus the Conventional Approach to Software. Development. Comunications of ACM, 27(2):104-118, Feb. 1984.
ZAVE, P.; SCHELL, W. Salient features of an executable specification language and its environment. IEEE Transaction on Software Engineering, SE-12(2):312-325, Feb. 1986.
Publicado
27/10/1988
Como Citar
AMBROSIO, Ana Maria; VELASCO, Flávio Roberto Dias.
Um Sistema para Execução de Especificações JSD. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 2. , 1988, Canela/RS.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1988
.
p. 96-105.
DOI: https://doi.org/10.5753/sbes.1988.24248.
