|
Search the dblp DataBase
Maarten Steen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman
Consistency of Partial Process Specifications. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:248-262 [Conf]
- Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen
Viewpoint Consistency in Z and LOTOS: A Case Study. [Citation Graph (0, 0)][DBLP] FME, 1997, pp:644-664 [Conf]
- Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen
Consistency and Refinement for Partial Specification in Z. [Citation Graph (0, 0)][DBLP] FME, 1996, pp:287-306 [Conf]
- John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen
Comparing LOTOS and Z Refinement Relations. [Citation Graph (0, 0)][DBLP] FORTE, 1996, pp:501-516 [Conf]
- Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten
Disjunction of LOTOS Specifications. [Citation Graph (0, 0)][DBLP] FORTE, 1997, pp:177-192 [Conf]
- Wil Janssen, Maarten Steen, Henry Franken
Business Process Engineering versus E-Business Engineering - A summary of case experiences. [Citation Graph (0, 0)][DBLP] HICSS, 2003, pp:185- [Conf]
- Maarten Steen, Howard Bowman, John Derrick
Composition of LOTOS specifications. [Citation Graph (0, 0)][DBLP] PSTV, 1995, pp:87-102 [Conf]
- Wil Janssen, Maarten Steen
Rapid Service Development: An Integral Approach to e-Business Engineering. [Citation Graph (0, 0)][DBLP] Web Engineering, 2001, pp:119-132 [Conf]
- John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen
Weak Refinement in Z. [Citation Graph (0, 0)][DBLP] ZUM, 1997, pp:369-388 [Conf]
- Howard Bowman, John Derrick, Maarten Steen
Viewpoints and Objects. [Citation Graph (0, 0)][DBLP] ZUM, 1995, pp:449-468 [Conf]
- Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen
Viewpoint consistency in ODP. [Citation Graph (0, 0)][DBLP] Computer Networks, 2000, v:34, n:3, pp:503-537 [Journal]
- John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen
Specifying and Refining Internal Operations in Z. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1998, v:10, n:2, pp:125-159 [Journal]
- Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick
A Formal Framework for Viewpoint Consistency. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2002, v:21, n:2, pp:111-166 [Journal]
- Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen
Constructive Consistency Checking for Partial Specification in Z. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1999, v:35, n:1, pp:29-75 [Journal]
- Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen
Strategies for Consistency Checking Based on Unification. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1999, v:33, n:3, pp:261-298 [Journal]
Search in 0.002secs, Finished in 0.002secs
|