Concepedia

Chris A. Vissers

CA

Statistics

Publications

12

Citations

678

H-Index

12

Active since

1975

Affiliations

University of Twente(Current)

Chris A. Vissers is an author at University of Twente specializing in engineering, systems engineering, and system software.

Top concepts

EngineeringSystems EngineeringDesignSoftware DesignSystem SoftwareFormal MethodsDistributed SystemsFormal SpecificationFormal VerificationSoftware Engineering

Publications per year

1975–1997

12

Publications

12

Specification styles in distributed systems design and verification

Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen et al. · Theoretical Computer Science · 1991 · 143 citations

Specification Language, Formal Specification, Specification Styles +13

Formal description techniques

Chris A. Vissers, Richard L. Tenney, Gregor von Bochmann · Proceedings of the IEEE · 1983 · 139 citations

Engineering, Software Engineering, Semantics +22

Architecture and Specification Style in Formal Descriptions of Distributed Systems

Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen · University of Twente Research Information · 1988 · 114 citations

Specification Language, Formal Specification, Engineering +12

The importance of the service concept in the design of data communications protocols

Chris A. Vissers, Luigi Logrippo · 1985 · 65 citations

Reference model for manufacturing planning and control systems

F.P.M. Biemans, Chris A. Vissers · Journal of Manufacturing Systems · 1989 · 50 citations

Industrial Design, Engineering, Design +8

1–5 of 12