Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jean-Claude Royer
@inproceedings{DBLP:conf/aina/BerrouyneAMRT20,
author = {Imad Berrouyne and
Mehdi Adda and
Jean{-}Marie Mottu and
Jean{-}Claude Royer and
Massimo Tisi},
editor = {Leonard Barolli and
Flora Amato and
Francesco Moscato and
Tomoya Enokido and
Makoto Takizawa},
title = {A Model-Driven Approach to Unravel the Interoperability Problem of
the Internet of Things},
booktitle = {Advanced Information Networking and Applications - Proceedings of
the 34th International Conference on Advanced Information Networking
and Applications, AINA-2020, Caserta, Italy, 15-17 April},
series = {Advances in Intelligent Systems and Computing},
volume = {1151},
pages = {1162--1175},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-44041-1\_100},
doi = {10.1007/978-3-030-44041-1\_100},
timestamp = {Thu, 04 Apr 2024 17:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aina/BerrouyneAMRT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BerrouyneAMRT19,
author = {Imad Berrouyne and
Mehdi Adda and
Jean{-}Marie Mottu and
Jean{-}Claude Royer and
Massimo Tisi},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {CyprIoT: framework for modelling and controlling network-based IoT
applications},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {832--841},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3297362},
doi = {10.1145/3297280.3297362},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/BerrouyneAMRT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sec/ChengRT19,
author = {Zheng Cheng and
Jean{-}Claude Royer and
Massimo Tisi},
editor = {Gurpreet Dhillon and
Fredrik Karlsson and
Karin Hedstr{\"{o}}m and
Andr{\'{e}} Z{\'{u}}quete},
title = {Removing Problems in Rule-Based Policies},
booktitle = {{ICT} Systems Security and Privacy Protection - 34th {IFIP} {TC} 11
International Conference, {SEC} 2019, Lisbon, Portugal, June 25-27,
2019, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {562},
pages = {120--133},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22312-0\_9},
doi = {10.1007/978-3-030-22312-0\_9},
timestamp = {Thu, 23 Apr 2020 08:52:39 +0200},
biburl = {https://dblp.org/rec/conf/sec/ChengRT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ChengRT18,
author = {Zheng Cheng and
Jean{-}Claude Royer and
Massimo Tisi},
editor = {Carlo A. Furia and
Kirsten Winter},
title = {Efficiently Characterizing the Undefined Requests of a Rule-Based
System},
booktitle = {Integrated Formal Methods - 14th International Conference, {IFM} 2018,
Maynooth, Ireland, September 5-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11023},
pages = {69--88},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98938-9\_5},
doi = {10.1007/978-3-319-98938-9\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/ChengRT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/BerrouyneAMRT18,
author = {Imad Berrouyne and
Mehdi Adda and
Jean{-}Marie Mottu and
Jean{-}Claude Royer and
Massimo Tisi},
editor = {Manuel Mazzara and
Iulian Ober and
Gwen Sala{\"{u}}n},
title = {Towards Model-Based Communication Control for the Internet of Things},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2018
Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11176},
pages = {644--655},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-04771-9\_49},
doi = {10.1007/978-3-030-04771-9\_49},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/staf/BerrouyneAMRT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/BenghabritRO17,
author = {Walid Benghabrit and
Jean{-}Claude Royer and
Anderson Santana de Oliveira},
editor = {Matteo Baldoni and
Cristina Baroglio and
Roberto Micalizio},
title = {Towards the Specification of Natural Language Accountability Policies
with AccLab: The Laptop Policy Use Case},
booktitle = {Proceedings of the First Workshop on Computational Accountability
and Responsibility in Multiagent Systems co-located with 20th International
Conference on Principles and Practice of Multi-Agent Systems, CARe-MAS@PRIMA
2017, Nice, France, October 31st, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {2051},
pages = {35--42},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2051/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:22 +0100},
biburl = {https://dblp.org/rec/conf/prima/BenghabritRO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cans/RoyerO16,
author = {Jean{-}Claude Royer and
Anderson Santana de Oliveira},
editor = {Sara Foresti and
Giuseppe Persiano},
title = {{AAL} and Static Conflict Detection in Policy},
booktitle = {Cryptology and Network Security - 15th International Conference, {CANS}
2016, Milan, Italy, November 14-16, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10052},
pages = {367--382},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48965-0\_22},
doi = {10.1007/978-3-319-48965-0\_22},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/cans/RoyerO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/BenghabritGRS15,
author = {Walid Benghabrit and
Herv{\'{e}} Grall and
Jean{-}Claude Royer and
Mohamed Sellami},
editor = {Jing Sun and
Y. Raghu Reddy and
Arun Bahulkar and
Anjaneyulu Pasala},
title = {Abstract Accountability Language: Translation, Compliance and Application},
booktitle = {2015 Asia-Pacific Software Engineering Conference, {APSEC} 2015, New
Delhi, India, December 1-4, 2015},
pages = {214--221},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/APSEC.2015.14},
doi = {10.1109/APSEC.2015.14},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/BenghabritGRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/BenghabritGRS15,
author = {Walid Benghabrit and
Herv{\'{e}} Grall and
Jean{-}Claude Royer and
Mohamed Sellami},
editor = {Sheikh Iqbal Ahamed and
Carl K. Chang and
William C. Chu and
Ivica Crnkovic and
Pao{-}Ann Hsiung and
Gang Huang and
Jingwei Yang},
title = {Checking Accountability with a Prover},
booktitle = {39th {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2015, Taichung, Taiwan, July 1-5, 2015. Volume 2},
pages = {83--88},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/COMPSAC.2015.8},
doi = {10.1109/COMPSAC.2015.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/BenghabritGRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/closer/BenghabritGRSAE14,
author = {Walid Benghabrit and
Herv{\'{e}} Grall and
Jean{-}Claude Royer and
Mohamed Sellami and
Monir Azraoui and
Kaoutar Elkhiyaoui and
Melek {\"{O}}nen and
Anderson Santana de Oliveira and
Karin Bernsmed},
editor = {Markus Helfert and
Fr{\'{e}}d{\'{e}}ric Desprez and
Donald Ferguson and
Frank Leymann and
V{\'{\i}}ctor M{\'{e}}ndez Mu{\~{n}}oz},
title = {From Regulatory Obligations to Enforceable Accountability Policies
in the Cloud},
booktitle = {Cloud Computing and Services Sciences - International Conference in
Cloud Computing and Services Sciences, {CLOSER} 2014, Barcelona Spain,
April 3-5, 2014, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {512},
pages = {134--150},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-25414-2\_9},
doi = {10.1007/978-3-319-25414-2\_9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/closer/BenghabritGRSAE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/closer/BenghabritGRSAEOOB14,
author = {Walid Benghabrit and
Herv{\'{e}} Grall and
Jean{-}Claude Royer and
Mohamed Sellami and
Monir Azraoui and
Kaoutar Elkhiyaoui and
Melek {\"{O}}nen and
Anderson Santana de Oliveira and
Karin Bernsmed},
editor = {Markus Helfert and
Fr{\'{e}}d{\'{e}}ric Desprez and
Donald Ferguson and
Frank Leymann and
V{\'{\i}}ctor M{\'{e}}ndez Mu{\~{n}}oz},
title = {A Cloud Accountability Policy Representation Framework},
booktitle = {{CLOSER} 2014 - Proceedings of the 4th International Conference on
Cloud Computing and Services Science, Barcelona, Spain, April 3-5,
2014},
pages = {489--498},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004949104890498},
doi = {10.5220/0004949104890498},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/closer/BenghabritGRSAEOOB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/BenghabritGRS14,
author = {Walid Benghabrit and
Herv{\'{e}} Grall and
Jean{-}Claude Royer and
Mohamed Sellami},
title = {Accountability for Abstract Component Design},
booktitle = {40th {EUROMICRO} Conference on Software Engineering and Advanced Applications,
{EUROMICRO-SEAA} 2014, Verona, Italy, August 27-29, 2014},
pages = {213--220},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SEAA.2014.68},
doi = {10.1109/SEAA.2014.68},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/BenghabritGRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifiptm/BenghabritGRSBO14,
author = {Walid Benghabrit and
Herv{\'{e}} Grall and
Jean{-}Claude Royer and
Mohamed Sellami and
Karin Bernsmed and
Anderson Santana de Oliveira},
editor = {Jianying Zhou and
Nurit Gal{-}Oz and
Jie Zhang and
Ehud Gudes},
title = {Abstract Accountability Language},
booktitle = {Trust Management {VIII} - 8th {IFIP} {WG} 11.11 International Conference,
{IFIPTM} 2014, Singapore, July 7-10, 2014. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {430},
pages = {229--236},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43813-8\_17},
doi = {10.1007/978-3-662-43813-8\_17},
timestamp = {Thu, 23 Sep 2021 11:47:43 +0200},
biburl = {https://dblp.org/rec/conf/ifiptm/BenghabritGRSBO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/SellamiRO14,
author = {Mohamed Sellami and
Jean{-}Claude Royer and
Anderson Santana de Oliveira},
editor = {Sumitra Reddy},
title = {Track Report of Privacy and Accountability for Software and Cloud
Services {(PASCS} 2014)},
booktitle = {2014 {IEEE} 23rd International {WETICE} Conference, {WETICE} 2014,
Parma, Italy, 23-25 June, 2014},
pages = {332},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/WETICE.2014.101},
doi = {10.1109/WETICE.2014.101},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wetice/SellamiRO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/CherrueauDRSORD13,
author = {Ronan{-}Alexandre Cherrueau and
R{\'{e}}mi Douence and
Jean{-}Claude Royer and
Mario S{\"{u}}dholt and
Anderson Santana de Oliveira and
Yves Roudier and
Matteo Dell'Amico},
editor = {Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
Georgios V. Lioudakis and
Nora Cuppens{-}Boulahia and
Simon N. Foley and
William M. Fitzgerald},
title = {Reference Monitors for Security and Interoperability in OAuth 2.0},
booktitle = {Data Privacy Management and Autonomous Spontaneous Security - 8th
International Workshop, {DPM} 2013, and 6th International Workshop,
{SETOP} 2013, Egham, UK, September 12-13, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8247},
pages = {235--249},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54568-9\_15},
doi = {10.1007/978-3-642-54568-9\_15},
timestamp = {Sun, 25 Oct 2020 22:34:56 +0100},
biburl = {https://dblp.org/rec/conf/esorics/CherrueauDRSORD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/AjouliCR13,
author = {Akram Ajouli and
Julien Cohen and
Jean{-}Claude Royer},
editor = {Onur Demir{\"{o}}rs and
Oktay T{\"{u}}retken},
title = {Transformations between Composite and Visitor Implementations in Java},
booktitle = {39th Euromicro Conference on Software Engineering and Advanced Applications,
{SEAA} 2013, Santander, Spain, September 4-6, 2013},
pages = {25--32},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SEAA.2013.53},
doi = {10.1109/SEAA.2013.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/AjouliCR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iiwas/AllamGR13,
author = {Diana Allam and
Herv{\'{e}} Grall and
Jean{-}Claude Royer},
editor = {Edgar R. Weippl and
Maria Indrawan{-}Santiago and
Matthias Steinbauer and
Gabriele Kotsis and
Ismail Khalil},
title = {The Substitution Principle in an Object-Oriented Framework for Web
Services: From Failure to Success},
booktitle = {The 15th International Conference on Information Integration and Web-based
Applications {\&} Services, {IIWAS} '13, Vienna, Austria, December
2-4, 2013},
pages = {250},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2539150.2539192},
doi = {10.1145/2539150.2539192},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iiwas/AllamGR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webist/AllamGR13,
author = {Diana Allam and
Herv{\'{e}} Grall and
Jean{-}Claude Royer},
editor = {Karl{-}Heinz Krempels and
Alexander Stocker},
title = {From Object-oriented Programming to Service-oriented Computing - How
to Improve Interoperability by Preserving Subtyping},
booktitle = {{WEBIST} 2013 - Proceedings of the 9th International Conference on
Web Information Systems and Technologies, Aachen, Germany, 8-10 May,
2013},
pages = {169--173},
publisher = {SciTePress},
year = {2013},
timestamp = {Wed, 02 Oct 2013 15:28:41 +0200},
biburl = {https://dblp.org/rec/conf/webist/AllamGR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AjouliCR13,
author = {Akram Ajouli and
Julien Cohen and
Jean{-}Claude Royer},
title = {Transformations between Composite and Visitor implementations in Java},
journal = {CoRR},
volume = {abs/1309.3235},
year = {2013},
url = {http://arxiv.org/abs/1309.3235},
eprinttype = {arXiv},
eprint = {1309.3235},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AjouliCR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webist/AllamDGRS12,
author = {Diana Allam and
R{\'{e}}mi Douence and
Herv{\'{e}} Grall and
Jean{-}Claude Royer and
Mario S{\"{u}}dholt},
editor = {Karl{-}Heinz Krempels and
Jos{\'{e}} Cordeiro},
title = {A Message-passing Model for Service Oriented Computing},
booktitle = {{WEBIST} 2012 - Proceedings of the 8th International Conference on
Web Information Systems and Technologies, Porto, Portugal, 18 - 21
April, 2012},
pages = {136--142},
publisher = {SciTePress},
year = {2012},
timestamp = {Fri, 25 May 2012 12:31:27 +0200},
biburl = {https://dblp.org/rec/conf/webist/AllamDGRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indiaSE/ArboledaR11,
author = {Hugo Arboleda and
Jean{-}Claude Royer},
editor = {Arun Bahulkar and
K. Kesavasamy and
T. V. Prabhakar and
Gautam Shroff},
title = {Component types qualification in Java legacy code driven by communication
integrity rules},
booktitle = {Proceeding of the 4th Annual India Software Engineering Conference,
{ISEC} 2011, Thiruvananthapuram, Kerala, India, February 24-27, 2011},
pages = {155--164},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1953355.1953377},
doi = {10.1145/1953355.1953377},
timestamp = {Thu, 10 Dec 2020 11:39:56 +0100},
biburl = {https://dblp.org/rec/conf/indiaSE/ArboledaR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AnquetilKMMRRS10,
author = {Nicolas Anquetil and
Uir{\'{a}} Kulesza and
Ralf Mitschke and
Ana Moreira and
Jean{-}Claude Royer and
Andreas Rummler and
Andr{\'{e}} Sousa},
title = {A model-driven traceability framework for software product lines},
journal = {Softw. Syst. Model.},
volume = {9},
number = {4},
pages = {427--451},
year = {2010},
url = {https://doi.org/10.1007/s10270-009-0120-9},
doi = {10.1007/S10270-009-0120-9},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/AnquetilKMMRRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/ArboledaDVR10,
author = {Hugo Arboleda and
Juan Francisco D{\'{\i}}az and
Victor Vargas and
Jean{-}Claude Royer},
editor = {Goetz Botterweck and
Stan Jarzabek and
Tomoji Kishi and
Jaejoon Lee and
Steve Livengood},
title = {Automated Reasoning for Derivation of Model-Driven SPLs},
booktitle = {Software Product Lines - 14th International Conference, {SPLC} 2010,
Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings
(Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations
and Tools)},
pages = {181--188},
publisher = {Lancaster University},
year = {2010},
url = {http://splc2010.postech.ac.kr/SPLC2010\_second\_volume.pdf},
timestamp = {Wed, 30 Mar 2016 18:10:17 +0200},
biburl = {https://dblp.org/rec/conf/splc/ArboledaDVR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cibse/ArboledaRCR09,
author = {Hugo Arboleda and
Andr{\'{e}}s Romero and
Rubby Casallas and
Jean{-}Claude Royer},
editor = {Antonio Brogi and
Jo{\~{a}}o Ara{\'{u}}jo and
Raquel Anaya},
title = {Product Derivation in a Model-Driven Software Product Line using Decision
Models},
booktitle = {Memorias de la {XII} Conferencia Iberoamericana de Software Engineering
(CIbSE 2009), Medell{\'{\i}}n, Colombia, Abril 13-17, 2009},
pages = {59--72},
year = {2009},
timestamp = {Fri, 07 Dec 2012 16:45:52 +0100},
biburl = {https://dblp.org/rec/conf/cibse/ArboledaRCR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indiaSE/FernandesPR09,
author = {Fabr{\'{\i}}cio de Alexandria Fernandes and
Robin Passama and
Jean{-}Claude Royer},
editor = {Kiran Deshpande and
Pankaj Jalote and
Sriram K. Rajamani},
title = {Event strictness for components with complex bindings},
booktitle = {Proceeding of the 2nd Annual India Software Engineering Conference,
{ISEC} 2009, Pune, India, February 23-26, 2009},
pages = {47--56},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1506216.1506225},
doi = {10.1145/1506216.1506225},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/indiaSE/FernandesPR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/ArboledaCR09,
author = {Hugo Arboleda and
Rubby Casallas and
Jean{-}Claude Royer},
editor = {Dirk Muthig and
John D. McGregor},
title = {Dealing with fine-grained configurations in model-driven SPLs},
booktitle = {Software Product Lines, 13th International Conference, {SPLC} 2009,
San Francisco, California, USA, August 24-28, 2009, Proceedings},
series = {{ACM} International Conference Proceeding Series},
volume = {446},
pages = {1--10},
publisher = {{ACM}},
year = {2009},
url = {https://dl.acm.org/citation.cfm?id=1753237},
timestamp = {Wed, 28 Nov 2018 12:57:14 +0100},
biburl = {https://dblp.org/rec/conf/splc/ArboledaCR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/AnquetilRAAHPPP99a,
author = {Nicolas Anquetil and
Jean{-}Claude Royer and
Pascal Andr{\'{e}} and
Gilles Ardourel and
Petr Hnetynka and
Tom{\'{a}}s Poch and
Dragos Petrascu and
Vladiela Petrascu},
editor = {Andy Zaidman and
Giuliano Antoniol and
St{\'{e}}phane Ducasse},
title = {JavaCompExt: Extracting Architectural Elements from Java Source Code},
booktitle = {16th Working Conference on Reverse Engineering, {WCRE} 2009, 13-16
October 2009, Lille, France},
pages = {317--318},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/WCRE.2009.53},
doi = {10.1109/WCRE.2009.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/AnquetilRAAHPPP99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/Lobjet/AnquetilAFNR08,
author = {Nicolas Anquetil and
Hugo Arboleda and
F. de Alexandria Fernandes and
Angel N{\'{u}}{\~{n}}ez and
Jean{-}Claude Royer},
title = {Lignes de produits logiciels et usines logicielles},
journal = {Obj. Logiciel Base donn{\'{e}}es R{\'{e}}seaux},
volume = {14},
number = {3},
pages = {15--31},
year = {2008},
url = {https://doi.org/10.3166/obj.14.3.15-31},
doi = {10.3166/OBJ.14.3.15-31},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/Lobjet/AnquetilAFNR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wotug/FernandesPR07,
author = {Fabr{\'{\i}}cio de Alexandria Fernandes and
Robin Passama and
Jean{-}Claude Royer},
editor = {Alistair A. McEwan and
Steve A. Schneider and
Wilson Ifill and
Peter H. Welch},
title = {Components with Symbolic Transition Systems: {A} Java Implementation
of Rendezvous},
booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007,
organised under the auspices of WoTUG and the University of Surrey,
Guildford, Surrey, UK, 8-11 July 2007},
series = {Concurrent Systems Engineering Series},
volume = {65},
pages = {89--107},
publisher = {{IOS} Press},
year = {2007},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5968},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wotug/FernandesPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FernandesR08,
author = {Fabr{\'{\i}}cio de Alexandria Fernandes and
Jean{-}Claude Royer},
editor = {Markus Lumpe and
Eric Madelaine},
title = {The STSLib Project: Towards a Formal Component Model Based on {STS}},
booktitle = {Proceedings of the 4th International Workshop on Formal Aspects of
Component Software, {FACS} 2007, Sophia-Antipolis, France, September
19-21, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {215},
pages = {131--149},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.06.025},
doi = {10.1016/J.ENTCS.2008.06.025},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FernandesR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/PoizatR06,
author = {Pascal Poizat and
Jean{-}Claude Royer},
title = {A Formal Architectural Description Language based on Symbolic Transition
Systems and Temporal Logic},
journal = {J. Univers. Comput. Sci.},
volume = {12},
number = {12},
pages = {1741--1782},
year = {2006},
url = {https://doi.org/10.3217/jucs-012-12-1741},
doi = {10.3217/JUCS-012-12-1741},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/PoizatR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/PoizatRS06,
author = {Pascal Poizat and
Jean{-}Claude Royer and
Gwen Sala{\"{u}}n},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Bounded Analysis and Decomposition for Behavioural Descriptions of
Components},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {33--47},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_5},
doi = {10.1007/11768869\_5},
timestamp = {Thu, 14 Oct 2021 10:14:37 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/PoizatRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soco/PavelNPR05,
author = {Sebastian Pavel and
Jacques Noy{\'{e}} and
Pascal Poizat and
Jean{-}Claude Royer},
editor = {Thomas Gschwind and
Uwe A{\ss}mann and
Oscar Nierstrasz},
title = {A Java Implementation of a Component Model with Explicit Symbolic
Protocols},
booktitle = {Software Composition - 4th International Workshop, SC@ETAPS 2005,
Edinburgh, UK, April 9, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3628},
pages = {115--124},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11550679\_9},
doi = {10.1007/11550679\_9},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/soco/PavelNPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Royer04,
author = {Jean{-}Claude Royer},
title = {Checking Class Schema Usefulness},
journal = {J. Object Technol.},
volume = {3},
number = {1},
pages = {157--176},
year = {2004},
url = {https://doi.org/10.5381/jot.2004.3.1.a4},
doi = {10.5381/JOT.2004.3.1.A4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Royer04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coopis/MarechalPR04,
author = {Olivier Mar{\'{e}}chal and
Pascal Poizat and
Jean{-}Claude Royer},
editor = {Robert Meersman and
Zahir Tari},
title = {Checking Asynchronously Communicating Components Using Symbolic Transition
Systems},
booktitle = {On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and
ODBASE, {OTM} Confederated International Conferences, Agia Napa, Cyprus,
October 25-29, 2004, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {3291},
pages = {1502--1519},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30469-2\_42},
doi = {10.1007/978-3-540-30469-2\_42},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/coopis/MarechalPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iasse/Royer04,
author = {Jean{-}Claude Royer},
title = {A Framework for the {GAT} Temporal Logic},
booktitle = {Proceedings of the {ISCA} 13th International Conference on Intelligent
and Adaptive Systems and Software Engineering, Nice, France, July
1-3, 2004},
pages = {275--280},
publisher = {{ISCA}},
year = {2004},
timestamp = {Thu, 31 Aug 2006 12:18:12 +0200},
biburl = {https://dblp.org/rec/conf/iasse/Royer04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/PavelNR04,
author = {Sebastian Pavel and
Jacques Noy{\'{e}} and
Jean{-}Claude Royer},
editor = {Robert L. Nord},
title = {Dynamic Configuration of Software Product Lines in ArchJava},
booktitle = {Software Product Lines, Third International Conference, {SPLC} 2004,
Boston, MA, USA, August 30-September 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3154},
pages = {90--109},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28630-1\_6},
doi = {10.1007/978-3-540-28630-1\_6},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/splc/PavelNR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/Royer03,
author = {Jean{-}Claude Royer},
title = {The {GAT} Approach to Specifying Mixed Systems},
journal = {Informatica (Slovenia)},
volume = {27},
number = {1},
pages = {89--104},
year = {2003},
timestamp = {Mon, 15 Feb 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informaticaSI/Royer03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coopis/RoyerX03,
author = {Jean{-}Claude Royer and
Michael Xu},
editor = {Robert Meersman and
Zahir Tari and
Douglas C. Schmidt},
title = {Analysing Mailboxes of Asynchronous Communicating Components},
booktitle = {On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and
{ODBASE} - {OTM} Confederated International Conferences, CoopIS, DOA,
and {ODBASE} 2003, Catania, Sicily, Italy, November 3-7, 2003},
series = {Lecture Notes in Computer Science},
volume = {2888},
pages = {1421--1438},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39964-3\_89},
doi = {10.1007/978-3-540-39964-3\_89},
timestamp = {Fri, 30 Apr 2021 14:59:15 +0200},
biburl = {https://dblp.org/rec/conf/coopis/RoyerX03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/Lobjet/PoizatR02,
author = {Pascal Poizat and
Jean{-}Claude Royer},
title = {Une proposition de composants formels},
journal = {Obj. Logiciel Base donn{\'{e}}es R{\'{e}}seaux},
volume = {8},
number = {1-2},
pages = {231--245},
year = {2002},
url = {https://doi.org/10.3166/objet.8.1-2.231-245},
doi = {10.3166/OBJET.8.1-2.231-245},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/Lobjet/PoizatR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Royer02,
author = {Jean{-}Claude Royer},
title = {An Operational Approach to the Semantics of Classes: Application to
Type Checking},
journal = {Program. Comput. Softw.},
volume = {28},
number = {3},
pages = {127--147},
year = {2002},
url = {https://doi.org/10.1023/A:1015632129995},
doi = {10.1023/A:1015632129995},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/Royer02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/AllemandR02,
author = {Michel Allemand and
Jean{-}Claude Royer},
title = {Mixed Formal Specifications with {PVS}},
booktitle = {16th International Parallel and Distributed Processing Symposium {(IPDPS}
2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts
Proceedings},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/IPDPS.2002.1016615},
doi = {10.1109/IPDPS.2002.1016615},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/AllemandR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Royer01,
author = {Jean{-}Claude Royer},
title = {Concepts et mod{\`{e}}les formels pour l'analyse et la conception
{\`{a}} objets. (Formal concepts and models to object-oriented analysis
and design)},
year = {2001},
url = {https://tel.archives-ouvertes.fr/tel-02466362},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/hal/Royer01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ChoppyPR01,
author = {Christine Choppy and
Pascal Poizat and
Jean{-}Claude Royer},
title = {The Korrigan Environment},
journal = {J. Univers. Comput. Sci.},
volume = {7},
number = {1},
pages = {19--36},
year = {2001},
url = {https://doi.org/10.3217/jucs-007-01-0019},
doi = {10.3217/JUCS-007-01-0019},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/ChoppyPR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ChoppyPR01,
author = {Christine Choppy and
Pascal Poizat and
Jean{-}Claude Royer},
title = {Formal Specification of Mixed Components with Korrigan},
booktitle = {8th Asia-Pacific Software Engineering Conference {(APSEC} 2001), 4-7
December 2001, Macau, China},
pages = {169--176},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/APSEC.2001.991474},
doi = {10.1109/APSEC.2001.991474},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/ChoppyPR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ChoppyPR01,
author = {Christine Choppy and
Pascal Poizat and
Jean{-}Claude Royer},
editor = {Heinrich Hu{\ss}mann},
title = {Specification of Mixed Systems in {KORRIGAN} with the Support of a
UML-Inspired Graphical Notation},
booktitle = {Fundamental Approaches to Software Engineering, 4th International
Conference, {FASE} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2029},
pages = {124--139},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45314-8\_10},
doi = {10.1007/3-540-45314-8\_10},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/ChoppyPR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/Royer01,
author = {Jean{-}Claude Royer},
title = {Formal Specification and Proof Techniques for Mixed Systems},
booktitle = {Proceedings of the 15th International Parallel {\&} Distributed
Processing Symposium (IPDPS-01), San Francisco, CA, USA, April 23-27,
2001},
pages = {151},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/IPDPS.2001.925139},
doi = {10.1109/IPDPS.2001.925139},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/Royer01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/ChoppyPR00,
author = {Christine Choppy and
Pascal Poizat and
Jean{-}Claude Royer},
editor = {Teodor Rus},
title = {A Global Semantics for Views},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {165--180},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_13},
doi = {10.1007/3-540-45499-3\_13},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amast/ChoppyPR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lmo/AndreRRV00,
author = {Pascal Andr{\'{e}} and
Annya Romanczuk and
Jean{-}Claude Royer and
Aline Vasconcelos},
editor = {Christophe Dony and
Houari A. Sahraoui},
title = {An algebraic view of {UML} class diagrams},
booktitle = {Actes des journ{\'{e}}es Langages et Mod{\`{e}}les {\`{a}} Objets,
LMO'2000. Mont Saint-Hilaire, Qu{\'{e}}bec, Canada, 25-28 janvier},
pages = {261--276},
publisher = {Herm{\`{e}}s},
year = {2000},
timestamp = {Thu, 05 Jul 2018 08:01:55 +0200},
biburl = {https://dblp.org/rec/conf/lmo/AndreRRV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/room/AndreRR00,
author = {Pascal Andr{\'{e}} and
Annya Romanczuk and
Jean{-}Claude Royer},
title = {Checking the Consistency of {UML} Class Diagrams Using Larch Prover},
booktitle = {Rigorous Object-Oriented Methods, {ROOM} 2000, York, UK, 17 January
2000},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2000},
url = {http://ewic.bcs.org/content/ConWebDoc/4207},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/room/AndreRR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/Lobjet/Royer99,
author = {Jean{-}Claude Royer},
title = {Editorial},
journal = {Obj. Logiciel Base donn{\'{e}}es R{\'{e}}seaux},
volume = {5},
number = {3/4},
year = {1999},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/Lobjet/Royer99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PoizatCR99,
author = {Pascal Poizat and
Christine Choppy and
Jean{-}Claude Royer},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {From Informal Requirements to {COOP:} {A} Concurrent Automata Approach},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1709},
pages = {939--962},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48118-4\_1},
doi = {10.1007/3-540-48118-4\_1},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/PoizatCR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/Lobjet/Royer98,
author = {Jean{-}Claude Royer},
title = {Editorial},
journal = {Obj. Logiciel Base donn{\'{e}}es R{\'{e}}seaux},
volume = {4},
number = {1},
year = {1998},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/Lobjet/Royer98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joop/Royer98,
author = {Jean{-}Claude Royer},
title = {Type Checking Object-Oriented Programs: Core of the Problem and Some
Solutions},
journal = {J. Object Oriented Program.},
volume = {11},
number = {6},
pages = {58--66, 71},
year = {1998},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joop/Royer98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/PoizatCR98,
author = {Pascal Poizat and
Christine Choppy and
Jean{-}Claude Royer},
editor = {Jos{\'{e}} Luiz Fiadeiro},
title = {Concurrency and Data Types: {A} Specification Method: An Example with
{LOTOS}},
booktitle = {Recent Trends in Algebraic Development Techniques, 13th International
Workshop, {WADT} '98, Lisbon, Portugal, April 2-4, 1998, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1589},
pages = {277--292},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48483-3\_18},
doi = {10.1007/3-540-48483-3\_18},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wadt/PoizatCR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AndreR92,
author = {Pascal Andr{\'{e}} and
Jean{-}Claude Royer},
editor = {John R. Pugh},
title = {Optimizing Method Search with Lookup Caches and Incremental Coloring},
booktitle = {Proceedings of the Seventh Annual Conference on Object-Oriented Programming
Systems, Languages, and Applications, {OOPSLA} 1992, Vancouver, British
Columbia, Canada, October 18-22, 1992},
pages = {110--126},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141936.141947},
doi = {10.1145/141936.141947},
timestamp = {Fri, 13 May 2022 10:38:22 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AndreR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/oopsm/BezivinRR93,
author = {Jean B{\'{e}}zivin and
Olivier F. Roux and
Jean{-}Claude Royer},
editor = {Jerry L. Archibald and
Mark C. Wilkes},
title = {Teaching object-oriented programming or using the object model to
teach software engineering},
booktitle = {Addendum to the Proceedings on Object-Oriented Programming Systems,
Languages, and Applications, {OOPSLA} 1992 Addendum, Vancouver, British
Columbia, Canada, October 18-22, 1992},
pages = {269--276},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/157709.157829},
doi = {10.1145/157709.157829},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/oopsm/BezivinRR93.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-01-09 20:40 CET 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:
