Maarten W. A. Steen

Dick A. C. Quartel, Maarten W. A. Steen, Marc M. Lankhorst: Application and project portfolio valuation using enterprise architecture and business requirements modelling. Enterprise IS 6(2): 189-213 (2012)

Dick A. C. Quartel, Maarten W. A. Steen, Marc M. Lankhorst: IT Portfolio Valuation - Using Enterprise Architecture and Business Requirements Modeling. EDOC 2010: 3-13

Dick A. C. Quartel, Stanislav Pokraev, Teduh Dirgahayu, Rodrigo Mantovaneli Pessoa, Maarten W. A. Steen, Marten van Sinderen: Model-driven development of mediation for business services using COSMO. Enterprise IS 3(3): 319-345 (2009)

Maria-Eugenia Iacob, Maarten W. A. Steen, Lex Heerink: Reusable Model Transformation Patterns. EDOCW 2008: 1-10

Marten van Sinderen, João Paulo A. Almeida, Luís Ferreira Pires, Maarten Steen (Eds.): Workshops Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, ECOCW 2008, 16 September 2008, Munich, Germany. IEEE Computer Society 2008, isbn 978-0-7695-3720-7

Dick A. C. Quartel, Maarten W. A. Steen, Stanislav Pokraev, Marten van Sinderen: COSMO: A conceptual framework for service modelling and refinement. Information Systems Frontiers 9(2-3): 225-244 (2007)

Stanislav Pokraev, Dick A. C. Quartel, Maarten W. A. Steen, Andreas Wombacher, Manfred Reichert: Business Level Service-Oriented Enterprise Application Integration. IESA 2007: 507-518

Dick A. C. Quartel, Maarten W. A. Steen, Stanislav Pokraev, Marten van Sinderen: A conceptual framework for service modelling. EDOC 2006: 319-330

Stanislav Pokraev, Dick A. C. Quartel, Maarten W. A. Steen, Manfred Reichert: Requirements and Method for Assessment of Service Interoperability. ICSOC 2006: 1-14

Stanislav Pokraev, Dick A. C. Quartel, Maarten W. A. Steen, Manfred Reichert: A Method for Formal Verification of Service Interoperability. ICWS 2006: 895-900

Stanislav Pokraev, Manfred Reichert, Maarten W. A. Steen, Roel Wieringa: Semantic and Pragmatic Interoperability: A Model for Understanding. EMOI-INTEROP 2005

Stanislav Pokraev, Roel Wieringa, Maarten W. A. Steen: Towards Semantic Service Specification and Discovery. CAiSE Workshops (3) 2004: 363-367

Maarten W. A. Steen, David H. Akehurst, Hugo W. L. ter Doest, Marc M. Lankhorst: Supporting Viewpoint-Oriented Enterprise Architecture. EDOC 2004: 201-211

Wil Janssen, Maarten Steen, Henry M. Franken: Business Process Engineering versus E-Business Engineering - A summary of case experiences. HICSS 2003: 185

Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick: A Formal Framework for Viewpoint Consistency. Formal Methods in System Design 21(2): 111-166 (2002)

Maarten W. A. Steen, Marc M. Lankhorst, R. G. van de Wetering: Modelling Networked Enterprises. EDOC 2002: 109-119

Wil Janssen, Maarten Steen: Rapid Service Development: An Integral Approach to e-Business Engineering. Web Engineering 2001: 119-132

Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen: Viewpoint consistency in ODP. Computer Networks 34(3): 503-537 (2000)

Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen: Strategies for Consistency Checking Based on Unification. Sci. Comput. Program. 33(3): 261-298 (1999)

Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen: Constructive Consistency Checking for Partial Specification in Z. Sci. Comput. Program. 35(1): 29-75 (1999)

John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen: Specifying and Refining Internal Operations in Z. Formal Asp. Comput. 10(2): 125-159 (1998)

Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman: Consistency of Partial Process Specifications. AMAST 1998: 248-262

Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen: Viewpoint Consistency in Z and LOTOS: A Case Study. FME 1997: 644-664

Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten: Disjunction of LOTOS Specifications. FORTE 1997: 177-192

John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen: Weak Refinement in Z. ZUM 1997: 369-388

Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen: Consistency and Refinement for Partial Specification in Z. FME 1996: 287-306

John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen: Comparing LOTOS and Z Refinement Relations. FORTE 1996: 501-516

Maarten Steen, Howard Bowman, John Derrick: Composition of LOTOS specifications. PSTV 1995: 87-102

Howard Bowman, John Derrick, Maarten Steen: Viewpoints and Objects. ZUM 1995: 449-468