Maarten Steen

Publication Activity (10 Years)

Years Active: 1995-2003
Publications (10 Years): 0

University of Kent, UK (PHD)

Education History

University of Kent, UK

PHD

Publications

Wil Janssen, Maarten Steen, Henry M. Franken
Business Process Engineering versus E-Business Engineering - A summary of case experiences. HICSS (2003)
Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick
A Formal Framework for Viewpoint Consistency. Formal Methods Syst. Des. 21 (2) (2002)
Wil Janssen, Maarten Steen
Rapid Service Development: An Integral Approach to e-Business Engineering. Web Engineering (2001)
Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen
Viewpoint consistency in ODP. Comput. Networks 34 (3) (2000)
Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen
Constructive Consistency Checking for Partial Specification in Z. Sci. Comput. Program. 35 (1) (1999)
Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen
Strategies for Consistency Checking Based on Unification. Sci. Comput. Program. 33 (3) (1999)
John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen
Specifying and Refining Internal Operations in Z. Formal Aspects Comput. 10 (2) (1998)
Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman
Consistency of Partial Process Specifications. AMAST (1998)
John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen
Weak Refinement in Z. ZUM (1997)
Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen
Viewpoint Consistency in Z and LOTOS: A Case Study. FME (1997)
Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten
Disjunction of LOTOS Specifications. FORTE (1997)
Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen
Issues in multiparadigm viewpoint specification. ISAW/Viewpoints@FSE (1996)
Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen
Consistency and Refinement for Partial Specification in Z. FME (1996)
John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen
Comparing LOTOS and Z Refinement Relations. FORTE (1996)
Maarten Steen, Howard Bowman, John Derrick
Composition of LOTOS specifications. PSTV (1995)
Howard Bowman, John Derrick, Maarten Steen
Viewpoints and Objects. ZUM (1995)

Maarten Steen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Maarten Steen