COSMO: A conceptual framework for service modelling and refinement DAC Quartel, MWA Steen, S Pokraev, MJ Van Sinderen Information Systems Frontiers 9, 225-244, 2007 | 128 | 2007 |
Supporting viewpoint-oriented enterprise architecture MWA Steen, DH Akehurst, HWL ter Doest, MM Lankhorst Proceedings. Eighth IEEE International Enterprise Distributed Object …, 2004 | 104 | 2004 |
Reusable model transformation patterns ME Iacob, MWA Steen, L Heerink 2008 12th Enterprise Distributed Object Computing Conference Workshops, 1-10, 2008 | 78 | 2008 |
A formal framework for viewpoint consistency H Bowman, MWA Steen, EA Boiten, J Derrick Formal Methods in System Design 21, 111-166, 2002 | 77 | 2002 |
Viewpoint consistency in ODP E Boiten, H Bowman, J Derrick, P Linington, M Steen Computer Networks 34 (3), 503-537, 2000 | 72 | 2000 |
FDTs for ODP H Bowman, J Derrick, PF Linington, M Steen Computer Standards and Interfaces 17 (5-6), 457-479, 1995 | 71 | 1995 |
Application and project portfolio valuation using enterprise architecture and business requirements modelling D Quartel, MWA Steen, MM Lankhorst Enterprise Information Systems 6 (2), 189-213, 2012 | 70 | 2012 |
Service-oriented enterprise architecture MWA Steen, P Strating, MM Lankhorst, HWL ter Doest, ME Iacob Service-oriented software system engineering: challenges and practices, 132-154, 2005 | 69 | 2005 |
Viewpoint consistency in ODP, a general interpretation H Bowman, EA Boiten, J Derrick, MWA Steen Formal methods for open object-based distributed systems, 189-204, 1996 | 64 | 1996 |
ODP enterprise viewpoint specification MWA Steen, J Derrick Computer Standards & Interfaces 22 (3), 165-189, 2000 | 59 | 2000 |
Formalising ODP enterprise policies MWA Steen, J Derrick Proceedings Third International Enterprise Distributed Object Computing …, 1999 | 56 | 1999 |
Constructive consistency checking for partial specification in Z E Boiten, J Derrick, H Bowman, M Steen Science of Computer Programming 35 (1), 29-75, 1999 | 56 | 1999 |
Cross-viewpoint consistency in open distributed processing H Bowman, J Derrick, P Linington, M Steen Software Engineering Journal 11 (1), 44-57, 1996 | 51 | 1996 |
Modelling networked enterprises MWA Steen, MM Lankhorst, RG van de Wetering Proceedings. Sixth International Enterprise Distributed Object Computing …, 2002 | 47 | 2002 |
Viewpoint consistency in Z and LOTOS: A case study E Boiten, H Bowman, J Derrick, M Steen FME'97: Industrial Applications and Strengthened Foundations of Formal …, 1997 | 46 | 1997 |
Supporting ODP-Translating LOTOS to Z J Derrick, EA Boiten, H Bowman, MWA Steen Formal Methods for Open Object-based Distributed Systems, 399-406, 1996 | 46 | 1996 |
Consistency and refinement for partial specification in Z E Boiten, J Derrick, H Bowman, M Steen FME'96: Industrial Benefit and Advances in Formal Methods: Third …, 1996 | 44 | 1996 |
Semantic and Pragmatic Interoperability: A Model for Understanding. S Pokraev, M Reichert, MWA Steen, R Wieringa | 36 | 2005 |
Weak refinement in Z J Derrick, E Boiten, H Bowman, M Steen ZUM'97: The Z Formal Specification Notation: 10th International Conference …, 1997 | 34 | 1997 |
Semantic service modeling: Enabling system interoperability S Pokraev, D Quartel, MWA Steen, M Reichert Enterprise Interoperability: New Challenges and Approaches, 221-230, 2007 | 33 | 2007 |