default search action
BibTeX records: Maarten W. A. Steen
@incollection{DBLP:books/sp/17/LankhorstTPAHS17, author = {Marc M. Lankhorst and Leon van der Torre and Henderik A. Proper and Farhad Arbab and S. J. B. A. Hoppenbrouwers and Maarten W. A. Steen}, editor = {Marc M. Lankhorst}, title = {Viewpoints and Visualisation}, booktitle = {Enterprise Architecture at Work - Modelling, Communication and Analysis, Fourth Editiontion}, pages = {171--214}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-53933-0\_8}, doi = {10.1007/978-3-662-53933-0\_8}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/17/LankhorstTPAHS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eis/QuartelSL12, author = {Dick A. C. Quartel and Maarten W. A. Steen and Marc M. Lankhorst}, title = {Application and project portfolio valuation using enterprise architecture and business requirements modelling}, journal = {Enterp. Inf. Syst.}, volume = {6}, number = {2}, pages = {189--213}, year = {2012}, url = {https://doi.org/10.1080/17517575.2011.625571}, doi = {10.1080/17517575.2011.625571}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eis/QuartelSL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/12/LankhorstJPS12, author = {Marc M. Lankhorst and Wil P. M. Janssen and Henderik A. Proper and Maarten W. A. Steen}, editor = {Marc M. Lankhorst}, title = {Introducing Agile Service Development}, booktitle = {Agile Service Development}, series = {The Enterprise Engineering Series}, pages = {1--15}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28188-4\_1}, doi = {10.1007/978-3-642-28188-4\_1}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/12/LankhorstJPS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/12/SteenILJZEVPDG12, author = {Maarten W. A. Steen and Maria{-}Eugenia Iacob and Marc M. Lankhorst and Henk Jonkers and Martijn Zoet and Wilco Engelsman and Johan Versendaal and Henderik A. Proper and L. Debije and Khaled Gaaloul}, editor = {Marc M. Lankhorst}, title = {Service Modelling}, booktitle = {Agile Service Development}, series = {The Enterprise Engineering Series}, pages = {59--94}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28188-4\_4}, doi = {10.1007/978-3-642-28188-4\_4}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/12/SteenILJZEVPDG12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/QuartelSL10, author = {Dick A. C. Quartel and Maarten W. A. Steen and Marc M. Lankhorst}, title = {{IT} Portfolio Valuation - Using Enterprise Architecture and Business Requirements Modeling}, booktitle = {Proceedings of the 14th {IEEE} International Enterprise Distributed Object Computing Conference, {EDOC} 2010, Vit{\'{o}}ria, Brazil, 25-29 October 2010}, pages = {3--13}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/EDOC.2010.24}, doi = {10.1109/EDOC.2010.24}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edoc/QuartelSL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pret/LankhorstQS10, author = {Marc M. Lankhorst and Dick A. C. Quartel and Maarten W. A. Steen}, editor = {Frank Harmsen and Erik Proper and Frank Schalkwijk and Joseph Barjis and Sietse Overbeek}, title = {Architecture-Based {IT} Portfolio Valuation}, booktitle = {Practice-Driven Research on Enterprise Transformation - Second Working Conference, {PRET} 2010, Delft, The Netherlands, November 11, 2010. Proceedings}, series = {Lecture Notes in Business Information Processing}, volume = {69}, pages = {78--106}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16770-6\_4}, doi = {10.1007/978-3-642-16770-6\_4}, timestamp = {Wed, 16 Jan 2019 12:58:17 +0100}, biburl = {https://dblp.org/rec/conf/pret/LankhorstQS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eis/QuartelPDPSS09, author = {Dick A. C. Quartel and Stanislav Pokraev and Teduh Dirgahayu and Rodrigo Mantovaneli Pessoa and Maarten W. A. Steen and Marten van Sinderen}, title = {Model-driven development of mediation for business services using {COSMO}}, journal = {Enterp. Inf. Syst.}, volume = {3}, number = {3}, pages = {319--345}, year = {2009}, url = {https://doi.org/10.1080/17517570903045591}, doi = {10.1080/17517570903045591}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eis/QuartelPDPSS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/IacobSH08, author = {Maria{-}Eugenia Iacob and Maarten W. A. Steen and Lex Heerink}, editor = {Marten van Sinderen and Jo{\~{a}}o Paulo A. Almeida and Lu{\'{\i}}s Ferreira Pires and Maarten Steen}, title = {Reusable Model Transformation Patterns}, booktitle = {Workshops Proceedings of the 12th International {IEEE} Enterprise Distributed Object Computing Conference, {ECOCW} 2008, 16 September 2008, Munich, Germany}, pages = {1--10}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/EDOCW.2008.51}, doi = {10.1109/EDOCW.2008.51}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edoc/IacobSH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/edoc/2008w, editor = {Marten van Sinderen and Jo{\~{a}}o Paulo A. Almeida and Lu{\'{\i}}s Ferreira Pires and Maarten Steen}, title = {Workshops Proceedings of the 12th International {IEEE} Enterprise Distributed Object Computing Conference, {ECOCW} 2008, 16 September 2008, Munich, Germany}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://ieeexplore.ieee.org/xpl/conhome/4814991/proceeding}, isbn = {978-0-7695-3720-7}, timestamp = {Wed, 16 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/edoc/2008w.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijbpim/IacobJLS07, author = {Maria{-}Eugenia Iacob and Henk Jonkers and Marc M. Lankhorst and Maarten W. A. Steen}, title = {Service-oriented enterprise modelling and analysis: a case study}, journal = {Int. J. Bus. Process. Integr. Manag.}, volume = {2}, number = {1}, pages = {26--37}, year = {2007}, url = {https://doi.org/10.1504/IJBPIM.2007.014102}, doi = {10.1504/IJBPIM.2007.014102}, timestamp = {Sun, 17 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijbpim/IacobJLS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isf/QuartelSPS07, author = {Dick A. C. Quartel and Maarten W. A. Steen and Stanislav Pokraev and Marten van Sinderen}, title = {{COSMO:} {A} conceptual framework for service modelling and refinement}, journal = {Inf. Syst. Frontiers}, volume = {9}, number = {2-3}, pages = {225--244}, year = {2007}, url = {https://doi.org/10.1007/s10796-007-9034-7}, doi = {10.1007/S10796-007-9034-7}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/isf/QuartelSPS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iesa/PokraevQSWR07, author = {Stanislav Pokraev and Dick A. C. Quartel and Maarten W. A. Steen and Andreas Wombacher and Manfred Reichert}, editor = {Ricardo Jardim{-}Gon{\c{c}}alves and J{\"{o}}rg P. M{\"{u}}ller and Kai Mertins and Martin Zelm}, title = {Business Level Service-Oriented Enterprise Application Integration}, booktitle = {Enterprise Interoperability {II} - New Challenges and Industrial Approaches, Proceedings of the 3th International Conference on Interoperability for Enterprise Software and Applications, {IESA} 2007, March 27-30, 2007, Funchal, Madeira Island, Portugal}, pages = {507--518}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-1-84628-858-6\_55}, doi = {10.1007/978-1-84628-858-6\_55}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iesa/PokraevQSWR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/QuartelSPS06, author = {Dick A. C. Quartel and Maarten W. A. Steen and Stanislav Pokraev and Marten van Sinderen}, title = {A conceptual framework for service modelling}, booktitle = {Tenth {IEEE} International Enterprise Distributed Object Computing Conference {(EDOC} 2006), 16-20 October 2006, Hong Kong, China}, pages = {319--330}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/EDOC.2006.5}, doi = {10.1109/EDOC.2006.5}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edoc/QuartelSPS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsoc/PokraevQSR06, author = {Stanislav Pokraev and Dick A. C. Quartel and Maarten W. A. Steen and Manfred Reichert}, editor = {Asit Dan and Winfried Lamersdorf}, title = {Requirements and Method for Assessment of Service Interoperability}, booktitle = {Service-Oriented Computing - {ICSOC} 2006, 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4294}, pages = {1--14}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11948148\_1}, doi = {10.1007/11948148\_1}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/icsoc/PokraevQSR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/PokraevQSR06, author = {Stanislav Pokraev and Dick A. C. Quartel and Maarten W. A. Steen and Manfred Reichert}, title = {A Method for Formal Verification of Service Interoperability}, booktitle = {2006 {IEEE} International Conference on Web Services {(ICWS} 2006), 18-22 September 2006, Chicago, Illinois, {USA}}, pages = {895--900}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/ICWS.2006.9}, doi = {10.1109/ICWS.2006.9}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icws/PokraevQSR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iesa/PokraevQSR06, author = {Stanislav Pokraev and Dick A. C. Quartel and Maarten W. A. Steen and Manfred Reichert}, editor = {Guy Doumeingts and J{\"{o}}rg P. M{\"{u}}ller and G{\'{e}}rard Morel and Bruno Vallespir}, title = {Semantic Service Modeling: Enabling System Interoperability}, booktitle = {Enterprise Interoperability, New Challenges and Approaches, Proceedings of the 2nd International Conference on Interoperability for Enterprise Software and Applications, {I-ESA} 2006, March 22-24, 2006, Bordeaux, France}, pages = {221--230}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-1-84628-714-5\_21}, doi = {10.1007/978-1-84628-714-5\_21}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iesa/PokraevQSR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caise/PokraevRSW05, author = {Stanislav Pokraev and Manfred Reichert and Maarten W. A. Steen and Roel J. Wieringa}, editor = {Michele Missikoff and Antonio De Nicola}, title = {Semantic and Pragmatic Interoperability: {A} Model for Understanding}, booktitle = {{EMOI} - INTEROP'05, Enterprise Modelling and Ontologies for Interoperability, Proceedings of the Open Interop Workshop on Enterprise Modelling and Ontologies for Interoperability, Co-located with CAiSE'05 Conference, Porto (Portugal), 13th-14th June 2005}, series = {{CEUR} Workshop Proceedings}, volume = {160}, publisher = {CEUR-WS.org}, year = {2005}, url = {https://ceur-ws.org/Vol-160/paper21.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:35 +0100}, biburl = {https://dblp.org/rec/conf/caise/PokraevRSW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caise/PokraevWS04, author = {Stanislav Pokraev and Roel J. Wieringa and Maarten W. A. Steen}, editor = {Janis Grundspenkis and Marite Kirikova}, title = {Towards Semantic Service Specification and Discovery}, booktitle = {CAiSE'04 Workshops in connection with The 16th Conference on Advanced Information Systems Engineering, Riga, Latvia, 7-11 June, 2004, Knowledge and Model Driven Information Systems Engineering for Networked Organisations, Proceedings, Vol. 3}, pages = {363--367}, publisher = {Faculty of Computer Science and Information Technology, Riga Technical University, Riga, Latvia}, year = {2004}, timestamp = {Thu, 14 Mar 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/caise/PokraevWS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/SteenADL04, author = {Maarten W. A. Steen and David H. Akehurst and Hugo W. L. ter Doest and Marc M. Lankhorst}, title = {Supporting Viewpoint-Oriented Enterprise Architecture}, booktitle = {8th International Enterprise Distributed Object Computing Conference {(EDOC} 2004), 20-24 September 2004, Monterey, California, USA, Proceedings}, pages = {201--211}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.ieeecomputersociety.org/10.1109/EDOC.2004.10008}, doi = {10.1109/EDOC.2004.10008}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edoc/SteenADL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicss/JanssenSF03, author = {Wil Janssen and Maarten Steen and Henry M. Franken}, title = {Business Process Engineering versus E-Business Engineering - {A} summary of case experiences}, booktitle = {36th Hawaii International Conference on System Sciences {(HICSS-36} 2003), {CD-ROM} / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, {USA}}, pages = {185}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/HICSS.2003.1174422}, doi = {10.1109/HICSS.2003.1174422}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hicss/JanssenSF03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/BowmanSBD02, author = {Howard Bowman and Maarten Steen and Eerke A. Boiten and John Derrick}, title = {A Formal Framework for Viewpoint Consistency}, journal = {Formal Methods Syst. Des.}, volume = {21}, number = {2}, pages = {111--166}, year = {2002}, url = {https://doi.org/10.1023/A:1016000201864}, doi = {10.1023/A:1016000201864}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/BowmanSBD02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/SteenLW02, author = {Maarten W. A. Steen and Marc M. Lankhorst and Rob G. van de Wetering}, title = {Modelling Networked Enterprises}, booktitle = {6th International Enterprise Distributed Object Computing Conference {(EDOC} 2002), 17-20 September 2002, Lausanne, Switzerland, Proceedings}, pages = {109--119}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/EDOC.2002.1137701}, doi = {10.1109/EDOC.2002.1137701}, timestamp = {Tue, 04 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/edoc/SteenLW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/webeng/JanssenS01, author = {Wil Janssen and Maarten Steen}, editor = {San Murugesan and Yogesh Deshpande}, title = {Rapid Service Development: An Integral Approach to e-Business Engineering}, booktitle = {Web Engineering, Software Engineering and Web Application Development}, series = {Lecture Notes in Computer Science}, volume = {2016}, pages = {119--132}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45144-7\_12}, doi = {10.1007/3-540-45144-7\_12}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/webeng/JanssenS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cn/BoitenBDLS00, author = {Eerke A. Boiten and Howard Bowman and John Derrick and Peter F. Linington and Maarten Steen}, title = {Viewpoint consistency in {ODP}}, journal = {Comput. Networks}, volume = {34}, number = {3}, pages = {503--537}, year = {2000}, url = {https://doi.org/10.1016/S1389-1286(00)00114-6}, doi = {10.1016/S1389-1286(00)00114-6}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cn/BoitenBDLS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BowmanBDS99, author = {Howard Bowman and Eerke A. Boiten and John Derrick and Maarten Steen}, title = {Strategies for Consistency Checking Based on Unification}, journal = {Sci. Comput. Program.}, volume = {33}, number = {3}, pages = {261--298}, year = {1999}, url = {https://doi.org/10.1016/S0167-6423(98)00017-3}, doi = {10.1016/S0167-6423(98)00017-3}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/BowmanBDS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BoitenDBS99, author = {Eerke A. Boiten and John Derrick and Howard Bowman and Maarten Steen}, title = {Constructive Consistency Checking for Partial Specification in {Z}}, journal = {Sci. Comput. Program.}, volume = {35}, number = {1}, pages = {29--75}, year = {1999}, url = {https://doi.org/10.1016/S0167-6423(99)00006-4}, doi = {10.1016/S0167-6423(99)00006-4}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/BoitenDBS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/SteenD99, author = {Maarten W. A. Steen and John Derrick}, title = {Formalising {ODP} enterprise policies}, booktitle = {Third International Enterprise Distributed Object Computing Conference, {EDOC} 1999, Mannheim, Germany, September 27-30, 1999, Proceedings}, pages = {84--93}, publisher = {{IEEE}}, year = {1999}, url = {https://doi.org/10.1109/EDOC.1999.792052}, doi = {10.1109/EDOC.1999.792052}, timestamp = {Wed, 16 Oct 2019 14:14:56 +0200}, biburl = {https://dblp.org/rec/conf/edoc/SteenD99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/ethos/Steen98, author = {Maarten Steen}, title = {Consistency and composition of process specifications}, school = {University of Kent, {UK}}, year = {1998}, url = {http://kar.kent.ac.uk/21655/}, timestamp = {Tue, 05 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/ethos/Steen98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/DerrickBBS98, author = {John Derrick and Eerke A. Boiten and Howard Bowman and Maarten Steen}, title = {Specifying and Refining Internal Operations in {Z}}, journal = {Formal Aspects Comput.}, volume = {10}, number = {2}, pages = {125--159}, year = {1998}, url = {https://doi.org/10.1007/s001650050007}, doi = {10.1007/S001650050007}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/DerrickBBS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/SteenDBB98, author = {Maarten Steen and John Derrick and Eerke A. Boiten and Howard Bowman}, editor = {Armando Martin Haeberer}, title = {Consistency of Partial Process Specifications}, booktitle = {Algebraic Methodology and Software Technology, 7th International Conference, {AMAST} '98, Amazonia, Brasil, January 4-8, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1548}, pages = {248--262}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-49253-4\_19}, doi = {10.1007/3-540-49253-4\_19}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/amast/SteenDBB98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/BoitenBDS97, author = {Eerke A. Boiten and Howard Bowman and John Derrick and Maarten Steen}, editor = {John S. Fitzgerald and Cliff B. Jones and Peter Lucas}, title = {Viewpoint Consistency in {Z} and {LOTOS:} {A} Case Study}, booktitle = {{FME} '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1313}, pages = {644--664}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63533-5\_34}, doi = {10.1007/3-540-63533-5\_34}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fm/BoitenBDS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/SteenBDB97, author = {Maarten Steen and Howard Bowman and John Derrick and Eerke A. Boiten}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {Disjunction of {LOTOS} Specifications}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {177--192}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 15:40:21 +0100}, biburl = {https://dblp.org/rec/conf/forte/SteenBDB97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/DerrickBBS97, author = {John Derrick and Eerke A. Boiten and Howard Bowman and Maarten Steen}, editor = {Jonathan P. Bowen and Michael G. Hinchey and David Till}, title = {Weak Refinement in {Z}}, booktitle = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1212}, pages = {369--388}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0027298}, doi = {10.1007/BFB0027298}, timestamp = {Thu, 14 Oct 2021 10:43:56 +0200}, biburl = {https://dblp.org/rec/conf/zum/DerrickBBS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iee/BowmanDLS96, author = {Howard Bowman and John Derrick and Peter W. A. Linington and Maarten W. A. Steen}, title = {Cross-viewpoint consistency in open distributed processing}, journal = {Softw. Eng. J.}, volume = {11}, number = {1}, pages = {44--57}, year = {1996}, url = {https://doi.org/10.1049/sej.1996.0005}, doi = {10.1049/SEJ.1996.0005}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iee/BowmanDLS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/BoitenDBS96, author = {Eerke A. Boiten and John Derrick and Howard Bowman and Maarten Steen}, editor = {Marie{-}Claude Gaudel and Jim Woodcock}, title = {Consistency and Refinement for Partial Specification in {Z}}, booktitle = {{FME} '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by {IFIP} {WG} 14.3, Oxford, UK, March 18-22, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1051}, pages = {287--306}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-60973-3\_93}, doi = {10.1007/3-540-60973-3\_93}, timestamp = {Fri, 17 Feb 2023 09:02:00 +0100}, biburl = {https://dblp.org/rec/conf/fm/BoitenDBS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/DerrickBBS96, author = {John Derrick and Howard Bowman and Eerke A. Boiten and Maarten Steen}, editor = {Reinhard Gotzhein and Jan Bredereke}, title = {Comparing {LOTOS} and {Z} Refinement Relations}, booktitle = {Formal Description Techniques {IX:} Theory, application and tools, {IFIP} {TC6} {WG6.1} International Conference on Formal Description Techniques {IX} / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996}, series = {{IFIP} Conference Proceedings}, volume = {69}, pages = {501--516}, publisher = {Chapman {\&} Hall}, year = {1996}, timestamp = {Fri, 29 Oct 2004 12:58:31 +0200}, biburl = {https://dblp.org/rec/conf/forte/DerrickBBS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/BoitenBDS96, author = {Eerke A. Boiten and Howard Bowman and John Derrick and Maarten Steen}, editor = {Alexander L. Wolf and Anthony Finkelstein and George Spanoudakis and Laura Vidal}, title = {Issues in multiparadigm viewpoint specification}, booktitle = {Joint Proceedings of the Second International Software Architecture Workshop {(ISAW-2)} and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on {SIGSOFT} '96 workshops, {ISAW} '96, San Francisco, California, {USA}}, pages = {162--166}, publisher = {{ACM}}, year = {1996}, url = {https://doi.org/10.1145/243327.243639}, doi = {10.1145/243327.243639}, timestamp = {Fri, 11 Feb 2022 12:39:52 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/BoitenBDS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pstv/SteenBD95, author = {Maarten Steen and Howard Bowman and John Derrick}, editor = {Piotr Dembinski and Marek Sredniawa}, title = {Composition of {LOTOS} specifications}, booktitle = {Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth {IFIP} {WG6.1} International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995}, series = {{IFIP} Conference Proceedings}, volume = {38}, pages = {87--102}, publisher = {Chapman {\&} Hall}, year = {1995}, timestamp = {Thu, 03 Jan 2002 12:07:46 +0100}, biburl = {https://dblp.org/rec/conf/pstv/SteenBD95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/BowmanDS95, author = {Howard Bowman and John Derrick and Maarten Steen}, editor = {Jonathan P. Bowen and Michael G. Hinchey}, title = {Viewpoints and Objects}, booktitle = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {967}, pages = {449--468}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60271-2\_136}, doi = {10.1007/3-540-60271-2\_136}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/zum/BowmanDS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.