O Uso de uma Linguagem Semi-Formal no Processo de Formalização de Especificações de Software

• Stanley Loh UFRGS
• José Mauro Volkmer de Castilho UFRGS

DOI: https://doi.org/10.5753/sbes.1991.24268

Abstract

The use of a semi-formal specification language in the process of formal specification of software systems is discussed. The use of such a language divides the process of formalization in two steps, which could be performed with less effort, achieving better quality final results. A set of heuristic rules is proposed, to quide the two translation steps (from informal to semi-formal specification, and from semi-formal to formal specification). A dictionary of terms that appear in the specification plays an important role in the process, helping in the identification of "synonymous" parts of the specification.

References

BABB II, R. G. et al. Workshop on models and languages for software specification and design. Computer, Los Angeles, v.18, n.3, Mar. 1985.

BALZER, R.; GOLDMAN, N.; WILE, D. Informality in program specifications. IEEE Transactions on Software Engineering, New York, v.SE-4, n.2, Mar. 1978.

BALZER, R.; CHEATHAM, T. E. GREEN, C. Software technology in the 1990's: using a new paradigm. Computer, Los Angeles, v.16, n.11, Nov. 1983.

BALZER, R. A 15 year perspective on automatic programming. IEEE Transactions on Software Engineering, New York, v.SE-11, n.11, Nov. 1985.

BARSTOW, D. R. Domain-specific automatic programming. IEEE Transactions on Engineering, New York, v.SE-11, n.11, Nov. 1985.

DAVIS, A. M. Automating the requirements phase: benefits to later phases of the software life-cicle. In: INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 4., Chicago, Oct. 27-31, 1980. Proceedings. New York, IEEE, 1980. COMPSAC 80.

DAVIS, A. M. The design of a family of application-oriented requirements languages. Computer, Los Angeles, v.15, n.5, May 1982.

KLEENE, S. C. Mathematical Logic. John Wiley & Sons, 1967.

LOH, S. Uma Linguagem comum entre usuários analistas para definição de requisitos de sistemas de informação. Porto Alegre, CPGCC/UFRGS, 1991. Dissertação de Mestrado.

MAAREK, Y. S.; BERRY, D. M. The use of lexical affinities in requirements extraction. In: INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN, 5., Pittsburgh May 19-20. 1989. Proceedings. Publicado em Software Engineering Notes, New York, v.14, n.3, May 1989.

MEYER, B. On formalism in specifications. IEEE Software, Los Alamitos, v.2, n.1, Jan. 1985.

TEOREY, T. J. & FRY, J. P. Design of database structures. Englewood Cliffs, Prentice-Hall, 1982.