MWA Steen
MWA Steen
BiZZdesign
Verifierad e-postadress på bizzdesign.com
Titel
Citeras av
Citeras av
År
COSMO: A conceptual framework for service modelling and refinement
DAC Quartel, MWA Steen, S Pokraev, MJ Van Sinderen
Information Systems Frontiers 9 (2-3), 225-244, 2007
1052007
Supporting viewpoint-oriented enterprise architecture
MWA Steen, DH Akehurst, HWL ter Doest, MM Lankhorst
Proceedings. Eighth IEEE International Enterprise Distributed Object …, 2004
822004
A formal framework for viewpoint consistency
H Bowman, MWA Steen, EA Boiten, J Derrick
Formal Methods in System Design 21 (2), 111-166, 2002
742002
FDTs for ODP
H Bowman, J Derrick, PF Linington, M Steen
Computer Standards and Interfaces 17 (5-6), 457-479, 1995
711995
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
702005
Reusable model transformation patterns
ME Iacob, MWA Steen, L Heerink
2008 12th Enterprise Distributed Object Computing Conference Workshops, 1-10, 2008
692008
Viewpoint consistency in ODP
E Boiten, H Bowman, J Derrick, P Linington, M Steen
Computer Networks 34 (3), 503-537, 2000
672000
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, 1997
611997
Formalising ODP enterprise policies
MWA Steen, J Derrick
Proceedings Third International Enterprise Distributed Object Computing …, 1999
551999
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
532012
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
531999
ODP enterprise viewpoint specification
MWA Steen, J Derrick
Computer Standards & Interfaces 22 (3), 165-189, 2000
512000
Cross-viewpoint consistency in open distributed processing
H Bowman, J Derrick, P Linington, M Steen
Software Engineering Journal 11 (1), 44-57, 1996
491996
Supporting ODP-Translating LOTOS to Z
J Derrick, EA Boiten, H Bowman, MWA Steen
Formal Methods for Open Object-based Distributed Systems, 399-406, 1997
451997
Viewpoint consistency in Z and LOTOS: A case study
E Boiten, H Bowman, J Derrick, M Steen
International Symposium of Formal Methods Europe, 644-664, 1997
441997
Modelling networked enterprises
MWA Steen, MM Lankhorst, RG van de Wetering
Proceedings. Sixth International Enterprise Distributed Object Computing …, 2002
432002
Consistency and refinement for partial specification in Z
E Boiten, J Derrick, H Bowman, M Steen
International Symposium of Formal Methods Europe, 287-306, 1996
411996
Subliminal salience search illustrated: EEG identity and deception detection on the fringe of awareness
H Bowman, M Filetti, D Janssen, L Su, A Alsufyani, B Wyble
PLoS One 8 (1), e54258, 2013
372013
Property-based testing-the protest project
J Derrick, N Walkinshaw, T Arts, CB Earle, F Cesarini, LA Fredlund, ...
International Symposium on Formal Methods for Components and Objects, 250-271, 2009
322009
Composition of LOTOS specifications
MWA Steen, H Bowman, J Derrick
International Conference on Protocol Specification, Testing and Verification …, 1995
321995
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20