7 papers:
- DAC-2008-PuriJBGLM #synthesis
- Custom is from Venus and synthesis from Mars (RP, WHJ, SB, TG, JL, RKM), p. 992.
- TOOLS-EUROPE-2000-Graham #case study #generative #requirements
- Requirements Engineering: Use Cases Are from Mars, Generative Languages are from Venus (IMG), p. 4.
- CIKM-1996-WarshawM #case study #declarative
- A Case Study of Venus and a Declarative Basis for Rule Modules (LW, DPM), pp. 317–325.
- CIKM-1995-CorrelM #concurrent #on the
- On Isolation, Concurrency, and the Venus Rule Language (SC, DPM), pp. 281–289.
- TOOLS-EUROPE-1994-TsalgatidouGH #requirements #validation
- Specifiying and Validating Requirements: The VENUS System (AT, DG, CH), pp. 89–102.
- SOSP-J-1973-Liskov72 #design #operating system
- The Design of the Venus Operating System (BL), pp. 144–149.
- SOSP-1971-Liskov #design #operating system
- The Design of the Venus Operating System (BL), pp. 11–16.