Maarten W. A. Steen

According to our database, Maarten W. A. Steen authored at least 38 papers between 1995 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Viewpoints and Visualisation.

Marc M. Lankhorst, Leon van der Torre, Henderik A. Proper, Farhad Arbab, S. J. B. A. Hoppenbrouwers, Maarten W. A. Steen

Proceedings of the Enterprise Architecture at Work, 2017

2012

Application and project portfolio valuation using enterprise architecture and business requirements modelling.

Dick A. C. Quartel, Maarten W. A. Steen, Marc M. Lankhorst

Enterp. Inf. Syst., 2012

Service Modelling.

Maarten W. A. Steen, Maria-Eugenia Iacob, Marc M. Lankhorst, Henk Jonkers, Martijn Zoet, Wilco Engelsman, Johan Versendaal, Henderik A. Proper, L. Debije, Khaled Gaaloul

Proceedings of the Agile Service Development, 2012

Introducing Agile Service Development.

Marc M. Lankhorst, Wil P. M. Janssen, Henderik A. Proper, Maarten W. A. Steen

Proceedings of the Agile Service Development, 2012

2010

Architecture-Based IT Portfolio Valuation.

Marc M. Lankhorst, Dick A. C. Quartel, Maarten W. A. Steen

Proceedings of the Practice-Driven Research on Enterprise Transformation, 2010

IT Portfolio Valuation - Using Enterprise Architecture and Business Requirements Modeling.

Dick A. C. Quartel, Maarten W. A. Steen, Marc M. Lankhorst

Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, 2010

2009

Model-driven development of mediation for business services using COSMO.

Dick A. C. Quartel, Stanislav Pokraev, Teduh Dirgahayu, Rodrigo Mantovaneli Pessoa, Maarten W. A. Steen, Marten van Sinderen

Enterp. Inf. Syst., 2009

2008

Reusable Model Transformation Patterns.

Maria-Eugenia Iacob, Maarten W. A. Steen, Lex Heerink

Proceedings of the Workshops Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

2007

COSMO: A conceptual framework for service modelling and refinement.

Dick A. C. Quartel, Maarten W. A. Steen, Stanislav Pokraev, Marten van Sinderen

Inf. Syst. Frontiers, 2007

Service-oriented enterprise modelling and analysis: a case study.

Maria-Eugenia Iacob, Henk Jonkers, Marc M. Lankhorst, Maarten W. A. Steen

Int. J. Bus. Process. Integr. Manag., 2007

Business Level Service-Oriented Enterprise Application Integration.

Stanislav Pokraev, Dick A. C. Quartel, Maarten W. A. Steen, Andreas Wombacher, Manfred Reichert

Proceedings of the Enterprise Interoperability II, 2007

2006

Semantic Service Modeling: Enabling System Interoperability.

Stanislav Pokraev, Dick A. C. Quartel, Maarten W. A. Steen, Manfred Reichert

Proceedings of the Enterprise Interoperability, 2006

A Method for Formal Verification of Service Interoperability.

Stanislav Pokraev, Dick A. C. Quartel, Maarten W. A. Steen, Manfred Reichert

Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Requirements and Method for Assessment of Service Interoperability.

Stanislav Pokraev, Dick A. C. Quartel, Maarten W. A. Steen, Manfred Reichert

Proceedings of the Service-Oriented Computing, 2006

A conceptual framework for service modelling.

Dick A. C. Quartel, Maarten W. A. Steen, Stanislav Pokraev, Marten van Sinderen

Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006

2005

Semantic and Pragmatic Interoperability: A Model for Understanding.

Stanislav Pokraev, Manfred Reichert, Maarten W. A. Steen, Roel J. Wieringa

Proceedings of the EMOI, 2005

2004

Supporting Viewpoint-Oriented Enterprise Architecture.

Maarten W. A. Steen, David H. Akehurst, Hugo W. L. ter Doest, Marc M. Lankhorst

Proceedings of the 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 2004

Towards Semantic Service Specification and Discovery.

Stanislav Pokraev, Roel J. Wieringa, Maarten W. A. Steen

Proceedings of the CAiSE'04 Workshops in connection with The 16th Conference on Advanced Information Systems Engineering, 2004

2003

Business Process Engineering versus E-Business Engineering - A summary of case experiences.

Wil Janssen, Maarten Steen, Henry M. Franken

Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

2002

A Formal Framework for Viewpoint Consistency.

Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick

Formal Methods Syst. Des., 2002

Modelling Networked Enterprises.

Maarten W. A. Steen, Marc M. Lankhorst, R. G. van de Wetering

Proceedings of the 6th International Enterprise Distributed Object Computing Conference (EDOC 2002), 2002

2001

Rapid Service Development: An Integral Approach to e-Business Engineering.

Wil Janssen, Maarten Steen

Proceedings of the Web Engineering, Software Engineering and Web Application Development, 2001

2000

Viewpoint consistency in ODP.

Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen

Comput. Networks, 2000

1999

Strategies for Consistency Checking Based on Unification.

Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen

Sci. Comput. Program., 1999

Constructive Consistency Checking for Partial Specification in Z.

Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen

Sci. Comput. Program., 1999

Formalising ODP enterprise policies.

Maarten W. A. Steen, John Derrick

Proceedings of the Third International Enterprise Distributed Object Computing Conference, 1999

1998

Consistency and composition of process specifications.

Maarten Steen

PhD thesis, 1998

Specifying and Refining Internal Operations in Z.

John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen

Formal Aspects Comput., 1998

Consistency of Partial Process Specifications.

Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Weak Refinement in Z.

John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen

Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

Disjunction of LOTOS Specifications.

Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

Viewpoint Consistency in Z and LOTOS: A Case Study.

Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1996

Cross-viewpoint consistency in open distributed processing.

Howard Bowman, John Derrick, Peter W. A. Linington, Maarten W. A. Steen

Softw. Eng. J., 1996

Issues in multiparadigm viewpoint specification.

Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen

Proceedings of the Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, 1996

Comparing LOTOS and Z Refinement Relations.

John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen

Proceedings of the Formal Description Techniques IX: Theory, 1996

Consistency and Refinement for Partial Specification in Z.

Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995

Viewpoints and Objects.

Howard Bowman, John Derrick, Maarten Steen

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

Composition of LOTOS specifications.

Maarten Steen, Howard Bowman, John Derrick

Proceedings of the Protocol Specification, 1995