论文信息 - Software Architectures in Computer-Aided Prototyping - 字舞流文

Software Architectures in Computer-Aided Prototyping

This research was supported in part by the National Science Foundation under grant number CCR-9058453 and in part by the Army Research Office under grant number ARO 111-95.

Luqi | Valdis Berzins

[1] Joseph A. Goguen,et al. Putting Theories Together to Make Specifications , 1977, IJCAI.

[2] Don S. Batory,et al. The design and implementation of hierarchical software systems with reusable components , 1992, TSEM.

[3] Luqi,et al. Formal Methods and Social Context in Software Development , 1995, TAPSOFT.

[4] David C. Luckham,et al. ANNA: Towards a language for annotating Ada programs , 1980, SIGPLAN '80.

[5] José Meseguer,et al. Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics , 1987, Research Directions in Object-Oriented Programming.

[6] Joseph A. Goguen,et al. Requirements engineering as the reconciliation of social and technical issues , 1994 .

[7] Stefano Ceri,et al. Toward megaprogramming , 1992, CACM.

[8] Joseph A. Goguen,et al. The Semantics of CLEAR, A Specification Language , 1979, Abstract Software Specifications.

[9] Joseph A. Goguen,et al. Principles of parameterized programming , 1989 .

[10] Luqi. Software evolution through rapid prototyping , 1989, Computer.

[11] Will Tracz,et al. Parametrized programming in LILEANNA , 1993, SAC '93.