Viewpoint consistency in ODP

OSI Reference Model--The ISO Model of Architecture for Open Systems Interconnection

Horst Zimmermann · IRE Transactions on Communications Systems · 1980 · 1.5K citations

Computing, Computer Science, Computer Systems +17

Introduction to the ISO specification language LOTOS

Tommaso Bolognesi, Ed Brinksma · Computer Networks and ISDN Systems · 1987 · 1.3K citations · Full text

Computing, Computer Science, Formal Methods +5

Systematic software development using VDM

Sunil Vadera · Data Processing · 1986 · 1.1K citations

Computing, Systems Engineering, Requirements Engineering +11

Specification and Description Language (SDL)

Itu-T · Medical Entomology and Zoology · 1999 · 655 citations

Computing, Computer Science, Systems Engineering +10

The Z notation: A reference manual

Jan Madey · Science of Computer Programming · 1990 · 561 citations

Natural Sciences, Mathematics, Metrology +3