A formal description of evolving software systems architectures

Science of Computer Programming - Tập 24 - Trang 41-61 - 1995
C.J.P. Lucena1, P.S.C. Alencar2
1Departamento de Informática, Pontifícia Universidade Católica do Rio de Janeiro, Rua M.S. Vicente 225, Gavea 22453-900, Rio de Janeiro, Brazil
2Computer Science Department at the University of Waterloo, Waterloo, Ont., Canada

Tài liệu tham khảo

Alencar, 1989, Uma abordagem lógica para sistemas evolutivos de software

Alencar, 1992, An evolving loical approach to software Systems

Alencar, 1989, An automated reasoning method for a many-sorted deontic action logic

Alencar, 1991, Formalization of concepts in configuration management

Alencar, 1992, A formal description of evolving software systems architectures

P.S.C. Alencar and C.J.P. Lucena, A Logical Formal Approach for Evolving Software Systems, in: Formal Aspects of Computing (submitted).

Ambriola, 1990, The evolution of configuration management and version control, Software Engng. J., 10.1049/sej.1990.0033

Babich, 1986

Costa, 1988, Mechanized deuction and modal action logic

Fitting, 1983

Gries, 1981

Habermann, 1981, System composition and version control for Ada

Hoare, 1969, An axiomatic basis for computer programming, Comm. ACM, 12, 576, 10.1145/363235.363259

Jackson, 1988, A general proof method for first-order modal logic, 942

Jones, 1986

Khosla, 1988, System specification: A deontic approach

Narayanaswamy, 1987, Maintaining configurations of evolving software systems, IEEE Trans. Software Engng., vol. 13, 324, 10.1109/TSE.1987.233163

Narayanaswamy, 1987, A database foundation to support software system evolution, J. Syst. Software, 7, 37, 10.1016/0164-1212(87)90006-9

Smullyan, 1968

Tichy, 1982, A data model for programming support environments and its application, 31

Thông tin
Thông tin xuất bản

Science of Computer Programming

Tập 24

41-61

Thông tin tác giả