Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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
R. 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 = {Fri, 24 Mar 2023 00:00:00 +0100},
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 = {Wed, 17 Feb 2021 00:00:00 +0100},
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 = {Wed, 17 Feb 2021 00:00:00 +0100},
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}
}
a service of 
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.
last updated on 2024-04-21 17:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
