Marten van Sinderen

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

Extending enterprise architecture modelling with business goals and requirements

Wilco Engelsman, Dick Quartel, Henk Jonkers et al. · Enterprise Information Systems · 2010 · 127 citations · Full text

Engineering, Requirements Engineering Domain, Architectural Engineering +16

Modeling resources and capabilities in enterprise architecture: A well-founded ontology-based proposal for ArchiMate

Carlos L.B. Azevedo, Maria‐Eugenia Iacob, João Paulo A. Almeida et al. · Information Systems · 2015 · 121 citations · Full text

Architectural Design, Engineering, Capability Modeling +13

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

Mapping the business model canvas to ArchiMate

L. O. Meertens, Maria‐Eugenia Iacob, Lambert J. M. Nieuwenhuis et al. · 2012 · 110 citations

Engineering, Business Intelligence, Enterprise Modeling +17