![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Maarten W. A. Steen
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1998
- [b1]Maarten Steen:
Consistency and composition of process specifications. University of Kent, UK, 1998
Journal Articles
- 2012
- [j10]Dick A. C. Quartel, Maarten W. A. Steen, Marc M. Lankhorst:
Application and project portfolio valuation using enterprise architecture and business requirements modelling. Enterp. Inf. Syst. 6(2): 189-213 (2012) - 2009
- [j9]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. Enterp. Inf. Syst. 3(3): 319-345 (2009) - 2007
- [j8]Maria-Eugenia Iacob, Henk Jonkers, Marc M. Lankhorst, Maarten W. A. Steen:
Service-oriented enterprise modelling and analysis: a case study. Int. J. Bus. Process. Integr. Manag. 2(1): 26-37 (2007) - [j7]Dick A. C. Quartel, Maarten W. A. Steen, Stanislav Pokraev, Marten van Sinderen:
COSMO: A conceptual framework for service modelling and refinement. Inf. Syst. Frontiers 9(2-3): 225-244 (2007) - 2002
- [j6]Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick
:
A Formal Framework for Viewpoint Consistency. Formal Methods Syst. Des. 21(2): 111-166 (2002) - 2000
- [j5]Eerke A. Boiten
, Howard Bowman, John Derrick
, Peter F. Linington, Maarten Steen:
Viewpoint consistency in ODP. Comput. Networks 34(3): 503-537 (2000) - 1999
- [j4]Howard Bowman, Eerke A. Boiten
, John Derrick, Maarten Steen:
Strategies for Consistency Checking Based on Unification. Sci. Comput. Program. 33(3): 261-298 (1999) - [j3]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) - 1998
- [j2]John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen:
Specifying and Refining Internal Operations in Z. Formal Aspects Comput. 10(2): 125-159 (1998) - 1996
- [j1]Howard Bowman, John Derrick, Peter W. A. Linington, Maarten W. A. Steen:
Cross-viewpoint consistency in open distributed processing. Softw. Eng. J. 11(1): 44-57 (1996)
Conference and Workshop Papers
- 2010
- [c24]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 - [c23]Marc M. Lankhorst, Dick A. C. Quartel, Maarten W. A. Steen:
Architecture-Based IT Portfolio Valuation. PRET 2010: 78-106 - 2008
- [c22]Maria-Eugenia Iacob, Maarten W. A. Steen, Lex Heerink:
Reusable Model Transformation Patterns. EDOCW 2008: 1-10 - 2007
- [c21]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 - 2006
- [c20]Dick A. C. Quartel, Maarten W. A. Steen, Stanislav Pokraev, Marten van Sinderen:
A conceptual framework for service modelling. EDOC 2006: 319-330 - [c19]Stanislav Pokraev, Dick A. C. Quartel, Maarten W. A. Steen, Manfred Reichert:
Requirements and Method for Assessment of Service Interoperability. ICSOC 2006: 1-14 - [c18]Stanislav Pokraev, Dick A. C. Quartel, Maarten W. A. Steen, Manfred Reichert:
A Method for Formal Verification of Service Interoperability. ICWS 2006: 895-900 - [c17]Stanislav Pokraev, Dick A. C. Quartel, Maarten W. A. Steen, Manfred Reichert:
Semantic Service Modeling: Enabling System Interoperability. I-ESA 2006: 221-230 - 2005
- [c16]Stanislav Pokraev, Manfred Reichert, Maarten W. A. Steen, Roel J. Wieringa:
Semantic and Pragmatic Interoperability: A Model for Understanding. EMOI-INTEROP 2005 - 2004
- [c15]Stanislav Pokraev, Roel J. Wieringa, Maarten W. A. Steen:
Towards Semantic Service Specification and Discovery. CAiSE Workshops (3) 2004: 363-367 - [c14]Maarten W. A. Steen, David H. Akehurst, Hugo W. L. ter Doest, Marc M. Lankhorst:
Supporting Viewpoint-Oriented Enterprise Architecture. EDOC 2004: 201-211 - 2003
- [c13]Wil Janssen, Maarten Steen, Henry M. Franken:
Business Process Engineering versus E-Business Engineering - A summary of case experiences. HICSS 2003: 185 - 2002
- [c12]Maarten W. A. Steen, Marc M. Lankhorst, Rob G. van de Wetering:
Modelling Networked Enterprises. EDOC 2002: 109-119 - 2001
- [c11]Wil Janssen, Maarten Steen:
Rapid Service Development: An Integral Approach to e-Business Engineering. Web Engineering 2001: 119-132 - 1999
- [c10]Maarten W. A. Steen, John Derrick
:
Formalising ODP enterprise policies. EDOC 1999: 84-93 - 1998
- [c9]Maarten Steen, John Derrick
, Eerke A. Boiten
, Howard Bowman:
Consistency of Partial Process Specifications. AMAST 1998: 248-262 - 1997
- [c8]Eerke A. Boiten, Howard Bowman, John Derrick
, Maarten Steen:
Viewpoint Consistency in Z and LOTOS: A Case Study. FME 1997: 644-664 - [c7]Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten:
Disjunction of LOTOS Specifications. FORTE 1997: 177-192 - [c6]John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen:
Weak Refinement in Z. ZUM 1997: 369-388 - 1996
- [c5]Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen:
Consistency and Refinement for Partial Specification in Z. FME 1996: 287-306 - [c4]John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen:
Comparing LOTOS and Z Refinement Relations. FORTE 1996: 501-516 - [c3]Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen:
Issues in multiparadigm viewpoint specification. ISAW/Viewpoints@FSE 1996: 162-166 - 1995
- [c2]Maarten Steen, Howard Bowman, John Derrick:
Composition of LOTOS specifications. PSTV 1995: 87-102 - [c1]Howard Bowman, John Derrick, Maarten Steen:
Viewpoints and Objects. ZUM 1995: 449-468
Parts in Books or Collections
- 2017
- [p3]Marc M. Lankhorst, Leon van der Torre
, Henderik A. Proper
, Farhad Arbab, S. J. B. A. Hoppenbrouwers, Maarten W. A. Steen:
Viewpoints and Visualisation. Enterprise Architecture at Work, 4th ed. 2017: 171-214 - 2012
- [p2]Marc M. Lankhorst, Wil P. M. Janssen, Henderik A. Proper
, Maarten W. A. Steen:
Introducing Agile Service Development. Agile Service Development 2012: 1-15 - [p1]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:
Service Modelling. Agile Service Development 2012: 59-94
Editorship
- 2008
- [e1]Marten van Sinderen, João Paulo A. Almeida, Luís Ferreira Pires, Maarten Steen:
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 [contents]
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint