Viewpoint specification and Z

Systematic software development using VDM

Sunil Vadera · Data Processing · 1986 · 1.1K citations

Computing, Systems Engineering, Requirements Engineering +11

VIEWPOINTS: A FRAMEWORK FOR INTEGRATING MULTIPLE PERSPECTIVES IN SYSTEM DEVELOPMENT

Anthony Finkelstein, Jennifer Kramer, Bashar Nuseibeh et al. · International Journal of Software Engineering and Knowledge Engineering · 1992 · 527 citations · Full text

Engineering, Design, Systems Engineering +12

Integrating noninterfering versions of programs

Susan Horwitz, Jan F. Prins, Thomas Reps · ACM Transactions on Programming Languages and Systems · 1989 · 420 citations

Computing, Computer Engineering, Computer Science +7

An introduction to Z and formal specifications

Justin M Spivey · Software Engineering Journal · 1989 · 141 citations

Computing, Computer Science, Information Systems +16

Integrating multiple specifications using domain goals

William N. Robinson · 1989 · 105 citations

Engineering, Information Systems, Decision Support Systems +4