Maarten Steen - RankMe

18 papers B 1C 2Journal 5Unranked 8

Year	Rank	Type	Title / Venue / Authors
2008	—	`ed.`	Workshops Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, ECOCW 2008, 16 September 2008, Munich, Germany EDOCW Marten van Sinderen, João Paulo A. Almeida, Luís Ferreira Pires, Maarten Steen
2003	—	`conf`	Business Process Engineering versus E-Business Engineering - A summary of case experiences. HICSS Wil Janssen, Maarten Steen, Henry M. Franken
2002	J	`jnl`	A Formal Framework for Viewpoint Consistency. Formal Methods Syst. Des. Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick
2001	B	`conf`	Rapid Service Development: An Integral Approach to e-Business Engineering. Web Engineering Wil Janssen, Maarten Steen
2000	J	`jnl`	Viewpoint consistency in ODP. Comput. Networks Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen
1999	J	`jnl`	Constructive Consistency Checking for Partial Specification in Z. Sci. Comput. Program. Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen
1999	J	`jnl`	Strategies for Consistency Checking Based on Unification. Sci. Comput. Program. Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen
1998	—	`—`	Consistency and composition of process specifications. Maarten Steen
1998	—	`conf`	Consistency of Partial Process Specifications. AMAST Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman
1998	J	`jnl`	Specifying and Refining Internal Operations in Z. Formal Aspects Comput. John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen
1997	C	`conf`	Disjunction of LOTOS Specifications. FORTE Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten
1997	—	`conf`	Viewpoint Consistency in Z and LOTOS: A Case Study. FME Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen
1997	—	`conf`	Weak Refinement in Z. ZUM John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen
1996	C	`conf`	Comparing LOTOS and Z Refinement Relations. FORTE John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen
1996	—	`conf`	Consistency and Refinement for Partial Specification in Z. FME Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen
1996	—	`conf`	Issues in multiparadigm viewpoint specification. ISAW/Viewpoints@FSE Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen
1995	—	`conf`	Composition of LOTOS specifications. PSTV Maarten Steen, Howard Bowman, John Derrick
1995	—	`conf`	Viewpoints and Objects. ZUM Howard Bowman, John Derrick, Maarten Steen