Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Robert B. France
@article{DBLP:journals/tse/ChavezSFML16,
author = {Hector Miguel Chavez and
Wuwei Shen and
Robert B. France and
Benjamin A. Mechling and
Guangyuan Li},
title = {An Approach to Checking Consistency between {UML} Class Model and
Its Java Implementation},
journal = {{IEEE} Trans. Software Eng.},
volume = {42},
number = {4},
pages = {322--344},
year = {2016},
url = {https://doi.org/10.1109/TSE.2015.2488645},
doi = {10.1109/TSE.2015.2488645},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ChavezSFML16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/EarleF16,
author = {Curtis C. R. Busby Earle and
Robert B. France},
editor = {John Krogstie and
Haralambos Mouratidis and
Jianwen Su},
title = {Discovering Potential Interaction Violations among Requirements},
booktitle = {Advanced Information Systems Engineering Workshops - CAiSE 2016 International
Workshops, Ljubljana, Slovenia, June 13-17, 2016, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {249},
pages = {243--253},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39564-7\_23},
doi = {10.1007/978-3-319-39564-7\_23},
timestamp = {Wed, 24 May 2017 08:29:59 +0200},
biburl = {https://dblp.org/rec/conf/caise/EarleF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/Al-RefaiCGF16,
author = {Mohammed Al{-}Refai and
Walter Cazzola and
Sudipto Ghosh and
Robert B. France},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Using Models to Validate Unanticipated, Fine-Grained Adaptations at
Runtime},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {23--30},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.40},
doi = {10.1109/HASE.2016.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/Al-RefaiCGF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/GeorgMAPTLF15,
author = {Geri Georg and
Gunter Mussbacher and
Daniel Amyot and
Dorina C. Petriu and
Lucy J. Troup and
Saul Lozano{-}Fuentes and
Robert B. France},
title = {Synergy between Activity Theory and goal/scenario modeling for requirements
elicitation, analysis, and evolution},
journal = {Inf. Softw. Technol.},
volume = {59},
pages = {109--135},
year = {2015},
url = {https://doi.org/10.1016/j.infsof.2014.11.003},
doi = {10.1016/J.INFSOF.2014.11.003},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/GeorgMAPTLF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/SunCFBBR15,
author = {Wuliang Sun and
Beno{\^{\i}}t Combemale and
Robert B. France and
Arnaud Blouin and
Benoit Baudry and
Indrakshi Ray},
title = {Using Slicing to Improve the Performance of Model Invariant Checking},
journal = {J. Object Technol.},
volume = {14},
number = {4},
pages = {1:1--28},
year = {2015},
url = {https://doi.org/10.5381/jot.2015.14.4.a1},
doi = {10.5381/JOT.2015.14.4.A1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/SunCFBBR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/GotzBF15,
author = {Sebastian G{\"{o}}tz and
Nelly Bencomo and
Robert B. France},
title = {Devising the Future of the Models@run.time Workshop},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {40},
number = {1},
pages = {26--29},
year = {2015},
url = {https://doi.org/10.1145/2693208.2693249},
doi = {10.1145/2693208.2693249},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/GotzBF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceGRS15,
author = {Robert B. France and
Geri Georg and
Bernhard Rumpe and
Martin Schindler},
title = {The 2014 "State of the Journal" report},
journal = {Softw. Syst. Model.},
volume = {14},
number = {1},
pages = {1--2},
year = {2015},
url = {https://doi.org/10.1007/s10270-014-0452-y},
doi = {10.1007/S10270-014-0452-Y},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceGRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR15,
author = {Robert B. France and
Bernhard Rumpe},
title = {Special section of SoSyM dedicated to 50 years of Petri nets},
journal = {Softw. Syst. Model.},
volume = {14},
number = {2},
pages = {667--668},
year = {2015},
url = {https://doi.org/10.1007/s10270-014-0439-8},
doi = {10.1007/S10270-014-0439-8},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/SunCF15,
author = {Wuliang Sun and
Beno{\^{\i}}t Combemale and
Robert B. France},
editor = {Robert B. France and
Sudipto Ghosh and
Gary T. Leavens},
title = {Towards the use of slicing techniques for an efficient invariant checking},
booktitle = {Companion Proceedings of the 14th International Conference on Modularity,
{MODULARITY} 2015, Fort Collins, CO, USA, March 16 - 19, 2015},
pages = {23--24},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2735386.2735926},
doi = {10.1145/2735386.2735926},
timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
biburl = {https://dblp.org/rec/conf/aosd/SunCF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/c3s2e/BennettRF15,
author = {Phillipa Bennett and
Indrakshi Ray and
Robert B. France},
editor = {Jake Yue Chen and
Mohammed J. Zaki and
Tamer Kahveci and
Saeed Salem and
Mehmet Koyut{\"{u}}rk},
title = {Analysis of a Relationship Based Access Control Model},
booktitle = {Proceedings of the Eighth International C* Conference on Computer
Science {\&} Software Engineering, Yokohama, Japan, July 13-15,
2015},
pages = {1--8},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2790798.2790811},
doi = {10.1145/2790798.2790811},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/c3s2e/BennettRF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciss/BennettRF15,
author = {Phillipa Bennett and
Indrakshi Ray and
Robert B. France},
editor = {Sushil Jajodia and
Chandan Mazumdar},
title = {Modeling of Online Social Network Policies Using an Attribute-Based
Access Control Framework},
booktitle = {Information Systems Security - 11th International Conference, {ICISS}
2015, Kolkata, India, December 16-20, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9478},
pages = {79--97},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26961-0\_6},
doi = {10.1007/978-3-319-26961-0\_6},
timestamp = {Wed, 25 Sep 2019 18:06:16 +0200},
biburl = {https://dblp.org/rec/conf/iciss/BennettRF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aosd/2015,
editor = {Robert B. France and
Sudipto Ghosh and
Gary T. Leavens},
title = {Proceedings of the 14th International Conference on Modularity, {MODULARITY}
2015, Fort Collins, CO, USA, March 16 - 19, 2015},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2724525},
doi = {10.1145/2724525},
isbn = {978-1-4503-3249-1},
timestamp = {Thu, 11 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aosd/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aosd/2015c,
editor = {Robert B. France and
Sudipto Ghosh and
Gary T. Leavens},
title = {Companion Proceedings of the 14th International Conference on Modularity,
{MODULARITY} 2015, Fort Collins, CO, USA, March 16 - 19, 2015},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2735386},
doi = {10.1145/2735386},
isbn = {978-1-4503-3283-5},
timestamp = {Thu, 11 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aosd/2015c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2014gdsl,
editor = {Betty H. C. Cheng and
Beno{\^{\i}}t Combemale and
Robert B. France and
Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Bernhard Rumpe},
title = {Globalizing Domain-Specific Languages - International Dagstuhl Seminar
Dagstuhl Castle, Germany, October 5-10, 2014 Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {9400},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26172-0},
doi = {10.1007/978-3-319-26172-0},
isbn = {978-3-319-26171-3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2014gdsl.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/CombemaleDBFJG14,
author = {Beno{\^{\i}}t Combemale and
Julien DeAntoni and
Benoit Baudry and
Robert B. France and
Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Jeff Gray},
title = {Globalizing Modeling Languages},
journal = {Computer},
volume = {47},
number = {6},
pages = {68--71},
year = {2014},
url = {https://doi.org/10.1109/MC.2014.147},
doi = {10.1109/MC.2014.147},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/CombemaleDBFJG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceGRS14,
author = {Robert B. France and
Geri Georg and
Bernhard Rumpe and
Martin Schindler},
title = {The 2013 "State of the Journal" report},
journal = {Softw. Syst. Model.},
volume = {13},
number = {1},
pages = {1--3},
year = {2014},
url = {https://doi.org/10.1007/s10270-014-0396-2},
doi = {10.1007/S10270-014-0396-2},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceGRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR14,
author = {Robert B. France and
Bernhard Rumpe},
title = {Modeling big smart data},
journal = {Softw. Syst. Model.},
volume = {13},
number = {2},
pages = {457--458},
year = {2014},
url = {https://doi.org/10.1007/s10270-014-0409-1},
doi = {10.1007/S10270-014-0409-1},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR14a,
author = {Robert B. France and
Bernhard Rumpe},
title = {Editorial for the SoSyM issue 2014/04},
journal = {Softw. Syst. Model.},
volume = {13},
number = {4},
pages = {1223},
year = {2014},
url = {https://doi.org/10.1007/s10270-014-0434-0},
doi = {10.1007/S10270-014-0434-0},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ChengCFJR14,
author = {Betty H. C. Cheng and
Beno{\^{\i}}t Combemale and
Robert B. France and
Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Bernhard Rumpe},
editor = {Betty H. C. Cheng and
Beno{\^{\i}}t Combemale and
Robert B. France and
Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Bernhard Rumpe},
title = {On the Globalization of Domain-Specific Languages},
booktitle = {Globalizing Domain-Specific Languages - International Dagstuhl Seminar
Dagstuhl Castle, Germany, October 5-10, 2014 Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {9400},
pages = {1--6},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-26172-0\_1},
doi = {10.1007/978-3-319-26172-0\_1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/ChengCFJR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DeAntoniBCFKNS14,
author = {Julien Deantoni and
C{\'{e}}dric Brun and
Beno{\^{\i}}t Caillaud and
Robert B. France and
Gabor Karsai and
Oscar Nierstrasz and
Eugene Syriani},
editor = {Betty H. C. Cheng and
Beno{\^{\i}}t Combemale and
Robert B. France and
Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Bernhard Rumpe},
title = {Domain Globalization: Using Languages to Support Technical and Social
Coordination},
booktitle = {Globalizing Domain-Specific Languages - International Dagstuhl Seminar
Dagstuhl Castle, Germany, October 5-10, 2014 Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {9400},
pages = {70--87},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-26172-0\_5},
doi = {10.1007/978-3-319-26172-0\_5},
timestamp = {Mon, 28 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/DeAntoniBCFKNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/ClarkKBFFT14,
author = {Tony Clark and
Vinay Kulkarni and
Balbir Barn and
Robert B. France and
Ulrich Frank and
Dan Turk},
title = {Towards the Model Driven Organization},
booktitle = {47th Hawaii International Conference on System Sciences, {HICSS} 2014,
Waikoloa, HI, USA, January 6-9, 2014},
pages = {4817--4826},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/HICSS.2014.591},
doi = {10.1109/HICSS.2014.591},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/ClarkKBFFT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/GogollaHHKF14,
author = {Martin Gogolla and
Lars Hamann and
Frank Hilken and
Mirco Kuhlmann and
Robert B. France},
editor = {Hans{-}Georg Fill and
Dimitris Karagiannis and
Ulrich Reimer},
title = {From Application Models to Filmstrip Models: An Approach to Automatic
Validation of Model Dynamics},
booktitle = {Modellierung 2014, 19.-21. M{\"{a}}rz 2014, Wien, {\"{O}}sterreich},
series = {{LNI}},
volume = {{P-225}},
pages = {273--288},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/17056},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modellierung/GogollaHHKF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/MussbacherABBCCCFHHKSSSW14,
author = {Gunter Mussbacher and
Daniel Amyot and
Ruth Breu and
Jean{-}Michel Bruel and
Betty H. C. Cheng and
Philippe Collet and
Beno{\^{\i}}t Combemale and
Robert B. France and
Rogardt Heldal and
James H. Hill and
J{\"{o}}rg Kienzle and
Matthias Sch{\"{o}}ttle and
Friedrich Steimann and
Dave R. Stikkolorum and
Jon Whittle},
editor = {J{\"{u}}rgen Dingel and
Wolfram Schulte and
Isidro Ramos and
Silvia Abrah{\~{a}}o and
Emilio Insfr{\'{a}}n},
title = {The Relevance of Model-Driven Engineering Thirty Years from Now},
booktitle = {Model-Driven Engineering Languages and Systems - 17th International
Conference, {MODELS} 2014, Valencia, Spain, September 28 - October
3, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8767},
pages = {183--200},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11653-2\_12},
doi = {10.1007/978-3-319-11653-2\_12},
timestamp = {Tue, 24 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/MussbacherABBCCCFHHKSSSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KrikavaCF14,
author = {Filip Krikava and
Philippe Collet and
Robert B. France},
editor = {J{\"{u}}rgen Dingel and
Wolfram Schulte and
Isidro Ramos and
Silvia Abrah{\~{a}}o and
Emilio Insfr{\'{a}}n},
title = {{SIGMA:} Scala Internal Domain-Specific Languages for Model Manipulations},
booktitle = {Model-Driven Engineering Languages and Systems - 17th International
Conference, {MODELS} 2014, Valencia, Spain, September 28 - October
3, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8767},
pages = {569--585},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11653-2\_35},
doi = {10.1007/978-3-319-11653-2\_35},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/KrikavaCF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/Al-LailSF14,
author = {Mustafa Al{-}Lail and
Wuliang Sun and
Robert B. France},
title = {Analyzing Behavioral Aspects of {UML} Design Class Models against
Temporal Properties},
booktitle = {2014 14th International Conference on Quality Software, Allen, TX,
USA, October 2-3, 2014},
pages = {196--201},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/QSIC.2014.56},
doi = {10.1109/QSIC.2014.56},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/qsic/Al-LailSF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/KrikavaCF14,
author = {Filip Krikava and
Philippe Collet and
Robert B. France},
editor = {Yookun Cho and
Sung Y. Shin and
Sang{-}Wook Kim and
Chih{-}Cheng Hung and
Jiman Hong},
title = {{ACTRESS:} domain-specific modeling of self-adaptive software architectures},
booktitle = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of
Korea - March 24 - 28, 2014},
pages = {391--398},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2554850.2555020},
doi = {10.1145/2554850.2555020},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/KrikavaCF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Al-RefaiCF14,
author = {Mohammed Al{-}Refai and
Walter Cazzola and
Robert B. France},
editor = {Yookun Cho and
Sung Y. Shin and
Sang{-}Wook Kim and
Chih{-}Cheng Hung and
Jiman Hong},
title = {Using models to dynamically refactor runtime code},
booktitle = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of
Korea - March 24 - 28, 2014},
pages = {1108--1113},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2554850.2554954},
doi = {10.1145/2554850.2554954},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/Al-RefaiCF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/KrikavaCF14a,
author = {Filip Krikava and
Philippe Collet and
Robert B. France},
editor = {Yookun Cho and
Sung Y. Shin and
Sang{-}Wook Kim and
Chih{-}Cheng Hung and
Jiman Hong},
title = {Manipulating models using internal domain-specific languages},
booktitle = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of
Korea - March 24 - 28, 2014},
pages = {1612--1614},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2554850.2555127},
doi = {10.1145/2554850.2555127},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/KrikavaCF14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/JaksicFCG14,
author = {Aleksandar Jaksic and
Robert B. France and
Philippe Collet and
Sudipto Ghosh},
editor = {Beno{\^{\i}}t Combemale and
David J. Pearce and
Olivier Barais and
Jurgen J. Vinju},
title = {Evaluating the Usability of a Visual Feature Modeling Notation},
booktitle = {Software Language Engineering - 7th International Conference, {SLE}
2014, V{\"{a}}ster{\aa}s, Sweden, September 15-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8706},
pages = {122--140},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11245-9\_7},
doi = {10.1007/978-3-319-11245-9\_7},
timestamp = {Wed, 26 May 2021 08:40:05 +0200},
biburl = {https://dblp.org/rec/conf/sle/JaksicFCG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/EarleFR14,
author = {Curtis C. R. Busby Earle and
Robert B. France and
Indrakshi Ray},
title = {Analysing Requirements to Detect Latent Security Vulnerabilities},
booktitle = {{IEEE} Eighth International Conference on Software Security and Reliability,
{SERE} 2014, San Francisco, CA, USA, June 30 - July 2, 2014 - Companion
Volume},
pages = {168--175},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/SERE-C.2014.35},
doi = {10.1109/SERE-C.2014.35},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ssiri/EarleFR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2011models,
editor = {Nelly Bencomo and
Robert B. France and
Betty H. C. Cheng and
Uwe A{\ss}mann},
title = {Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl
Seminar 11481, November 27 - December 2, 2011]},
series = {Lecture Notes in Computer Science},
volume = {8378},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08915-7},
doi = {10.1007/978-3-319-08915-7},
isbn = {978-3-319-08914-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2011models.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2014mise,
editor = {Joanne M. Atlee and
Vinay Kulkarni and
Tony Clark and
Robert B. France and
Bernhard Rumpe},
title = {6th International Workshop on Modeling in Software Engineering, MiSE
2014, Hyderabad, India, June 2-3, 2014},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2593770},
isbn = {978-1-4503-2849-4},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/2014mise.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2014gemoc,
editor = {Beno{\^{\i}}t Combemale and
Julien Deantoni and
Robert B. France},
title = {Proceedings of the 2nd International Workshop on The Globalization
of Modeling Languages co-located with {ACM/IEEE} 17th International
Conference on Model Driven Engineering Languages and Systems, GEMOC@Models
2014, Valencia, - Spain, September 28, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1236},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1236},
urn = {urn:nbn:de:0074-1236-8},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2014gemoc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2014runtime,
editor = {Sebastian G{\"{o}}tz and
Nelly Bencomo and
Robert B. France},
title = {Proceedings of the 9th Workshop on Models@run.time co-located with
17th International Conference on Model Driven Engineering Languages
and Systems {(MODELS} 2014), Valencia, Spain, September 30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1270},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1270},
urn = {urn:nbn:de:0074-1270-0},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2014runtime.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CombemaleDFBMPRSS14,
author = {Beno{\^{\i}}t Combemale and
Julien De Antoni and
Robert B. France and
Fr{\'{e}}d{\'{e}}ric Boulanger and
S{\'{e}}bastien Mosser and
Marc Pantel and
Bernhard Rumpe and
Rick Salay and
Martin Schindler},
title = {Report on the First Workshop On the Globalization of Modeling Languages},
journal = {CoRR},
volume = {abs/1408.5703},
year = {2014},
url = {http://arxiv.org/abs/1408.5703},
eprinttype = {arXiv},
eprint = {1408.5703},
timestamp = {Mon, 28 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/CombemaleDFBMPRSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TurkFR14,
author = {Dan Turk and
Robert B. France and
Bernhard Rumpe},
title = {Limitations of Agile Software Processes},
journal = {CoRR},
volume = {abs/1409.6600},
year = {2014},
url = {http://arxiv.org/abs/1409.6600},
eprinttype = {arXiv},
eprint = {1409.6600},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TurkFR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JurjensFFRH14,
author = {Jan J{\"{u}}rjens and
Eduardo B. Fern{\'{a}}ndez and
Robert B. France and
Bernhard Rumpe and
Constance L. Heitmeyer},
title = {Critical Systems Development Using Modeling Languages. {(CSDUML-04):}
Current Developments and Future Challenges (Report on the Third International
Workshop)},
journal = {CoRR},
volume = {abs/1409.6608},
year = {2014},
url = {http://arxiv.org/abs/1409.6608},
eprinttype = {arXiv},
eprint = {1409.6608},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JurjensFFRH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TurkFR14a,
author = {Dan Turk and
Robert B. France and
Bernhard Rumpe},
title = {Assumptions Underlying Agile Software Development Processes},
journal = {CoRR},
volume = {abs/1409.6610},
year = {2014},
url = {http://arxiv.org/abs/1409.6610},
eprinttype = {arXiv},
eprint = {1409.6610},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TurkFR14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FranceR14,
author = {Robert B. France and
Bernhard Rumpe},
title = {Model-Driven Development of Complex Software: {A} Research Roadmap},
journal = {CoRR},
volume = {abs/1409.6620},
year = {2014},
url = {http://arxiv.org/abs/1409.6620},
eprinttype = {arXiv},
eprint = {1409.6620},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FranceR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EvansLFR14,
author = {Andy Evans and
Kevin Lano and
Robert B. France and
Bernhard Rumpe},
title = {Meta-Modeling Semantics of {UML}},
journal = {CoRR},
volume = {abs/1409.6917},
year = {2014},
url = {http://arxiv.org/abs/1409.6917},
eprinttype = {arXiv},
eprint = {1409.6917},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EvansLFR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EvansFLR14,
author = {Andy Evans and
Robert B. France and
Kevin Lano and
Bernhard Rumpe},
title = {The {UML} as a Formal Modeling Notation},
journal = {CoRR},
volume = {abs/1409.6919},
year = {2014},
url = {http://arxiv.org/abs/1409.6919},
eprinttype = {arXiv},
eprint = {1409.6919},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EvansFLR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EvansFLR14a,
author = {Andy Evans and
Robert B. France and
Kevin Lano and
Bernhard Rumpe},
title = {Developing the {UML} as a Formal Modelling Notation},
journal = {CoRR},
volume = {abs/1409.6928},
year = {2014},
url = {http://arxiv.org/abs/1409.6928},
eprinttype = {arXiv},
eprint = {1409.6928},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EvansFLR14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/ChengCFJR14,
author = {Betty H. C. Cheng and
Beno{\^{\i}}t Combemale and
Robert B. France and
Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Bernhard Rumpe},
title = {Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412)},
journal = {Dagstuhl Reports},
volume = {4},
number = {10},
pages = {32--50},
year = {2014},
url = {https://doi.org/10.4230/DagRep.4.10.32},
doi = {10.4230/DAGREP.4.10.32},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/ChengCFJR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/CalinescuFG13,
author = {Radu Calinescu and
Robert B. France and
Carlo Ghezzi},
title = {Editorial},
journal = {Computing},
volume = {95},
number = {3},
pages = {165--166},
year = {2013},
url = {https://doi.org/10.1007/s00607-012-0238-4},
doi = {10.1007/S00607-012-0238-4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/CalinescuFG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AcherCLF13,
author = {Mathieu Acher and
Philippe Collet and
Philippe Lahire and
Robert B. France},
title = {{FAMILIAR:} {A} domain-specific language for large scale management
of feature models},
journal = {Sci. Comput. Program.},
volume = {78},
number = {6},
pages = {657--681},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.12.004},
doi = {10.1016/J.SCICO.2012.12.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AcherCLF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sj/AbdunabiARF13,
author = {Ramadan Abdunabi and
Mustafa Al{-}Lail and
Indrakshi Ray and
Robert B. France},
title = {Specification, Validation, and Enforcement of a Generalized Spatio-Temporal
Role-Based Access Control Model},
journal = {{IEEE} Syst. J.},
volume = {7},
number = {3},
pages = {501--515},
year = {2013},
url = {https://doi.org/10.1109/JSYST.2013.2242751},
doi = {10.1109/JSYST.2013.2242751},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sj/AbdunabiARF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceGRS13,
author = {Robert B. France and
Geri Georg and
Bernhard Rumpe and
Martin Schindler},
title = {The 2012 "State of the Journal" Report},
journal = {Softw. Syst. Model.},
volume = {12},
number = {1},
pages = {1--3},
year = {2013},
url = {https://doi.org/10.1007/s10270-012-0310-8},
doi = {10.1007/S10270-012-0310-8},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceGRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR13,
author = {Robert B. France and
Bernhard Rumpe},
title = {The evolution of modeling research challenges},
journal = {Softw. Syst. Model.},
volume = {12},
number = {2},
pages = {223--225},
year = {2013},
url = {https://doi.org/10.1007/s10270-013-0346-4},
doi = {10.1007/S10270-013-0346-4},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR13a,
author = {Robert B. France and
Bernhard Rumpe},
title = {Model-based lifecycle management of software-intensive systems, applications,
and services},
journal = {Softw. Syst. Model.},
volume = {12},
number = {3},
pages = {439--440},
year = {2013},
url = {https://doi.org/10.1007/s10270-013-0362-4},
doi = {10.1007/S10270-013-0362-4},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/ClarkKWFR13,
author = {Tony Clark and
Gabor Karsai and
Roel J. Wieringa and
Robert B. France and
Bernhard Rumpe},
title = {A newly introduced Industry Voice Column},
journal = {Softw. Syst. Model.},
volume = {12},
number = {3},
pages = {441--442},
year = {2013},
url = {https://doi.org/10.1007/s10270-013-0361-5},
doi = {10.1007/S10270-013-0361-5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/ClarkKWFR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceRS13,
author = {Robert B. France and
Bernhard Rumpe and
Martin Schindler},
title = {Why it is so hard to use models in software development: observations},
journal = {Softw. Syst. Model.},
volume = {12},
number = {4},
pages = {665--668},
year = {2013},
url = {https://doi.org/10.1007/s10270-013-0383-z},
doi = {10.1007/S10270-013-0383-Z},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/ThorpeRGBF13,
author = {Sean S. E. Thorpe and
Indrajit Ray and
Tyrone Grandison and
Abbie Barbir and
Robert B. France},
editor = {Lingyu Wang and
Basit Shafiq},
title = {Hypervisor Event Logs as a Source of Consistent Virtual Machine Evidence
for Forensic Cloud Investigations},
booktitle = {Data and Applications Security and Privacy {XXVII} - 27th Annual {IFIP}
{WG} 11.3 Conference, DBSec 2013, Newark, NJ, USA, July 15-17, 2013.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7964},
pages = {97--112},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39256-6\_7},
doi = {10.1007/978-3-642-39256-6\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbsec/ThorpeRGBF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/SunCDF13,
author = {Wuliang Sun and
Beno{\^{\i}}t Combemale and
Steven Derrien and
Robert B. France},
editor = {Pieter Van Gorp and
Tom Ritter and
Louis M. Rose},
title = {Using Model Types to Support Contract-Aware Model Substitutability},
booktitle = {Modelling Foundations and Applications - 9th European Conference,
{ECMFA} 2013, Montpellier, France, July 1-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7949},
pages = {118--133},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39013-5\_9},
doi = {10.1007/978-3-642-39013-5\_9},
timestamp = {Wed, 07 Dec 2022 23:14:06 +0100},
biburl = {https://dblp.org/rec/conf/ecmdafa/SunCDF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/CombemaleCF13,
author = {Beno{\^{\i}}t Combemale and
Walter Cazzola and
Robert B. France},
editor = {Beno{\^{\i}}t Combemale and
Walter Cazzola and
Robert B. France},
title = {GlobalDSL 2013: First Workshop on the Globalization of Domain Specific
Languages},
booktitle = {Proceedings of the First Workshop on the Globalization of Domain Specific
Languages, GlobalDSL@ECOOP 2013, Montpellier, France, July 1, 2013},
pages = {1--3},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489812.2489813},
doi = {10.1145/2489812.2489813},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/CombemaleCF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Al-LailAFR13,
author = {Mustafa Al{-}Lail and
Ramadan Abdunabi and
Robert B. France and
Indrakshi Ray},
title = {Rigorous Analysis of Temporal Access Control Properties in Mobile
Systems},
booktitle = {2013 18th International Conference on Engineering of Complex Computer
Systems, Singapore, July 17-19, 2013},
pages = {246--251},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICECCS.2013.43},
doi = {10.1109/ICECCS.2013.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Al-LailAFR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AtleeBCFGPR04,
author = {Joanne M. Atlee and
Robert Baillargeon and
Marsha Chechik and
Robert B. France and
Jeff Gray and
Richard F. Paige and
Bernhard Rumpe},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {5th international workshop on modeling in software engineering (MiSE
2013)},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {1531--1532},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606772},
doi = {10.1109/ICSE.2013.6606772},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/AtleeBCFGPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AcherCCBLF13,
author = {Mathieu Acher and
Beno{\^{\i}}t Combemale and
Philippe Collet and
Olivier Barais and
Philippe Lahire and
Robert B. France},
editor = {Ana Moreira and
Bernhard Sch{\"{a}}tz and
Jeff Gray and
Antonio Vallecillo and
Peter J. Clarke},
title = {Composing Your Compositions of Variability Models},
booktitle = {Model-Driven Engineering Languages and Systems - 16th International
Conference, {MODELS} 2013, Miami, FL, USA, September 29 - October
4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8107},
pages = {352--369},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41533-3\_22},
doi = {10.1007/978-3-642-41533-3\_22},
timestamp = {Mon, 21 Jun 2021 12:26:18 +0200},
biburl = {https://dblp.org/rec/conf/models/AcherCCBLF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BencomoFGR13,
author = {Nelly Bencomo and
Robert B. France and
Sebastian G{\"{o}}tz and
Bernhard Rumpe},
editor = {Nelly Bencomo and
Robert B. France and
Sebastian G{\"{o}}tz and
Bernhard Rumpe},
title = {Summary of the 8th International Workshop on Models @ Run.time},
booktitle = {Proceedings of the 8th Workshop on Models @ Run.time co-located with
16th International Conference on Model Driven Engineering Languages
and Systems {(MODELS} 2013), Miami, FL, USA, September 29, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1079},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1079/summary.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/models/BencomoFGR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/CombemaleDFBMPRSS13,
author = {Beno{\^{\i}}t Combemale and
Julien DeAntoni and
Robert B. France and
Fr{\'{e}}d{\'{e}}ric Boulanger and
S{\'{e}}bastien Mosser and
Marc Pantel and
Bernhard Rumpe and
Rick Salay and
Martin Schindler},
editor = {Beno{\^{\i}}t Combemale and
Julien De Antoni and
Robert B. France and
Balbir Barn and
Tony Clark and
Ulrich Frank and
Vinay Kulkarni and
Dan Turk},
title = {Report on the First Workshop On the Globalization of Modeling Languages
{(GEMOC} 2013)},
booktitle = {Joint Proceedings of the First International Workshop On the Globalization
of Modeling Languages {(GEMOC} 2013) and the First International Workshop:
Towards the Model Driven Organization {(AMINO} 2013) Co-located with
the 16th International Conference on Model Driven Engineering Languages
and Systems {(MODELS} 2013), Miami, USA, September 29 - October 04,
2013},
series = {{CEUR} Workshop Proceedings},
volume = {1102},
pages = {3--13},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1102/gemoc13-report.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/CombemaleDFBMPRSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BarnCFFKT13,
author = {Balbir Barn and
Tony Clark and
Robert B. France and
Ulrich Frank and
Vinay Kulkarni and
Dan Turk},
editor = {Beno{\^{\i}}t Combemale and
Julien De Antoni and
Robert B. France and
Balbir Barn and
Tony Clark and
Ulrich Frank and
Vinay Kulkarni and
Dan Turk},
title = {Introduction},
booktitle = {Joint Proceedings of the First International Workshop On the Globalization
of Modeling Languages {(GEMOC} 2013) and the First International Workshop:
Towards the Model Driven Organization {(AMINO} 2013) Co-located with
the 16th International Conference on Model Driven Engineering Languages
and Systems {(MODELS} 2013), Miami, USA, September 29 - October 04,
2013},
series = {{CEUR} Workshop Proceedings},
volume = {1102},
pages = {14--17},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1102/amino2013\_proceedings\_introduction.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/BarnCFFKT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SunFR13a,
author = {Wuliang Sun and
Robert B. France and
Indrakshi Ray},
editor = {Alfonso Pierantonio and
Bernhard Sch{\"{a}}tz},
title = {Analyzing Behavioral Refactoring of Class Models},
booktitle = {Proceedings of the Workshop on Models and Evolution co-located with
{ACM/IEEE} 16th International Conference on Model Driven Engineering
Languages and Systems (MoDELS 2013), Miami, Florida, USA, October
1, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1090},
pages = {70--79},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1090/8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/SunFR13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Al-LailAFR13,
author = {Mustafa Al{-}Lail and
Ramadan Abdunabi and
Robert B. France and
Indrakshi Ray},
editor = {Fr{\'{e}}d{\'{e}}ric Boulanger and
Michalis Famelis and
Daniel Ratiu},
title = {An Approach to Analyzing Temporal Properties in {UML} Class Models},
booktitle = {Proceedings of the 10th International Workshop on Model Driven Engineering,
Verification and Validation MoDeVVa 2013, co-located with 16th International
Conference on Model Driven Engineering Languages and Systems (MoDELS
2013), Miami, Florida, USA, October 1st, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1069},
pages = {77--86},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1069/11-paper.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/Al-LailAFR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ChavezSFM13,
author = {Hector Miguel Chavez and
Wuwei Shen and
Robert B. France and
Benjamin A. Mechling},
editor = {Ana Moreira and
Bernhard Sch{\"{a}}tz and
Jeff Gray and
Antonio Vallecillo and
Peter J. Clarke},
title = {An Approach to Testing Java Implementation against Its {UML} Class
Model},
booktitle = {Model-Driven Engineering Languages and Systems - 16th International
Conference, {MODELS} 2013, Miami, FL, USA, September 29 - October
4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8107},
pages = {220--236},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41533-3\_14},
doi = {10.1007/978-3-642-41533-3\_14},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/ChavezSFM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/CazzolaRAF13,
author = {Walter Cazzola and
Nicole Alicia Rossini and
Mohammed Al{-}Refai and
Robert B. France},
editor = {Ana Moreira and
Bernhard Sch{\"{a}}tz and
Jeff Gray and
Antonio Vallecillo and
Peter J. Clarke},
title = {Fine-Grained Software Evolution Using {UML} Activity and Class Models},
booktitle = {Model-Driven Engineering Languages and Systems - 16th International
Conference, {MODELS} 2013, Miami, FL, USA, September 29 - October
4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8107},
pages = {271--286},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41533-3\_17},
doi = {10.1007/978-3-642-41533-3\_17},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/CazzolaRAF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SunFR13,
author = {Wuliang Sun and
Robert B. France and
Indrakshi Ray},
editor = {Ana Moreira and
Bernhard Sch{\"{a}}tz and
Jeff Gray and
Antonio Vallecillo and
Peter J. Clarke},
title = {Contract-Aware Slicing of {UML} Class Models},
booktitle = {Model-Driven Engineering Languages and Systems - 16th International
Conference, {MODELS} 2013, Miami, FL, USA, September 29 - October
4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8107},
pages = {724--739},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41533-3\_44},
doi = {10.1007/978-3-642-41533-3\_44},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/SunFR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/AbdunabiRF13,
author = {Ramadan Abdunabi and
Indrakshi Ray and
Robert B. France},
editor = {Mauro Conti and
Jaideep Vaidya and
Andreas Schaad},
title = {Specification and analysis of access control policies for mobile applications},
booktitle = {18th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
'13, Amsterdam, The Netherlands, June 12-14, 2013},
pages = {173--184},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2462410.2463206},
doi = {10.1145/2462410.2463206},
timestamp = {Tue, 06 Nov 2018 16:57:58 +0100},
biburl = {https://dblp.org/rec/conf/sacmat/AbdunabiRF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/CombemaleDLMBBF13,
author = {Beno{\^{\i}}t Combemale and
Julien De Antoni and
Matias Vara Larsen and
Fr{\'{e}}d{\'{e}}ric Mallet and
Olivier Barais and
Benoit Baudry and
Robert B. France},
editor = {Martin Erwig and
Richard F. Paige and
Eric Van Wyk},
title = {Reifying Concurrency for Executable Metamodeling},
booktitle = {Software Language Engineering - 6th International Conference, {SLE}
2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8225},
pages = {365--384},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02654-1\_20},
doi = {10.1007/978-3-319-02654-1\_20},
timestamp = {Mon, 28 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sle/CombemaleDLMBBF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2013globaldsl,
editor = {Beno{\^{\i}}t Combemale and
Walter Cazzola and
Robert B. France},
title = {Proceedings of the First Workshop on the Globalization of Domain Specific
Languages, GlobalDSL@ECOOP 2013, Montpellier, France, July 1, 2013},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489812},
doi = {10.1145/2489812},
isbn = {978-1-4503-2043-6},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2013globaldsl.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2013mise,
editor = {Joanne M. Atlee and
Robert Baillargeon and
Marsha Chechik and
Robert B. France and
Jeff Gray and
Richard F. Paige and
Bernhard Rumpe},
title = {Proceedings of the 5th International Workshop on Modeling in Software
Engineering, MiSE 2013, San Francisco, California, USA, May 18-19,
2013},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://ieeexplore.ieee.org/xpl/conhome/6588674/proceeding},
isbn = {978-1-4673-6447-8},
timestamp = {Mon, 21 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2013mise.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2013cma,
editor = {Ana Moreira and
Geri Georg and
Gunter Mussbacher and
J{\"{o}}rg Kienzle and
Robert B. France and
Shaukat Ali},
title = {Proceedings of the Fourth International Comparing Modeling Approaches
Workshop 2013 co-located with the {ACM/IEEE} 16th International Conference
on Model Driven Engineering Languages and Systems {(} {MODELS} 2013),
Miami, Florida, USA, October 1, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1076},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1076},
urn = {urn:nbn:de:0074-1076-5},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2013cma.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2013runtime,
editor = {Nelly Bencomo and
Robert B. France and
Sebastian G{\"{o}}tz and
Bernhard Rumpe},
title = {Proceedings of the 8th Workshop on Models @ Run.time co-located with
16th International Conference on Model Driven Engineering Languages
and Systems {(MODELS} 2013), Miami, FL, USA, September 29, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1079},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1079},
urn = {urn:nbn:de:0074-1079-9},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2013runtime.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2013gemoc,
editor = {Beno{\^{\i}}t Combemale and
Julien De Antoni and
Robert B. France and
Balbir Barn and
Tony Clark and
Ulrich Frank and
Vinay Kulkarni and
Dan Turk},
title = {Joint Proceedings of the First International Workshop On the Globalization
of Modeling Languages {(GEMOC} 2013) and the First International Workshop:
Towards the Model Driven Organization {(AMINO} 2013) Co-located with
the 16th International Conference on Model Driven Engineering Languages
and Systems {(MODELS} 2013), Miami, USA, September 29 - October 04,
2013},
series = {{CEUR} Workshop Proceedings},
volume = {1102},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1102},
urn = {urn:nbn:de:0074-1102-0},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2013gemoc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/ClarkFGS13,
author = {Tony Clark and
Robert B. France and
Martin Gogolla and
Bran Selic},
title = {Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182)},
journal = {Dagstuhl Reports},
volume = {3},
number = {4},
pages = {188--226},
year = {2013},
url = {https://doi.org/10.4230/DagRep.3.4.188},
doi = {10.4230/DAGREP.3.4.188},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/ClarkFGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/RumpeF12,
author = {Bernhard Rumpe and
Robert B. France},
title = {On the relationship between modeling and programming languages - Editorial
for the SoSyM Issue 2012/01: Part 1},
journal = {Softw. Syst. Model.},
volume = {11},
number = {1},
pages = {1--2},
year = {2012},
url = {https://doi.org/10.1007/s10270-011-0224-x},
doi = {10.1007/S10270-011-0224-X},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/RumpeF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceGRS12,
author = {Robert B. France and
Geri Georg and
Bernhard Rumpe and
Martin Schindler},
title = {The 2011 "State of the Journal" Report - Editorial for the
SoSyM Issue 2012/01: Part 2},
journal = {Softw. Syst. Model.},
volume = {11},
number = {1},
pages = {3--5},
year = {2012},
url = {https://doi.org/10.1007/s10270-011-0225-9},
doi = {10.1007/S10270-011-0225-9},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceGRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR12,
author = {Robert B. France and
Bernhard Rumpe},
title = {Data warehouse concepts for model artifacts?},
journal = {Softw. Syst. Model.},
volume = {11},
number = {2},
pages = {151--152},
year = {2012},
url = {https://doi.org/10.1007/s10270-012-0244-1},
doi = {10.1007/S10270-012-0244-1},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR12a,
author = {Robert B. France and
Bernhard Rumpe},
title = {Modeling to improve quality or efficiency? An automotive domain perspective},
journal = {Softw. Syst. Model.},
volume = {11},
number = {3},
pages = {303--304},
year = {2012},
url = {https://doi.org/10.1007/s10270-012-0251-2},
doi = {10.1007/S10270-012-0251-2},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR12b,
author = {Robert B. France and
Bernhard Rumpe},
title = {The journal on Software and Systems Modeling Matures},
journal = {Softw. Syst. Model.},
volume = {11},
number = {4},
pages = {463--465},
year = {2012},
url = {https://doi.org/10.1007/s10270-012-0287-3},
doi = {10.1007/S10270-012-0287-3},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR12b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/WuAHFC12,
author = {Yali Wu and
Andrew A. Allen and
Frank Hernandez and
Robert B. France and
Peter J. Clarke},
title = {A domain-specific modeling approach to realizing user-centric communication},
journal = {Softw. Pract. Exp.},
volume = {42},
number = {3},
pages = {357--390},
year = {2012},
url = {https://doi.org/10.1002/spe.1081},
doi = {10.1002/SPE.1081},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/WuAHFC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/AcherCGLMF12,
author = {Mathieu Acher and
Philippe Collet and
Alban Gaignard and
Philippe Lahire and
Johan Montagnat and
Robert B. France},
title = {Composing multiple variability artifacts to assemble coherent workflows},
journal = {Softw. Qual. J.},
volume = {20},
number = {3-4},
pages = {689--734},
year = {2012},
url = {https://doi.org/10.1007/s11219-011-9170-7},
doi = {10.1007/S11219-011-9170-7},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/AcherCGLMF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/AcherCLF12,
author = {Mathieu Acher and
Philippe Collet and
Philippe Lahire and
Robert B. France},
editor = {Robert Hirschfeld and
{\'{E}}ric Tanter and
Kevin J. Sullivan and
Richard P. Gabriel},
title = {Separation of concerns in feature modeling: support and applications},
booktitle = {Proceedings of the 11th International Conference on Aspect-oriented
Software Development, {AOSD} 2012, Potsdam, Germany, March 25-30,
2012},
pages = {1--12},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2162049.2162051},
doi = {10.1145/2162049.2162051},
timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
biburl = {https://dblp.org/rec/conf/aosd/AcherCLF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/YuFRS12,
author = {Lijun Yu and
Robert B. France and
Indrakshi Ray and
Wuliang Sun},
editor = {Isabelle Perseil and
Karin K. Breitman and
Marc Pouzet},
title = {Systematic Scenario-Based Analysis of {UML} Design Class Models},
booktitle = {17th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2012, Paris, France, July 18-20, 2012},
pages = {86--95},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2012.37},
doi = {10.1109/ICECCS.2012.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/YuFRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FranceBMCJ12,
author = {Robert B. France and
James M. Bieman and
Sai Pradeep Mandalaparty and
Betty H. C. Cheng and
Adam C. Jensen},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {Repository for Model Driven Development (ReMoDD)},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {1471--1472},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227059},
doi = {10.1109/ICSE.2012.6227059},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/FranceBMCJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KrikavaCF12,
author = {Filip Krikava and
Philippe Collet and
Robert B. France},
title = {Actor-based runtime model of adaptable feedback control loops},
booktitle = {Proceedings of the 7th Workshop on Models@run.time, Innsbruck, Austria,
October 02, 2012},
pages = {39--44},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2422518.2422525},
doi = {10.1145/2422518.2422525},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/KrikavaCF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2012mise,
editor = {Joanne M. Atlee and
Robert Baillargeon and
Robert B. France and
Geri Georg and
Ana Moreira and
Bernhard Rumpe and
Steffen Zschaler},
title = {Proceedings of the 4th International Workshop on Modeling in Software
Engineering, MiSE 2012, Zurich, Switzerland, June 2-3, 2012},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://ieeexplore.ieee.org/xpl/conhome/6220314/proceeding},
isbn = {978-1-4673-1757-3},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2012mise.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2012,
editor = {Robert B. France and
J{\"{u}}rgen Kazmeier and
Ruth Breu and
Colin Atkinson},
title = {Model Driven Engineering Languages and Systems - 15th International
Conference, {MODELS} 2012, Innsbruck, Austria, September 30-October
5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7590},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33666-9},
doi = {10.1007/978-3-642-33666-9},
isbn = {978-3-642-33665-2},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/FranceFORS12,
author = {Robert B. France and
Ulrich Frank and
Andreas Oberweis and
Matti Rossi and
Stefan Strecker},
title = {Open Models as a Foundation of Future Enterprise Systems (Dagstuhl
Seminar 12131)},
journal = {Dagstuhl Reports},
volume = {2},
number = {3},
pages = {67--85},
year = {2012},
url = {https://doi.org/10.4230/DagRep.2.3.67},
doi = {10.4230/DAGREP.2.3.67},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/FranceFORS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/BryantGMCFK11,
author = {Barrett R. Bryant and
Jeff Gray and
Marjan Mernik and
Peter J. Clarke and
Robert B. France and
Gabor Karsai},
title = {Challenges and directions in formalizing the semantics of modeling
languages},
journal = {Comput. Sci. Inf. Syst.},
volume = {8},
number = {2},
pages = {225--253},
year = {2011},
url = {https://doi.org/10.2298/CSIS110114012B},
doi = {10.2298/CSIS110114012B},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comsis/BryantGMCFK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/France11,
author = {Robert B. France},
title = {Teaching Programming Students how to Model: Challenges {\&} Opportunities},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {52},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.52.764},
doi = {10.14279/TUJ.ECEASST.52.764},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/France11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/RumpeF11,
author = {Bernhard Rumpe and
Robert B. France},
title = {Linking models and their storage artifacts},
journal = {Softw. Syst. Model.},
volume = {10},
number = {3},
pages = {281--282},
year = {2011},
url = {https://doi.org/10.1007/s10270-011-0208-x},
doi = {10.1007/S10270-011-0208-X},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/RumpeF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/RumpeF11a,
author = {Bernhard Rumpe and
Robert B. France},
title = {Variability in {UML} language and semantics},
journal = {Softw. Syst. Model.},
volume = {10},
number = {4},
pages = {439--440},
year = {2011},
url = {https://doi.org/10.1007/s10270-011-0210-3},
doi = {10.1007/S10270-011-0210-3},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/RumpeF11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/WuHCF11,
author = {Yali Wu and
Frank Hernandez and
Peter J. Clarke and
Robert B. France},
title = {A {DSML} for Coordinating User-Centric Communication Services},
booktitle = {Proceedings of the 35th Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2011, Munich, Germany, 18-22
July 2011},
pages = {93--102},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/COMPSAC.2011.20},
doi = {10.1109/COMPSAC.2011.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/WuHCF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BennaceurFTVMCCPTAE0GR11,
author = {Amel Bennaceur and
Robert B. France and
Giordano Tamburrelli and
Thomas Vogel and
Pieter J. Mosterman and
Walter Cazzola and
F{\'{a}}bio M. Costa and
Alfonso Pierantonio and
Matthias Tichy and
Mehmet Aksit and
P{\"{a}}r Emmanuelson and
Gang Huang and
Nikolaos Georgantas and
David Redlich},
editor = {Nelly Bencomo and
Robert B. France and
Betty H. C. Cheng and
Uwe A{\ss}mann},
title = {Mechanisms for Leveraging Models at Runtime in Self-adaptive Software},
booktitle = {Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl
Seminar 11481, November 27 - December 2, 2011]},
series = {Lecture Notes in Computer Science},
volume = {8378},
pages = {19--46},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-319-08915-7\_2},
doi = {10.1007/978-3-319-08915-7\_2},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BennaceurFTVMCCPTAE0GR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/CazzolaRBMF11,
author = {Walter Cazzola and
Nicole Alicia Rossini and
Phillipa Bennett and
Sai Pradeep Mandalaparty and
Robert B. France},
editor = {Nelly Bencomo and
Robert B. France and
Betty H. C. Cheng and
Uwe A{\ss}mann},
title = {Fine-Grained Semi-automated Runtime Evolution},
booktitle = {Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl
Seminar 11481, November 27 - December 2, 2011]},
series = {Lecture Notes in Computer Science},
volume = {8378},
pages = {237--258},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-319-08915-7\_9},
doi = {10.1007/978-3-319-08915-7\_9},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/CazzolaRBMF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/France11,
author = {Robert B. France},
title = {Supporting Community-Driven Evolution of Model-Driven Development
Knowledge Using ReMoDD},
booktitle = {18th {IEEE} International Conference and Workshops on the Engineering
of Computer-Based Systems, {ECBS} 2011, Las Vegas, NV, USA, 27-29
April, 2011},
pages = {3},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ECBS.2011.41},
doi = {10.1109/ECBS.2011.41},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/France11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/SunFR11,
author = {Wuliang Sun and
Robert B. France and
Indrakshi Ray},
editor = {Taghi M. Khoshgoftaar},
title = {Supporting Iterative Development of Robust Operation Contracts in
{UML} Requirements Models},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {9--16},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.43},
doi = {10.1109/HASE.2011.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/SunFR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdf2c/ThorpeRRGBF11,
author = {Sean S. E. Thorpe and
Indrakshi Ray and
Indrajit Ray and
Tyrone Grandison and
Abbie Barbir and
Robert B. France},
editor = {Pavel Gladyshev and
Marcus K. Rogers},
title = {Formal Parameterization of Log Synchronization Events within a Distributed
Forensic Compute Cloud Database Environment},
booktitle = {Digital Forensics and Cyber Crime - Third International {ICST} Conference,
{ICDF2C} 2011, Dublin, Ireland, October 26-28, 2011, Revised Selected
Papers},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {88},
pages = {156--171},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35515-8\_13},
doi = {10.1007/978-3-642-35515-8\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdf2c/ThorpeRRGBF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AcherCLF11,
author = {Mathieu Acher and
Philippe Collet and
Philippe Lahire and
Robert B. France},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Slicing feature models},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {424--427},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100089},
doi = {10.1109/ASE.2011.6100089},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/AcherCLF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AcherCLF11a,
author = {Mathieu Acher and
Philippe Collet and
Philippe Lahire and
Robert B. France},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Decomposing feature models: language, environment, and applications},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {600--603},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100135},
doi = {10.1109/ASE.2011.6100135},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/AcherCLF11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BencomoBFCJ11,
author = {Nelly Bencomo and
Gordon S. Blair and
Robert B. France and
Betty H. C. Cheng and
C{\'{e}}dric Jeanneret},
editor = {J{\"{o}}rg Kienzle},
title = {Summary of the 6th International Workshop on Models@run.time},
booktitle = {Models in Software Engineering - Workshops and Symposia at {MODELS}
2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7167},
pages = {149--151},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29645-1\_16},
doi = {10.1007/978-3-642-29645-1\_16},
timestamp = {Wed, 23 Feb 2022 12:58:05 +0100},
biburl = {https://dblp.org/rec/conf/models/BencomoBFCJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/MussbacherAAABBBCCFFGGIJKKLMMPT11,
author = {Gunter Mussbacher and
Wisam Al Abed and
Omar Alam and
Shaukat Ali and
Antoine Beugnard and
Valentin Bonnet and
Rolv Br{\ae}k and
Alfredo Capozucca and
Betty H. C. Cheng and
Urooj Fatima and
Robert B. France and
Geri Georg and
Nicolas Guelfi and
Paul Istoan and
Jean{-}Marc J{\'{e}}z{\'{e}}quel and
J{\"{o}}rg Kienzle and
Jacques Klein and
Jean{-}Baptiste L{\'{e}}zoray and
Somayeh Malakuti and
Ana Moreira and
An Phung{-}Khac and
Lucy J. Troup},
editor = {J{\"{o}}rg Kienzle},
title = {Comparing Six Modeling Approaches},
booktitle = {Models in Software Engineering - Workshops and Symposia at {MODELS}
2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7167},
pages = {217--243},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29645-1\_22},
doi = {10.1007/978-3-642-29645-1\_22},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/MussbacherAAABBBCCFFGGIJKKLMMPT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ClavreulMBF11,
author = {Mickael Clavreul and
S{\'{e}}bastien Mosser and
Mireille Blay{-}Fornarino and
Robert B. France},
editor = {Jon Whittle and
Tony Clark and
Thomas K{\"{u}}hne},
title = {Service-Oriented Architecture Modeling: Bridging the Gap between Structure
and Behavior},
booktitle = {Model Driven Engineering Languages and Systems, 14th International
Conference, {MODELS} 2011, Wellington, New Zealand, October 16-21,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6981},
pages = {289--303},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24485-8\_21},
doi = {10.1007/978-3-642-24485-8\_21},
timestamp = {Sat, 30 Sep 2023 09:53:36 +0200},
biburl = {https://dblp.org/rec/conf/models/ClavreulMBF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/FlochYGDCRF11,
author = {Antoine Floch and
Tomofumi Yuki and
Cl{\'{e}}ment Guy and
Steven Derrien and
Beno{\^{\i}}t Combemale and
Sanjay V. Rajopadhye and
Robert B. France},
editor = {Jon Whittle and
Tony Clark and
Thomas K{\"{u}}hne},
title = {Model-Driven Engineering and Optimizing Compilers: {A} Bridge Too
Far?},
booktitle = {Model Driven Engineering Languages and Systems, 14th International
Conference, {MODELS} 2011, Wellington, New Zealand, October 16-21,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6981},
pages = {608--622},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24485-8\_45},
doi = {10.1007/978-3-642-24485-8\_45},
timestamp = {Fri, 09 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/FlochYGDCRF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/policy/SunFR11,
author = {Wuliang Sun and
Robert B. France and
Indrakshi Ray},
title = {Rigorous Analysis of {UML} Access Control Policy Models},
booktitle = {{POLICY} 2011, {IEEE} International Symposium on Policies for Distributed
Systems and Networks, Pisa, Italy, 6-8 June 2011},
pages = {9--16},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/POLICY.2011.30},
doi = {10.1109/POLICY.2011.30},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/policy/SunFR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AcherCLF11,
author = {Mathieu Acher and
Philippe Collet and
Philippe Lahire and
Robert B. France},
editor = {William C. Chu and
W. Eric Wong and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {A domain-specific language for managing feature models},
booktitle = {Proceedings of the 2011 {ACM} Symposium on Applied Computing (SAC),
TaiChung, Taiwan, March 21 - 24, 2011},
pages = {1333--1340},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1982185.1982473},
doi = {10.1145/1982185.1982473},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/AcherCLF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/AcherCLF11,
author = {Mathieu Acher and
Philippe Collet and
Philippe Lahire and
Robert B. France},
editor = {Patrick Heymans and
Krzysztof Czarnecki and
Ulrich W. Eisenecker},
title = {Managing feature models with familiar: a demonstration of the language
and its tool support},
booktitle = {Fifth International Workshop on Variability Modelling of Software-Intensive
Systems, Namur, Belgium, January 27-29, 2011. Proceedings},
series = {{ACM} International Conference Proceedings Series},
pages = {91--96},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1944892.1944903},
doi = {10.1145/1944892.1944903},
timestamp = {Fri, 30 Dec 2022 23:08:55 +0100},
biburl = {https://dblp.org/rec/conf/vamos/AcherCLF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecmdafa/2011,
editor = {Robert B. France and
Jochen Malte K{\"{u}}ster and
Behzad Bordbar and
Richard F. Paige},
title = {Modelling Foundations and Applications - 7th European Conference,
{ECMFA} 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6698},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21470-7},
doi = {10.1007/978-3-642-21470-7},
isbn = {978-3-642-21469-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AssmannBCF11,
author = {Uwe A{\ss}mann and
Nelly Bencomo and
Betty H. C. Cheng and
Robert B. France},
title = {Models@run.time (Dagstuhl Seminar 11481)},
journal = {Dagstuhl Reports},
volume = {1},
number = {11},
pages = {91--123},
year = {2011},
url = {https://doi.org/10.4230/DagRep.1.11.91},
doi = {10.4230/DAGREP.1.11.91},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/AssmannBCF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BaudryGFFTM10,
author = {Benoit Baudry and
Sudipto Ghosh and
Franck Fleurey and
Robert B. France and
Yves Le Traon and
Jean{-}Marie Mottu},
title = {Barriers to systematic model transformation testing},
journal = {Commun. {ACM}},
volume = {53},
number = {6},
pages = {139--143},
year = {2010},
url = {https://doi.org/10.1145/1743546.1743583},
doi = {10.1145/1743546.1743583},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/BaudryGFFTM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR10,
author = {Robert B. France and
Bernhard Rumpe},
title = {The 8th Annual State of SoSyM Report},
journal = {Softw. Syst. Model.},
volume = {9},
number = {1},
pages = {1--3},
year = {2010},
url = {https://doi.org/10.1007/s10270-009-0143-2},
doi = {10.1007/S10270-009-0143-2},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR10a,
author = {Robert B. France and
Bernhard Rumpe},
title = {Modeling for the cloud},
journal = {Softw. Syst. Model.},
volume = {9},
number = {2},
pages = {139--140},
year = {2010},
url = {https://doi.org/10.1007/s10270-010-0159-7},
doi = {10.1007/S10270-010-0159-7},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taosd/MosserBF10,
author = {S{\'{e}}bastien Mosser and
Mireille Blay{-}Fornarino and
Robert B. France},
title = {Workflow Design Using Fragment Composition - Crisis Management System
Design through {ADORE}},
journal = {{LNCS} Trans. Aspect Oriented Softw. Dev.},
volume = {7},
pages = {200--233},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16086-8\_6},
doi = {10.1007/978-3-642-16086-8\_6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taosd/MosserBF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/AcherCLF10,
author = {Mathieu Acher and
Philippe Collet and
Philippe Lahire and
Robert B. France},
editor = {Thomas K{\"{u}}hne and
Bran Selic and
Marie{-}Pierre Gervais and
Fran{\c{c}}ois Terrier},
title = {Comparing Approaches to Implement Feature Model Composition},
booktitle = {Modelling Foundations and Applications - 6th European Conference,
{ECMFA} 2010, Paris, France, June 15-18, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6138},
pages = {3--19},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13595-8\_3},
doi = {10.1007/978-3-642-13595-8\_3},
timestamp = {Tue, 16 Feb 2021 15:53:52 +0100},
biburl = {https://dblp.org/rec/conf/ecmdafa/AcherCLF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/WuHOCF10,
author = {Yali Wu and
Frank Hernandez and
Francisco Ortega and
Peter J. Clarke and
Robert B. France},
title = {Measuring the effort for creating and using domain-specific models},
booktitle = {DSM@SPLASH 2010: Proceedings of the 10th Workshop on Domain-Specific
Modeling, Reno, Nevada, USA, October 17-18, 2010},
pages = {14:1--14:6},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/2060329.2060360},
doi = {10.1145/2060329.2060360},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/WuHOCF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soco/AcherCLF10,
author = {Mathieu Acher and
Philippe Collet and
Philippe Lahire and
Robert B. France},
editor = {Benoit Baudry and
Eric Wohlstadter},
title = {Managing Variability in Workflow with Feature Model Composition Operators},
booktitle = {Software Composition - 9th International Conference, SC@TOOLS 2010,
Malaga, Spain, July 1-2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6144},
pages = {17--33},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14046-4\_2},
doi = {10.1007/978-3-642-14046-4\_2},
timestamp = {Thu, 25 Jun 2020 18:42:50 +0200},
biburl = {https://dblp.org/rec/conf/soco/AcherCLF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BlairBF09,
author = {Gordon S. Blair and
Nelly Bencomo and
Robert B. France},
title = {Models@ run.time},
journal = {Computer},
volume = {42},
number = {10},
pages = {22--27},
year = {2009},
url = {https://doi.org/10.1109/MC.2009.326},
doi = {10.1109/MC.2009.326},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BlairBF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/WoodsidePPXIGFBHJ09,
author = {C. Murray Woodside and
Dorina C. Petriu and
Dorin Bogdan Petriu and
Jing Xu and
Tauseef A. Israr and
Geri Georg and
Robert B. France and
James M. Bieman and
Siv Hilde Houmb and
Jan J{\"{u}}rjens},
title = {Performance analysis of security aspects by weaving scenarios extracted
from {UML} models},
journal = {J. Syst. Softw.},
volume = {82},
number = {1},
pages = {56--74},
year = {2009},
url = {https://doi.org/10.1016/j.jss.2008.03.067},
doi = {10.1016/J.JSS.2008.03.067},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/WoodsidePPXIGFBHJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BaillargeonFZRVG09,
author = {Robert Baillargeon and
Robert B. France and
Steffen Zschaler and
Bernhard Rumpe and
Steven V{\"{o}}lkel and
Geri Georg},
title = {Workshop on modeling in software engineering at {ICSE} 2009},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {34},
number = {4},
pages = {34--37},
year = {2009},
url = {https://doi.org/10.1145/1543405.1543432},
doi = {10.1145/1543405.1543432},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/BaillargeonFZRVG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceRS09,
author = {Robert B. France and
Bernhard Rumpe and
Martin Schindler},
title = {SoSyM at 7 years},
journal = {Softw. Syst. Model.},
volume = {8},
number = {1},
pages = {1--3},
year = {2009},
url = {https://doi.org/10.1007/s10270-008-0107-y},
doi = {10.1007/S10270-008-0107-Y},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/France09,
author = {Robert B. France},
title = {Why Johnny can't model},
journal = {Softw. Syst. Model.},
volume = {8},
number = {2},
pages = {163--164},
year = {2009},
url = {https://doi.org/10.1007/s10270-009-0117-4},
doi = {10.1007/S10270-009-0117-4},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/France09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/YuFRG09,
author = {Lijun Yu and
Robert B. France and
Indrakshi Ray and
Sudipto Ghosh},
title = {A Rigorous Approach to Uncovering Security Policy Violations in {UML}
Designs},
booktitle = {14th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2009, Potsdam, Germany, 2-4 June 2009},
pages = {126--135},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICECCS.2009.16},
doi = {10.1109/ICECCS.2009.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/YuFRG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BaillargeonRVFGZ09,
author = {Robert Baillargeon and
Bernhard Rumpe and
Steven V{\"{o}}lkel and
Robert B. France and
Geri Georg and
Steffen Zschaler},
title = {Modeling in Software Engineering (MiSE 09)},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Companion Volume},
pages = {453--454},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE-COMPANION.2009.5071058},
doi = {10.1109/ICSE-COMPANION.2009.5071058},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BaillargeonRVFGZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/FranceG09a,
author = {Robert B. France and
Martin Gogolla},
editor = {Sudipto Ghosh},
title = {Essentials of the 5th Educators' Symposium at {MODELS} 2009},
booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS}
2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6002},
pages = {36--39},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12261-3\_4},
doi = {10.1007/978-3-642-12261-3\_4},
timestamp = {Wed, 23 Feb 2022 12:58:06 +0100},
biburl = {https://dblp.org/rec/conf/models/FranceG09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BezivinFGHTV09,
author = {Jean B{\'{e}}zivin and
Robert B. France and
Martin Gogolla and
{\O}ystein Haugen and
Gabriele Taentzer and
D{\'{a}}niel Varr{\'{o}}},
editor = {Sudipto Ghosh},
title = {Teaching Modeling: Why, When, What?},
booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS}
2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6002},
pages = {55--62},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12261-3\_6},
doi = {10.1007/978-3-642-12261-3\_6},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/BezivinFGHTV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BencomoBFMJ09,
author = {Nelly Bencomo and
Gordon S. Blair and
Robert B. France and
Freddy Mu{\~{n}}oz and
C{\'{e}}dric Jeanneret},
editor = {Sudipto Ghosh},
title = {4\({}^{\mbox{th}}\) International Workshop on Models@run.time},
booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS}
2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6002},
pages = {119--123},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12261-3\_12},
doi = {10.1007/978-3-642-12261-3\_12},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/BencomoBFMJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/FranceG09,
author = {Robert B. France and
Martin Gogolla},
editor = {Andy Sch{\"{u}}rr and
Bran Selic},
title = {Educators' Symposium at {MODELS} 2009},
booktitle = {Model Driven Engineering Languages and Systems, 12th International
Conference, {MODELS} 2009, Denver, CO, USA, October 4-9, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5795},
pages = {753--754},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04425-0\_62},
doi = {10.1007/978-3-642-04425-0\_62},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/models/FranceG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/AcherCLF09,
author = {Mathieu Acher and
Philippe Collet and
Philippe Lahire and
Robert B. France},
editor = {Mark van den Brand and
Dragan Gasevic and
Jeff Gray},
title = {Composing Feature Models},
booktitle = {Software Language Engineering, Second International Conference, {SLE}
2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5969},
pages = {62--81},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12107-4\_6},
doi = {10.1007/978-3-642-12107-4\_6},
timestamp = {Mon, 21 Jun 2021 12:26:17 +0200},
biburl = {https://dblp.org/rec/conf/sle/AcherCLF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/taosd/2009-6,
editor = {Shmuel Katz and
Harold Ossher and
Robert B. France and
Jean{-}Marc J{\'{e}}z{\'{e}}quel},
title = {Transactions on Aspect-Oriented Software Development VI, Special Issue
on Aspects and Model-Driven Engineering},
series = {Lecture Notes in Computer Science},
volume = {5560},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03764-1},
doi = {10.1007/978-3-642-03764-1},
isbn = {978-3-642-03763-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taosd/2009-6.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR08,
author = {Robert B. France and
Bernhard Rumpe},
title = {Model-based development},
journal = {Softw. Syst. Model.},
volume = {7},
number = {1},
pages = {1--2},
year = {2008},
url = {https://doi.org/10.1007/s10270-007-0071-y},
doi = {10.1007/S10270-007-0071-Y},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR08a,
author = {Robert B. France and
Bernhard Rumpe},
title = {Correct development of real time and embedded systems},
journal = {Softw. Syst. Model.},
volume = {7},
number = {2},
pages = {125},
year = {2008},
url = {https://doi.org/10.1007/s10270-008-0087-y},
doi = {10.1007/S10270-008-0087-Y},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/France08,
author = {Robert B. France},
title = {Fair treatment of evaluations in reviews},
journal = {Softw. Syst. Model.},
volume = {7},
number = {3},
pages = {253--254},
year = {2008},
url = {https://doi.org/10.1007/s10270-008-0096-x},
doi = {10.1007/S10270-008-0096-X},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/France08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/JeanneretFB08,
author = {C{\'{e}}dric Jeanneret and
Robert B. France and
Benoit Baudry},
editor = {Omar Aldawud and
Walter Cazzola and
Tzilla Elrad and
Jeff Gray and
J{\"{o}}rg Kienzle and
Dominik Stein},
title = {A reference process for model composition},
booktitle = {Proceedings of the 2008 {AOSD} Workshop on Aspect-Oriented Modeling,
{AOM} '08, Brussels, Belgium, April 1, 2008},
pages = {1--6},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1404920.1404921},
doi = {10.1145/1404920.1404921},
timestamp = {Tue, 28 Dec 2021 11:50:49 +0100},
biburl = {https://dblp.org/rec/conf/aosd/JeanneretFB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AtleeFGMRVZ08,
author = {Joanne M. Atlee and
Robert B. France and
Geri Georg and
Ana Moreira and
Bernhard Rumpe and
Steven V{\"{o}}lkel and
Steffen Zschaler},
editor = {Wilhelm Sch{\"{a}}fer and
Matthew B. Dwyer and
Volker Gruhn},
title = {Modeling in software engineering},
booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
Leipzig, Germany, May 10-18, 2008, Companion Volume},
pages = {1039--1040},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1370175.1370236},
doi = {10.1145/1370175.1370236},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AtleeFGMRVZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BencomoBFMJ08,
author = {Nelly Bencomo and
Gordon S. Blair and
Robert B. France and
Freddy Mu{\~{n}}oz and
C{\'{e}}dric Jeanneret},
editor = {Michel R. V. Chaudron},
title = {Third International Workshop on Models@run.time},
booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS}
2008, Toulouse, France, September 28 - October 3, 2008. Reports and
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5421},
pages = {90--96},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01648-6\_10},
doi = {10.1007/978-3-642-01648-6\_10},
timestamp = {Wed, 23 Feb 2022 12:58:05 +0100},
biburl = {https://dblp.org/rec/conf/models/BencomoBFMJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/YuFR08,
author = {Lijun Yu and
Robert B. France and
Indrakshi Ray},
editor = {Krzysztof Czarnecki and
Ileana Ober and
Jean{-}Michel Bruel and
Axel Uhl and
Markus V{\"{o}}lter},
title = {Scenario-Based Static Analysis of {UML} Class Models},
booktitle = {Model Driven Engineering Languages and Systems, 11th International
Conference, MoDELS 2008, Toulouse, France, September 28 - October
3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5301},
pages = {234--248},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87875-9\_17},
doi = {10.1007/978-3-540-87875-9\_17},
timestamp = {Fri, 30 Dec 2022 23:08:54 +0100},
biburl = {https://dblp.org/rec/conf/models/YuFR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ntms/MichotteVFF08,
author = {Lydia Michotte and
Thomas Vergnaud and
Peter H. Feiler and
Robert B. France},
editor = {Akshai Aggarwal and
Mohamad Badra and
Fabio Massacci},
title = {Aspect Oriented Modeling of Component Architectures Using {AADL}},
booktitle = {{NTMS} 2008, 2nd International Conference on New Technologies, Mobility
and Security, November 5-7, 2008, Tangier, Morocco},
pages = {1--6},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/NTMS.2008.ECP.26},
doi = {10.1109/NTMS.2008.ECP.26},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/ntms/MichotteVFF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2008mise,
editor = {Joanne M. Atlee and
Robert B. France and
Geri Georg and
Ana Moreira and
Bernhard Rumpe and
Steven V{\"{o}}lkel and
Steffen Zschaler},
title = {International Workshop on Modeling in Software Engineering, MiSE 2008,
Leipzig, Germany, May 10-11, 2008},
publisher = {{ACM}},
year = {2008},
url = {http://dl.acm.org/citation.cfm?id=1370731},
isbn = {978-1-60558-025-8},
timestamp = {Tue, 23 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/2008mise.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/Henderson-SellersFGR07,
author = {Brian Henderson{-}Sellers and
Robert B. France and
Geri Georg and
Raghu Reddy},
title = {A method engineering approach to developing aspect-oriented modelling
processes based on the {OPEN} process framework},
journal = {Inf. Softw. Technol.},
volume = {49},
number = {7},
pages = {761--773},
year = {2007},
url = {https://doi.org/10.1016/j.infsof.2006.08.003},
doi = {10.1016/J.INFSOF.2006.08.003},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/Henderson-SellersFGR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/PilskalnsAKGF07,
author = {Orest Pilskalns and
Anneliese Amschler Andrews and
Andrew Knight and
Sudipto Ghosh and
Robert B. France},
title = {Testing {UML} designs},
journal = {Inf. Softw. Technol.},
volume = {49},
number = {8},
pages = {892--912},
year = {2007},
url = {https://doi.org/10.1016/j.infsof.2006.10.002},
doi = {10.1016/J.INFSOF.2006.10.002},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/PilskalnsAKGF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR07,
author = {Robert B. France and
Bernhard Rumpe},
title = {Does model driven engineering tame complexity?},
journal = {Softw. Syst. Model.},
volume = {6},
number = {1},
pages = {1--2},
year = {2007},
url = {https://doi.org/10.1007/s10270-006-0041-9},
doi = {10.1007/S10270-006-0041-9},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR07a,
author = {Robert B. France and
Bernhard Rumpe},
title = {Feedback on our editorials},
journal = {Softw. Syst. Model.},
volume = {6},
number = {3},
pages = {221},
year = {2007},
url = {https://doi.org/10.1007/s10270-007-0059-7},
doi = {10.1007/S10270-007-0059-7},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR07b,
author = {Robert B. France and
Bernhard Rumpe},
title = {Six years of modeling in SoSyM},
journal = {Softw. Syst. Model.},
volume = {6},
number = {4},
pages = {349--352},
year = {2007},
url = {https://doi.org/10.1007/s10270-007-0070-z},
doi = {10.1007/S10270-007-0070-Z},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR07b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/LundesgaardSOFAE07,
author = {Sten A. Lundesgaard and
Arnor Solberg and
Jon Oldevik and
Robert B. France and
Jan {\O}yvind Aagedal and
Frank Eliassen},
editor = {Jadwiga Indulska and
Kerry Raymond},
title = {Construction and Execution of Adaptable Applications Using an Aspect-Oriented
and Model Driven Approach},
booktitle = {Distributed Applications and Interoperable Systems, 7th {IFIP} {WG}
6.1 International Conference, {DAIS} 2007, Paphos, Cyprus, June 6-8,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4531},
pages = {76--89},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72883-2\_6},
doi = {10.1007/978-3-540-72883-2\_6},
timestamp = {Thu, 14 Oct 2021 09:51:55 +0200},
biburl = {https://dblp.org/rec/conf/dais/LundesgaardSOFAE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/BencomoBF07,
author = {Nelly Bencomo and
Gordon S. Blair and
Robert B. France},
editor = {Michael Cebulla},
title = {Model-Driven Software Adaptation},
booktitle = {Object-Oriented Technology. {ECOOP} 2007 Workshop Reader, Berlin,
Germany, July 30-31, 2007, Final Reports},
series = {Lecture Notes in Computer Science},
volume = {4906},
pages = {132--141},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78195-0\_13},
doi = {10.1007/978-3-540-78195-0\_13},
timestamp = {Sun, 02 Jun 2019 21:21:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/BencomoBF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/MichotteFF07,
author = {Lydia Michotte and
Robert B. France and
Franck Fleurey},
title = {Modeling and Integrating Aspects into Component Architectures},
booktitle = {11th {IEEE} International Enterprise Distributed Object Computing
Conference {(EDOC} 2007), 15-19 October 2007, Annapolis, Maryland,
{USA}},
pages = {181--192},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/EDOC.2007.49},
doi = {10.1109/EDOC.2007.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edoc/MichotteFF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/FranceFRBG07,
author = {Robert B. France and
Franck Fleurey and
Raghu Reddy and
Benoit Baudry and
Sudipto Ghosh},
title = {Providing Support for Model Composition in Metamodels},
booktitle = {11th {IEEE} International Enterprise Distributed Object Computing
Conference {(EDOC} 2007), 15-19 October 2007, Annapolis, Maryland,
{USA}},
pages = {253--266},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/EDOC.2007.55},
doi = {10.1109/EDOC.2007.55},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edoc/FranceFRBG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/YuFRL07,
author = {Lijun Yu and
Robert B. France and
Indrakshi Ray and
Kevin Lano},
title = {A light-weight static approach to analyzing {UML} behavioral properties},
booktitle = {12th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2007), 10-14 July 2007, Auckland, New Zealand},
pages = {56--63},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICECCS.2007.10},
doi = {10.1109/ICECCS.2007.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/YuFRL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Greenwood0R0SCS07,
author = {Phil Greenwood and
Alessandro F. Garcia and
Awais Rashid and
Eduardo Figueiredo and
Cl{\'{a}}udio Sant'Anna and
N{\'{e}}lio Cacho and
Am{\'{e}}rico Sampaio and
S{\'{e}}rgio Soares and
Paulo Borba and
Marcos D{\'{o}}sea and
Ricardo Argenton Ramos and
Uir{\'{a}} Kulesza and
Thiago T. Bartolomei and
M{\'{o}}nica Pinto and
Lidia Fuentes and
Nadia G{\'{a}}mez and
Ana Moreira and
Jo{\~{a}}o Ara{\'{u}}jo and
Tha{\'{\i}}s Batista and
Ana Luisa Medeiros and
Francisco Dantas and
Lyrene Fernandes da Silva and
Jan Wloka and
Christina Chavez and
Robert B. France and
Isabel Sofia Brito},
title = {On the Contributions of an End-to-End {AOSD} Testbed},
booktitle = {Early Aspects at {ICSE:} Workshops in Aspect-Oriented Requirements
Engineering and Architecture Design, Minneapolis, MN, USA, 20-26 May
2007},
pages = {8},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/EARLYASPECTS.2007.8},
doi = {10.1109/EARLYASPECTS.2007.8},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/Greenwood0R0SCS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FranceR07,
author = {Robert B. France and
Bernhard Rumpe},
editor = {Lionel C. Briand and
Alexander L. Wolf},
title = {Model-driven Development of Complex Software: {A} Research Roadmap},
booktitle = {International Conference on Software Engineering, {ISCE} 2007, Workshop
on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007,
Minneapolis, MN, {USA}},
pages = {37--54},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FOSE.2007.14},
doi = {10.1109/FOSE.2007.14},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/FranceR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AtleeFGMRZ07,
author = {Joanne M. Atlee and
Robert B. France and
Geri Georg and
Ana Moreira and
Bernhard Rumpe and
Steffen Zschaler},
title = {Modeling in Software Engineering},
booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
Minneapolis, MN, USA, May 20-26, 2007, Companion Volume},
pages = {113--114},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSECOMPANION.2007.53},
doi = {10.1109/ICSECOMPANION.2007.53},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AtleeFGMRZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lmo/France07,
author = {Robert B. France},
editor = {Isabelle Borne and
Xavier Cr{\'{e}}gut and
Sophie Ebersold and
Fr{\'{e}}d{\'{e}}ric Migeon},
title = {Realizing the Model Driven Engineering Vision},
booktitle = {Actes des journ{\'{e}}es Langages et Mod{\`{e}}les {\`{a}} Objets,
LMO'07. Toulouse, France, 27-29 mars},
pages = {15},
publisher = {Herm{\`{e}}s Lavoisier},
year = {2007},
timestamp = {Thu, 05 Jul 2018 08:02:17 +0200},
biburl = {https://dblp.org/rec/conf/lmo/France07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/FleureyBFG07,
author = {Franck Fleurey and
Benoit Baudry and
Robert B. France and
Sudipto Ghosh},
editor = {Holger Giese},
title = {A Generic Approach for Automatic Model Composition},
booktitle = {Models in Software Engineering, Workshops and Symposia at MoDELS 2007,
Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5002},
pages = {7--15},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69073-3\_2},
doi = {10.1007/978-3-540-69073-3\_2},
timestamp = {Wed, 23 Feb 2022 12:58:02 +0100},
biburl = {https://dblp.org/rec/conf/models/FleureyBFG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BencomoFB07,
author = {Nelly Bencomo and
Robert B. France and
Gordon S. Blair},
editor = {Holger Giese},
title = {Second International Workshop on Models@run.time},
booktitle = {Models in Software Engineering, Workshops and Symposia at MoDELS 2007,
Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5002},
pages = {206--211},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69073-3\_22},
doi = {10.1007/978-3-540-69073-3\_22},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/BencomoFB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/PetriuWPXIGFBHJ07,
author = {Dorina C. Petriu and
C. Murray Woodside and
Dorin Bogdan Petriu and
Jing Xu and
Toqeer Israr and
Geri Georg and
Robert B. France and
James M. Bieman and
Siv Hilde Houmb and
Jan J{\"{u}}rjens},
editor = {Vittorio Cortellessa and
Sebasti{\'{a}}n Uchitel and
Daniel Yankelevich},
title = {Performance analysis of security aspects in {UML} models},
booktitle = {Proceedings of the 6th International Workshop on Software and Performance,
{WOSP} 2007, Buenes Aires, Argentina, February 5-8, 2007},
pages = {91--102},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1216993.1217010},
doi = {10.1145/1216993.1217010},
timestamp = {Tue, 28 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wosp/PetriuWPXIGFBHJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/FranceGDS06,
author = {Robert B. France and
Sudipto Ghosh and
Trung T. Dinh{-}Trong and
Arnor Solberg},
title = {Model-Driven Development Using {UML} 2.0: Promises and Pitfalls},
journal = {Computer},
volume = {39},
number = {2},
pages = {59--66},
year = {2006},
url = {https://doi.org/10.1109/MC.2006.65},
doi = {10.1109/MC.2006.65},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/FranceGDS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcis/SolbergSRFGA06,
author = {Arnor Solberg and
Devon M. Simmonds and
Raghu Reddy and
Robert B. France and
Sudipto Ghosh and
Jan {\O}yvind Aagedal},
title = {Developing Distributed Services Using an Aspect Oriented Model Driven
Framework},
journal = {Int. J. Cooperative Inf. Syst.},
volume = {15},
number = {4},
pages = {535--564},
year = {2006},
url = {https://doi.org/10.1142/S0218843006001487},
doi = {10.1142/S0218843006001487},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcis/SolbergSRFGA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR06,
author = {Robert B. France and
Bernhard Rumpe},
title = {Modeling the Complex Living World},
journal = {Softw. Syst. Model.},
volume = {5},
number = {1},
pages = {1--2},
year = {2006},
url = {https://doi.org/10.1007/s10270-006-0008-x},
doi = {10.1007/S10270-006-0008-X},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR06a,
author = {Robert B. France and
Bernhard Rumpe},
title = {Editorial for the SoSyM issue 2006/02},
journal = {Softw. Syst. Model.},
volume = {5},
number = {2},
pages = {1},
year = {2006},
url = {https://doi.org/10.1007/s10270-006-0019-7},
doi = {10.1007/S10270-006-0019-7},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR06b,
author = {Robert B. France and
Bernhard Rumpe},
title = {Five years of modeling in SoSyM},
journal = {Softw. Syst. Model.},
volume = {5},
number = {4},
pages = {343--347},
year = {2006},
url = {https://doi.org/10.1007/s10270-006-0035-7},
doi = {10.1007/S10270-006-0035-7},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR06b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taosd/ReddyGFSBMSG06,
author = {Y. Raghu Reddy and
Sudipto Ghosh and
Robert B. France and
Greg Straw and
James M. Bieman and
Nathan McEachen and
Eunjee Song and
Geri Georg},
title = {Directives for Composing Aspect-Oriented Design Class Models},
journal = {{LNCS} Trans. Aspect Oriented Softw. Dev.},
volume = {1},
pages = {75--105},
year = {2006},
url = {https://doi.org/10.1007/11687061\_3},
doi = {10.1007/11687061\_3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taosd/ReddyGFSBMSG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Dinh-TrongGF06,
author = {Trung T. Dinh{-}Trong and
Sudipto Ghosh and
Robert B. France},
title = {A Systematic Approach to Generate Inputs to Test {UML} Design Models},
booktitle = {17th International Symposium on Software Reliability Engineering {(ISSRE}
2006), 7-10 November 2006, Raleigh, North Carolina, {USA}},
pages = {95--104},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISSRE.2006.10},
doi = {10.1109/ISSRE.2006.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/Dinh-TrongGF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GeorgHFZPJ06,
author = {Geri Georg and
Siv Hilde Houmb and
Robert B. France and
Steffen Zschaler and
Dorina C. Petriu and
Jan J{\"{u}}rjens},
editor = {Thomas K{\"{u}}hne},
title = {Critical Systems Development Using Modeling Languages - {CSDUML} 2006
Workshop Report},
booktitle = {Models in Software Engineering, Workshops and Symposia at MoDELS 2006,
Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4364},
pages = {27--31},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-69489-2\_4},
doi = {10.1007/978-3-540-69489-2\_4},
timestamp = {Wed, 23 Feb 2022 12:58:00 +0100},
biburl = {https://dblp.org/rec/conf/models/GeorgHFZPJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BencomoBF06,
author = {Nelly Bencomo and
Gordon S. Blair and
Robert B. France},
editor = {Thomas K{\"{u}}hne},
title = {Summary of the Workshop Models@run.time at MoDELS 2006},
booktitle = {Models in Software Engineering, Workshops and Symposia at MoDELS 2006,
Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4364},
pages = {227--231},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-69489-2\_28},
doi = {10.1007/978-3-540-69489-2\_28},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/BencomoBF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/FranceBC06,
author = {Robert B. France and
James M. Bieman and
Betty H. C. Cheng},
editor = {Thomas K{\"{u}}hne},
title = {Repository for Model Driven Development (ReMoDD)},
booktitle = {Models in Software Engineering, Workshops and Symposia at MoDELS 2006,
Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4364},
pages = {311--317},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-69489-2\_38},
doi = {10.1007/978-3-540-69489-2\_38},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/FranceBC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jdm/TurkFR05,
author = {Daniel E. Turk and
Robert B. France and
Bernhard Rumpe},
title = {Assumptions Underlying Agile Software-Development Processes},
journal = {J. Database Manag.},
volume = {16},
number = {4},
pages = {62--87},
year = {2005},
url = {https://doi.org/10.4018/jdm.2005100104},
doi = {10.4018/JDM.2005100104},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jdm/TurkFR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR05,
author = {Robert B. France and
Bernhard Rumpe},
title = {Domain specific modeling},
journal = {Softw. Syst. Model.},
volume = {4},
number = {1},
pages = {1--3},
year = {2005},
url = {https://doi.org/10.1007/s10270-005-0078-1},
doi = {10.1007/S10270-005-0078-1},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR05a,
author = {Robert B. France and
Bernhard Rumpe},
title = {Model aesthetics},
journal = {Softw. Syst. Model.},
volume = {4},
number = {2},
pages = {107--108},
year = {2005},
url = {https://doi.org/10.1007/s10270-005-0081-6},
doi = {10.1007/S10270-005-0081-6},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR05b,
author = {Robert B. France and
Bernhard Rumpe},
title = {Modeling Paradigms},
journal = {Softw. Syst. Model.},
volume = {4},
number = {3},
pages = {233},
year = {2005},
url = {https://doi.org/10.1007/s10270-005-0096-z},
doi = {10.1007/S10270-005-0096-Z},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR05b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/GhoshFSBKSTVY05,
author = {Sudipto Ghosh and
Robert B. France and
Devon M. Simmonds and
Abhijit Bare and
Brahmila Kamalakar and
Roopashree P. Shankar and
Gagan Tandon and
Peter Vile and
Shuxin Yin},
title = {A middleware-transparent approach to developing distributed applications},
journal = {Softw. Pract. Exp.},
volume = {35},
number = {12},
pages = {1131--1154},
year = {2005},
url = {https://doi.org/10.1002/spe.666},
doi = {10.1002/SPE.666},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/GhoshFSBKSTVY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/AndrewsMRF05,
author = {Anneliese Amschler Andrews and
Ed Mancebo and
Per Runeson and
Robert B. France},
title = {A Framework for Design Tradeoffs},
journal = {Softw. Qual. J.},
volume = {13},
number = {4},
pages = {377--405},
year = {2005},
url = {https://doi.org/10.1007/s11219-005-4252-z},
doi = {10.1007/S11219-005-4252-Z},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/AndrewsMRF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SolbergSRGF05,
author = {Arnor Solberg and
Devon M. Simmonds and
Raghu Reddy and
Sudipto Ghosh and
Robert B. France},
title = {Using Aspect Oriented Techniques to Support Separation of Concerns
in Model Driven Development},
booktitle = {29th Annual International Computer Software and Applications Conference,
{COMPSAC} 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume
1},
pages = {121--126},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/COMPSAC.2005.168},
doi = {10.1109/COMPSAC.2005.168},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/SolbergSRGF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eclipse/Dinh-TrongGFHW05,
author = {Trung T. Dinh{-}Trong and
Sudipto Ghosh and
Robert B. France and
Michael Hamilton and
Brent Wilkins},
editor = {Margaret{-}Anne D. Storey and
Michael G. Burke and
Li{-}Te Cheng and
Andr{\'{e}} van der Hoek},
title = {UMLAnT: an Eclipse plugin for animating and testing {UML} designs},
booktitle = {Proceedings of the 2005 {OOPSLA} workshop on Eclipse Technology eXchange,
{ETX} 2005, San Diego, California, USA, October 16-17, 2005},
pages = {120--124},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1117696.1117721},
doi = {10.1145/1117696.1117721},
timestamp = {Mon, 14 Feb 2022 14:38:20 +0100},
biburl = {https://dblp.org/rec/conf/eclipse/Dinh-TrongGFHW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/SimmondsRFGS05,
author = {Devon M. Simmonds and
Raghu Reddy and
Robert B. France and
Sudipto Ghosh and
Arnor Solberg},
title = {An Aspect Oriented Model Driven Framework},
booktitle = {Ninth {IEEE} International Enterprise Distributed Object Computing
Conference {(EDOC} 2005), 19-23 September 2005, Enschede, The Netherlands},
pages = {119--130},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/EDOC.2005.5},
doi = {10.1109/EDOC.2005.5},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edoc/SimmondsRFGS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/HoumbGFBJ05,
author = {Siv Hilde Houmb and
Geri Georg and
Robert B. France and
James M. Bieman and
Jan J{\"{u}}rjens},
title = {Cost-Benefit Trade-Off Analysis Using {BBN} for Aspect-Oriented Risk-Driven
Development},
booktitle = {10th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2005), 16-20 June 2005, Shanghai, China},
pages = {195--204},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICECCS.2005.30},
doi = {10.1109/ICECCS.2005.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/HoumbGFBJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Dinh-TrongKGFA05,
author = {Trung T. Dinh{-}Trong and
Nilesh Kawane and
Sudipto Ghosh and
Robert B. France and
Anneliese Amschler Andrews},
title = {A Tool-Supported Approach to Testing {UML} Design Models},
booktitle = {10th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2005), 16-20 June 2005, Shanghai, China},
pages = {519--528},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICECCS.2005.16},
doi = {10.1109/ICECCS.2005.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Dinh-TrongKGFA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/SongRFRGA05,
author = {Eunjee Song and
Raghu Reddy and
Robert B. France and
Indrakshi Ray and
Geri Georg and
Roger T. Alexander},
editor = {Elena Ferrari and
Gail{-}Joon Ahn},
title = {Verifiable composition of access control and application features},
booktitle = {10th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
2005, Stockholm, Sweden, June 1-3, 2005, Proceedings},
pages = {120--129},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1063979.1064001},
doi = {10.1145/1063979.1064001},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sacmat/SongRFRGA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsmai/FranceBD05,
author = {Robert B. France and
Roger Burkhart and
Charmaine DeLisser},
editor = {Savitri Bevinakoppa and
Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi},
title = {A Model-based approach to Managing Enterprise Information Systems},
booktitle = {Web Services and Model-Driven Enterprise Information Services, Proceedings
of the Joint Workshop on Web Services and Model-Driven Enterprise
Information Services, {WSMDEIS} 2005, In conjunction with {ICEIS}
2005, Miami, USA, May 2005},
pages = {149--157},
publisher = {{INSTICC} Press},
year = {2005},
timestamp = {Mon, 27 Jun 2005 13:41:58 +0200},
biburl = {https://dblp.org/rec/conf/wsmai/FranceBD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/FranceRGG04,
author = {Robert B. France and
Indrakshi Ray and
Geri Georg and
Sudipto Ghosh},
title = {Aspect-oriented approach to early design modelling},
journal = {{IEE} Proc. Softw.},
volume = {151},
number = {4},
pages = {173--186},
year = {2004},
url = {https://doi.org/10.1049/ip-sen:20040920},
doi = {10.1049/IP-SEN:20040920},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/FranceRGG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/RayFLG04,
author = {Indrakshi Ray and
Robert B. France and
Na Li and
Geri Georg},
title = {An aspect-based approach to modeling access control concerns},
journal = {Inf. Softw. Technol.},
volume = {46},
number = {9},
pages = {575--587},
year = {2004},
url = {https://doi.org/10.1016/j.infsof.2003.10.007},
doi = {10.1016/J.INFSOF.2003.10.007},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/RayFLG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/AlexanderBF04,
author = {Roger T. Alexander and
James M. Bieman and
Robert B. France},
title = {A software engineering research repository},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {29},
number = {5},
pages = {1--4},
year = {2004},
url = {https://doi.org/10.1145/1022494.1022532},
doi = {10.1145/1022494.1022532},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/AlexanderBF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR04,
author = {Robert B. France and
Bernhard Rumpe},
title = {In search of effective design abstractions},
journal = {Softw. Syst. Model.},
volume = {3},
number = {1},
pages = {1--3},
year = {2004},
url = {https://doi.org/10.1007/s10270-004-0052-3},
doi = {10.1007/S10270-004-0052-3},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR04a,
author = {Robert B. France and
Bernhard Rumpe},
title = {Assessing model quality},
journal = {Softw. Syst. Model.},
volume = {3},
number = {3},
pages = {179--180},
year = {2004},
url = {https://doi.org/10.1007/s10270-004-0068-8},
doi = {10.1007/S10270-004-0068-8},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR04b,
author = {Robert B. France and
Bernhard Rumpe},
title = {SoSyM at three},
journal = {Softw. Syst. Model.},
volume = {3},
number = {4},
pages = {255--257},
year = {2004},
url = {https://doi.org/10.1007/s10270-004-0075-9},
doi = {10.1007/S10270-004-0075-9},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR04b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FranceKGS04,
author = {Robert B. France and
Dae{-}Kyoo Kim and
Sudipto Ghosh and
Eunjee Song},
title = {A UML-Based Pattern Specification Technique},
journal = {{IEEE} Trans. Software Eng.},
volume = {30},
number = {3},
pages = {193--206},
year = {2004},
url = {https://doi.org/10.1109/TSE.2004.1271174},
doi = {10.1109/TSE.2004.1271174},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/FranceKGS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/KimFG04,
author = {Dae{-}Kyoo Kim and
Robert B. France and
Sudipto Ghosh},
title = {A UML-based language for specifying domain-specific patterns},
journal = {J. Vis. Lang. Comput.},
volume = {15},
number = {3-4},
pages = {265--289},
year = {2004},
url = {https://doi.org/10.1016/j.jvlc.2004.01.004},
doi = {10.1016/J.JVLC.2004.01.004},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/KimFG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/AndrewsRF04,
author = {Anneliese Amschler Andrews and
Per Runeson and
Robert B. France},
title = {Requirements Trade-offs During {UML} Design},
booktitle = {11th {IEEE} International Conference on the Engineering of Computer-Based
Systems {(ECBS} 2004), 24-27 May 2004, Brno, Czech Republic},
pages = {282--292},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ECBS.2004.1316710},
doi = {10.1109/ECBS.2004.1316710},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/AndrewsRF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/KimRFL04,
author = {Dae{-}Kyoo Kim and
Indrakshi Ray and
Robert B. France and
Na Li},
editor = {Michel Wermelinger and
Tiziana Margaria},
title = {Modeling Role-Based Access Control Using Parameterized {UML} Models},
booktitle = {Fundamental Approaches to Software Engineering, 7th International
Conference, {FASE} 2004, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2004 Barcelona, Spain,
March 29 - april 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2984},
pages = {180--193},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24721-0\_13},
doi = {10.1007/978-3-540-24721-0\_13},
timestamp = {Sun, 02 Jun 2019 21:17:06 +0200},
biburl = {https://dblp.org/rec/conf/fase/KimRFL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/JudsonFC04,
author = {Sheena R. Judson and
Robert B. France and
Doris L. Carver},
title = {Supporting Rigorous Evolution of {UML} Models},
booktitle = {9th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2004), 14-16 April 2004, Florence, Italy},
pages = {128--137},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICECCS.2004.1310911},
doi = {10.1109/ICECCS.2004.1310911},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/JudsonFC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/RayLFK04,
author = {Indrakshi Ray and
Na Li and
Robert B. France and
Dae{-}Kyoo Kim},
editor = {Trent Jaeger and
Elena Ferrari},
title = {Using uml to visualize role-based access control constraints},
booktitle = {9th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
2004, Yorktown Heights, New York, USA, June 2-4, 2004, Proceedings},
pages = {115--124},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/990036.990054},
doi = {10.1145/990036.990054},
timestamp = {Tue, 06 Nov 2018 16:57:58 +0100},
biburl = {https://dblp.org/rec/conf/sacmat/RayLFK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/JurjensFFRH04,
author = {Jan J{\"{u}}rjens and
Eduardo B. Fern{\'{a}}ndez and
Robert B. France and
Bernhard Rumpe and
Constance L. Heitmeyer},
editor = {Nuno Jardim Nunes and
Bran Selic and
Alberto Rodrigues da Silva and
Jos{\'{e}} Ambrosio Toval {\'{A}}lvarez},
title = {Critical Systems Development Using Modeling Languages {(CSDUML-04):}
Current Developments and Future Challenges (Report on the Third International
Workshop)},
booktitle = {{UML} Modeling Languages and Applications, {\guillemotleft}UML{\guillemotright}
2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3297},
pages = {76--84},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31797-5\_9},
doi = {10.1007/978-3-540-31797-5\_9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/JurjensFFRH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/StrawGSFB04,
author = {Greg Straw and
Geri Georg and
Eunjee Song and
Sudipto Ghosh and
Robert B. France and
James M. Bieman},
editor = {Thomas Baar and
Alfred Strohmeier and
Ana M. D. Moreira and
Stephen J. Mellor},
title = {Model Composition Directives},
booktitle = {{\guillemotleft}UML{\guillemotright} 2004 - The Unified Modelling
Language: Modelling Languages and Applications. 7th International
Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3273},
pages = {84--97},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30187-5\_7},
doi = {10.1007/978-3-540-30187-5\_7},
timestamp = {Mon, 15 Jun 2020 17:02:11 +0200},
biburl = {https://dblp.org/rec/conf/uml/StrawGSFB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/GeorgRF04,
author = {Geri Georg and
Raghu Reddy and
Robert B. France},
editor = {Thomas Baar and
Alfred Strohmeier and
Ana M. D. Moreira and
Stephen J. Mellor},
title = {Specifying Cross-Cutting Requirement Concerns},
booktitle = {{\guillemotleft}UML{\guillemotright} 2004 - The Unified Modelling
Language: Modelling Languages and Applications. 7th International
Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3273},
pages = {113--127},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30187-5\_9},
doi = {10.1007/978-3-540-30187-5\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uml/GeorgRF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/Dinh-TrongKGFA04,
author = {Trung T. Dinh{-}Trong and
Nilesh Kawane and
Sudipto Ghosh and
Robert B. France and
Anneliese Amschler Andrews},
editor = {Nuno Jardim Nunes and
Bran Selic and
Alberto Rodrigues da Silva and
Jos{\'{e}} Ambrosio Toval {\'{A}}lvarez},
title = {{EPTUD:} An Eclipse Plugin for Testing {UML} Designs},
booktitle = {{UML} Modeling Languages and Applications, {\guillemotleft}UML{\guillemotright}
2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3297},
pages = {234--237},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31797-5\_23},
doi = {10.1007/978-3-540-31797-5\_23},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/Dinh-TrongKGFA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/Lobjet/FranceGT03,
author = {Robert B. France and
Sudipto Ghosh and
Daniel E. Turk},
title = {Supporting Effective Software Modeling},
journal = {Obj. Logiciel Base donn{\'{e}}es R{\'{e}}seaux},
volume = {9},
number = {4},
pages = {11--29},
year = {2003},
url = {https://doi.org/10.3166/objet.9.4.11-29},
doi = {10.3166/OBJET.9.4.11-29},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/Lobjet/FranceGT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/FranceGSK03,
author = {Robert B. France and
Sudipto Ghosh and
Eunjee Song and
Dae{-}Kyoo Kim},
title = {A Metamodeling Approach to Pattern-Based Model Refactoring},
journal = {{IEEE} Softw.},
volume = {20},
number = {5},
pages = {52--58},
year = {2003},
url = {https://doi.org/10.1109/MS.2003.1231152},
doi = {10.1109/MS.2003.1231152},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/FranceGSK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR03,
author = {Robert B. France and
Bernhard Rumpe},
title = {Editorial},
journal = {Softw. Syst. Model.},
volume = {2},
number = {1},
pages = {1--2},
year = {2003},
url = {https://doi.org/10.1007/s10270-003-0021-2},
doi = {10.1007/S10270-003-0021-2},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR03a,
author = {Robert B. France and
Bernhard Rumpe},
title = {Editorial - Model engineering},
journal = {Softw. Syst. Model.},
volume = {2},
number = {2},
pages = {73--75},
year = {2003},
url = {https://doi.org/10.1007/s10270-003-0025-y},
doi = {10.1007/S10270-003-0025-Y},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR03b,
author = {Robert B. France and
Bernhard Rumpe},
title = {Editorial},
journal = {Softw. Syst. Model.},
volume = {2},
number = {4},
pages = {211--214},
year = {2003},
url = {https://doi.org/10.1007/s10270-003-0041-y},
doi = {10.1007/S10270-003-0041-Y},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR03b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/AndrewsFGC03,
author = {Anneliese Amschler Andrews and
Robert B. France and
Sudipto Ghosh and
Gerald Craig},
title = {Test adequacy criteria for {UML} design models},
journal = {Softw. Test. Verification Reliab.},
volume = {13},
number = {2},
pages = {95--127},
year = {2003},
url = {https://doi.org/10.1002/stvr.270},
doi = {10.1002/STVR.270},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/AndrewsFGC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/KimFGS03,
author = {Dae{-}Kyoo Kim and
Robert B. France and
Sudipto Ghosh and
Eunjee Song},
title = {A Role-Based Metamodeling Approach to Specifying Design Patterns},
booktitle = {27th International Computer Software and Applications Conference {(COMPSAC}
2003): Design and Assessment of Trustworthy Software-Based Systems,
3-6 November 2003, Dallas, TX, USA, Proceedings},
pages = {452},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CMPSAC.2003.1245379},
doi = {10.1109/CMPSAC.2003.1245379},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/KimFGS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/GhoshFBKAP03,
author = {Sudipto Ghosh and
Robert B. France and
Conrad Braganza and
Nilesh Kawane and
Anneliese Amschler Andrews and
Orest Pilskalns},
title = {Test Adequacy Assessment for {UML} Design Model Testing},
booktitle = {14th International Symposium on Software Reliability Engineering {(ISSRE}
2003), 17-20 November 2003, Denver, CO, {USA}},
pages = {332--346},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ISSRE.2003.1251054},
doi = {10.1109/ISSRE.2003.1251054},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/GhoshFBKAP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/JudsonCF03,
author = {Sheena R. Judson and
Doris L. Carver and
Robert B. France},
editor = {Ron Crocker and
Guy L. Steele Jr.},
title = {A metamodeling approach to model transformation},
booktitle = {Companion of the 18th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2003,
October 26-30, 2003, Anaheim, CA, {USA}},
pages = {326--327},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/949344.949435},
doi = {10.1145/949344.949435},
timestamp = {Fri, 25 Jun 2021 17:20:20 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/JudsonCF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tc11-5/RayLKF03,
author = {Indrakshi Ray and
Na Li and
Dae{-}Kyoo Kim and
Robert B. France},
editor = {Sushil Jajodia and
Leon Strous},
title = {Using Parameterized {UML} to Specify and Compose Access Control Models},
booktitle = {Integrity and Internal Control in Information Systems {VI} - {IFIP}
{TC11/WG11.5} Sixth Working Conference on Integrity and Internal Control
in Information Systems {(IICIS)} 13-14 November 2003, Lausanne, Switzerland},
series = {{IFIP}},
volume = {140},
pages = {49--65},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/1-4020-7901-X\_4},
doi = {10.1007/1-4020-7901-X\_4},
timestamp = {Tue, 23 May 2017 01:07:20 +0200},
biburl = {https://dblp.org/rec/conf/tc11-5/RayLKF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/PilskalnsAGF03,
author = {Orest Pilskalns and
Anneliese Amschler Andrews and
Sudipto Ghosh and
Robert B. France},
editor = {Perdita Stevens and
Jon Whittle and
Grady Booch},
title = {Rigorous Testing by Merging Structural and Behavioral {UML} Representations},
booktitle = {{\guillemotleft}UML{\guillemotright} 2003 - The Unified Modeling Language,
Modeling Languages and Applications, 6th International Conference,
San Francisco, CA, USA, October 20-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2863},
pages = {234--248},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45221-8\_21},
doi = {10.1007/978-3-540-45221-8\_21},
timestamp = {Tue, 24 May 2022 15:28:50 +0200},
biburl = {https://dblp.org/rec/conf/uml/PilskalnsAGF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranceR02,
author = {Robert B. France and
Bernhard Rumpe},
title = {First Issue of the International Journal on Software and Systems Modeling},
journal = {Softw. Syst. Model.},
volume = {1},
number = {1},
pages = {1--4},
year = {2002},
url = {https://doi.org/10.1007/s10270-002-0006-6},
doi = {10.1007/S10270-002-0006-6},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/FranceR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/AraujoWAF02,
author = {Jo{\~{a}}o Ara{\'{u}}jo and
Jonathan Whittle and
Jos{\'{e}} Ambrosio Toval {\'{A}}lvarez and
Robert B. France},
editor = {Juan Hern{\'{a}}ndez N{\'{u}}{\~{n}}ez and
Ana M. D. Moreira},
title = {Integration and Transformation of {UML} Models},
booktitle = {Object-Oriented Technology, {ECOOP} 2002 Workshops and Posters, M{\'{a}}laga,
Spain, June 10-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2548},
pages = {184--191},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36208-8\_16},
doi = {10.1007/3-540-36208-8\_16},
timestamp = {Tue, 22 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoopw/AraujoWAF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/KimFGS02,
author = {Dae{-}Kyoo Kim and
Robert B. France and
Sudipto Ghosh and
Eunjee Song},
title = {Using Role-Based Modeling Language {(RBML)} to Characterize Model
Families},
booktitle = {8th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
pages = {107--116},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ICECCS.2002.1181503},
doi = {10.1109/ICECCS.2002.1181503},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/KimFGS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/GeorgRF02,
author = {Geri Georg and
Indrakshi Ray and
Robert B. France},
title = {Using Aspects to Design a Secure System},
booktitle = {8th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
pages = {117},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ICECCS.2002.1181504},
doi = {10.1109/ICECCS.2002.1181504},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/GeorgRF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oois/GeorgF02,
author = {Geri Georg and
Robert B. France},
editor = {Zohra Bellahsene and
Dilip Patel and
Colette Rolland},
title = {{UML} Aspect Specification Using Role Models},
booktitle = {Object-Oriented. Information Systems, 8th International Conference,
{OOIS} 2002, Montpellier, France, September 2-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2425},
pages = {186--191},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46102-7\_23},
doi = {10.1007/3-540-46102-7\_23},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/oois/GeorgF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oois/TurkFRG02,
author = {Daniel E. Turk and
Robert B. France and
Bernhard Rumpe and
Geri Georg},
editor = {Jean{-}Michel Bruel and
Zohra Bellahsene},
title = {Model-Driven Approaches to Software Development},
booktitle = {Advances in Object-Oriented Information Systems, {OOIS} 2002 Workshops,
Montpellier, France, September 2, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2426},
pages = {229--230},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46105-1\_26},
doi = {10.1007/3-540-46105-1\_26},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/oois/TurkFRG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oois/ClarkEF02,
author = {Tony Clark and
Andy Evans and
Robert B. France},
editor = {Jean{-}Michel Bruel and
Zohra Bellahsene},
title = {Object-Oriented Theories for Model Driven Architecture},
booktitle = {Advances in Object-Oriented Information Systems, {OOIS} 2002 Workshops,
Montpellier, France, September 2, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2426},
pages = {235--244},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46105-1\_28},
doi = {10.1007/3-540-46105-1\_28},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oois/ClarkEF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oois/MekerkeGF02,
author = {Fran{\c{c}}ois Mekerke and
Geri Georg and
Robert B. France},
editor = {Jean{-}Michel Bruel and
Zohra Bellahsene},
title = {Tool Support for Aspect-Oriented Design},
booktitle = {Advances in Object-Oriented Information Systems, {OOIS} 2002 Workshops,
Montpellier, France, September 2, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2426},
pages = {280--289},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46105-1\_32},
doi = {10.1007/3-540-46105-1\_32},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oois/MekerkeGF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tc11-5/GeorgFR02,
author = {Geri Georg and
Robert B. France and
Indrakshi Ray},
editor = {Michael Gertz},
title = {Designing High Integrity Systems Using Aspects},
booktitle = {Integrity and Internal Control in Information Systems V, {IFIP} {TC11/WG11.5}
Fifth Working Conference on Integrity and Internal Control in Information
Systems (IICIS), November 11-12, 2002, Bonn, Germany},
series = {{IFIP} Conference Proceedings},
volume = {251},
pages = {37--57},
publisher = {Kluwer},
year = {2002},
timestamp = {Mon, 07 Dec 2020 17:16:29 +0100},
biburl = {https://dblp.org/rec/conf/tc11-5/GeorgFR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FranceK01,
author = {Robert B. France and
Cris Kobryn},
editor = {Hausi A. M{\"{u}}ller and
Mary Jean Harrold and
Wilhelm Sch{\"{a}}fer},
title = {{UML} for Software Engineers},
booktitle = {Proceedings of the 23rd International Conference on Software Engineering,
{ICSE} 2001, 12-19 May 2001, Toronto, Ontario, Canada},
pages = {705--706},
publisher = {{IEEE} Computer Society},
year = {2001},
timestamp = {Mon, 14 May 2012 18:17:25 +0200},
biburl = {https://dblp.org/rec/conf/icse/FranceK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/FranceBT01,
author = {Robert B. France and
James M. Bieman and
Ray Trask},
title = {Extending the {UML} to Support Evolution Management},
booktitle = {2001 International Conference on Software Maintenance, {ICSM} 2001,
Florence, Italy, November 6-10, 2001},
pages = {106},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICSM.2001.972718},
doi = {10.1109/ICSM.2001.972718},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/FranceBT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/FranceB01,
author = {Robert B. France and
James M. Bieman},
title = {Multi-View Software Evolution: {A} UML-based Framework for Evolving
Object-Oriented Software},
booktitle = {2001 International Conference on Software Maintenance, {ICSM} 2001,
Florence, Italy, November 6-10, 2001},
pages = {386},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICSM.2001.972751},
doi = {10.1109/ICSM.2001.972751},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/FranceB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oois/BruelHBPF01,
author = {Jean{-}Michel Bruel and
Brian Henderson{-}Sellers and
Franck Barbier and
Annig Le Parc and
Robert B. France},
editor = {Yingxu Wang and
Shushma Patel and
Ronald Johnston},
title = {Improving the {UML} Metamodel to Rigorously Specify Aggregation and
Composition},
booktitle = {7th International Conference on Object Oriented Information Systems,
{OOIS} 2001, Calgary, Canada, August 27-29, 2001. Proceedings},
pages = {5--14},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/978-1-4471-0719-4\_3},
doi = {10.1007/978-1-4471-0719-4\_3},
timestamp = {Tue, 02 Aug 2022 14:54:57 +0200},
biburl = {https://dblp.org/rec/conf/oois/BruelHBPF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oois/FranceGT01,
author = {Robert B. France and
Sudipto Ghosh and
Daniel E. Turk},
editor = {Yingxu Wang and
Shushma Patel and
Ronald Johnston},
title = {Towards a Model-Driven Approach to Reuse},
booktitle = {7th International Conference on Object Oriented Information Systems,
{OOIS} 2001, Calgary, Canada, August 27-29, 2001. Proceedings},
pages = {181--190},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/978-1-4471-0719-4\_20},
doi = {10.1007/978-1-4471-0719-4\_20},
timestamp = {Thu, 27 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oois/FranceGT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/GeorgBF01,
author = {Geri Georg and
Jores Bieman and
Robert B. France},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {Using Alloy and {UML/OCL} to Specify Run-Time Configuration Management:
{A} Case Study},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {128--141},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30850},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/GeorgBF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/TraskF01,
author = {Ray Trask and
Robert B. France},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {{RIGR} - {A} Repository Model Based Approach to Management},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {258--269},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30858},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/TraskF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uml/2001p,
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30848},
isbn = {3-88579-335-0},
timestamp = {Tue, 12 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uml/2001p.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/LanoFB00,
author = {Kevin Lano and
Robert B. France and
Jean{-}Michel Bruel},
title = {A Semantic Comparison of Fusion and Syntropy},
journal = {Comput. J.},
volume = {43},
number = {6},
pages = {451--468},
year = {2000},
url = {https://doi.org/10.1093/comjnl/43.6.451},
doi = {10.1093/COMJNL/43.6.451},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/LanoFB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/MayrhauserFSD00,
author = {Anneliese von Mayrhauser and
Robert B. France and
Michael Scheetz and
Eric Dahlman},
title = {Generating test-cases from an object-oriented model with an artifical-intelligence
planning system},
journal = {{IEEE} Trans. Reliab.},
volume = {49},
number = {1},
pages = {26--36},
year = {2000},
url = {https://doi.org/10.1109/24.855534},
doi = {10.1109/24.855534},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/MayrhauserFSD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/BruelLMF00,
author = {Jean{-}Michel Bruel and
Johan Lilius and
Ana M. D. Moreira and
Robert B. France},
editor = {Jacques Malenfant and
Sabine Moisan and
Ana M. D. Moreira},
title = {Defining Precise Semantics for {UML}},
booktitle = {Object-Oriented Technology, {ECOOP} 2000 Workshops, Panels, and Posters,
Sophia Antipolis and Cannes, France, June 12-16, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1964},
pages = {113--122},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44555-2\_10},
doi = {10.1007/3-540-44555-2\_10},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/BruelLMF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oois/GrantFVCB00,
author = {Emanuel S. Grant and
Robert B. France and
Ramchander Varadarajan and
Adam Carheden and
Jean{-}Michel Bruel},
editor = {Dilip Patel and
Islam Choudhury and
Shushma Patel and
Sergio de Cesare},
title = {{UML2Z:} An UML-Based Object-Oriented Modeling Tool for an Internet
Integrated Formalization Process},
booktitle = {6th International Conference on Object Oriented Information Systems,
{OOIS} 2000, London, UK, December 18-20, 2000. Proceedings},
pages = {280--289},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-1-4471-0299-1\_23},
doi = {10.1007/978-1-4471-0299-1\_23},
timestamp = {Tue, 25 Jun 2019 12:25:42 +0200},
biburl = {https://dblp.org/rec/conf/oois/GrantFVCB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BreuerMBFLK99,
author = {Peter T. Breuer and
Natividad Mart{\'{\i}}nez Madrid and
Jonathan P. Bowen and
Robert B. France and
Maria M. Larrondo{-}Petrie and
Carlos Delgado Kloos},
title = {Reasoning about {VHDL} and {VHDL-AMS} using Denotational Semantics},
booktitle = {1999 Design, Automation and Test in Europe {(DATE} '99), 9-12 March
1999, Munich, Germany},
pages = {346--352},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1999},
url = {https://doi.org/10.1109/DATE.1999.761144},
doi = {10.1109/DATE.1999.761144},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/BreuerMBFLK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/RumpeKEF99,
author = {Bernhard Rumpe and
Stuart Kent and
Andy Evans and
Robert B. France},
editor = {Ana M. D. Moreira and
Serge Demeyer},
title = {What Does the Term \emph{Semantics} Mean in the Context of {UML}},
booktitle = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1743},
pages = {34--36},
publisher = {Springer},
year = {1999},
timestamp = {Mon, 15 Jun 2020 17:08:35 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/RumpeKEF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/KentREF99,
author = {Stuart Kent and
Bernhard Rumpe and
Andy Evans and
Robert B. France},
editor = {Ana M. D. Moreira and
Serge Demeyer},
title = {Is a Precise Semantics Desirable? For What Purpose?},
booktitle = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1743},
pages = {37--40},
publisher = {Springer},
year = {1999},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/KentREF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/EvansFGHS99,
author = {Andy Evans and
Robert B. France and
Guy Genilloud and
Brian Henderson{-}Sellers and
Perdita Stevens},
editor = {Ana M. D. Moreira and
Serge Demeyer},
title = {Aggregation},
booktitle = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1743},
pages = {55--56},
publisher = {Springer},
year = {1999},
timestamp = {Mon, 22 Apr 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/EvansFGHS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/MayrhauserF99,
author = {Anneliese von Mayrhauser and
Robert B. France},
title = {Generating test cases from an {OO} model with an {AI} planning system},
booktitle = {10th International Symposium on Software Reliability Engineering,
ISSRE, 1999, Boca Raton, FL, USA, November 1-4, 1999},
pages = {250--259},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ISSRE.1999.809330},
doi = {10.1109/ISSRE.1999.809330},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/MayrhauserF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/France99,
author = {Robert B. France},
editor = {Brent Hailpern and
Linda M. Northrop and
A. Michael Berman},
title = {A Problem-Oriented Analysis of Basic {UML} Static Requirements Modeling
Concepts},
booktitle = {Proceedings of the 1999 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 1999,
Denver, Colorado, USA, November 1-5, 1999},
pages = {57--69},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/320384.320390},
doi = {10.1145/320384.320390},
timestamp = {Wed, 30 Mar 2022 13:58:42 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/France99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/EvansFLR99,
author = {Andy Evans and
Robert B. France and
Kevin Lano and
Bernhard Rumpe},
editor = {Haim Kilov and
Bernhard Rumpe and
Ian Simmonds},
title = {Meta-Modelling Semantics of {UML}},
booktitle = {Behavioral Specifications of Businesses and Systems},
series = {The Kluwer International Series in Engineering and Computer Science},
volume = {523},
pages = {45--60},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4615-5229-1\_4},
doi = {10.1007/978-1-4615-5229-1\_4},
timestamp = {Tue, 26 Jun 2018 16:12:55 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/EvansFLR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uml/1999,
editor = {Robert B. France and
Bernhard Rumpe},
title = {{\guillemotleft}UML{\guillemotright}'99: The Unified Modeling Language
- Beyond the Standard, Second International Conference, Fort Collins,
CO, USA, October 28-30, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1723},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46852-8},
doi = {10.1007/3-540-46852-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csi/FranceELR98,
author = {Robert B. France and
Andy Evans and
Kevin Lano and
Bernhard Rumpe},
title = {The {UML} as a formal modeling notation},
journal = {Comput. Stand. Interfaces},
volume = {19},
number = {7},
pages = {325--334},
year = {1998},
url = {https://doi.org/10.1016/S0920-5489(98)00020-8},
doi = {10.1016/S0920-5489(98)00020-8},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csi/FranceELR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/EvansFLR98,
author = {Andy Evans and
Robert B. France and
Kevin Lano and
Bernhard Rumpe},
editor = {Jean B{\'{e}}zivin and
Pierre{-}Alain Muller},
title = {The {UML} as a Formal Modeling Notation},
booktitle = {The Unified Modeling Language, {\guillemotleft}UML{\guillemotright}'98:
Beyond the Notation, First International Workshop, Mulhouse, France,
June 3-4, 1998, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1618},
pages = {336--348},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-540-48480-6\_26},
doi = {10.1007/978-3-540-48480-6\_26},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/uml/EvansFLR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/SaksenaLFE98,
author = {Minika Saksena and
Maria M. Larrondo{-}Petrie and
Robert B. France and
Matthew P. Evett},
editor = {Jean B{\'{e}}zivin and
Pierre{-}Alain Muller},
title = {Extending Aggregation Constructs in {UML}},
booktitle = {The Unified Modeling Language, {\guillemotleft}UML{\guillemotright}'98:
Beyond the Notation, First International Workshop, Mulhouse, France,
June 3-4, 1998, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1618},
pages = {435--441},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-540-48480-6\_33},
doi = {10.1007/978-3-540-48480-6\_33},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/SaksenaLFE98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joop/FranceBL97,
author = {Robert B. France and
Jean{-}Michel Bruel and
Maria M. Larrondo{-}Petrie},
title = {An Integrated Object-Oriented and Formal Modeling Environment},
journal = {J. Object Oriented Program.},
volume = {10},
number = {7},
pages = {25--34, 50},
year = {1997},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joop/FranceBL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/FranceBLG97,
author = {Robert B. France and
Jean{-}Michel Bruel and
Maria M. Larrondo{-}Petrie and
Emanuel S. Grant},
editor = {Michael Johnson},
title = {Rigorous Object-Oriented Modeling: Integrating Formal and Informal
Notations},
booktitle = {Algebraic Methodology and Software Technology, 6th International Conference,
{AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1349},
pages = {216--230},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0000473},
doi = {10.1007/BFB0000473},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/FranceBLG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ShroffF97,
author = {Malcolm Shroff and
Robert B. France},
title = {Towards a formalization of {UML} class structures in {Z}},
booktitle = {21st International Computer Software and Applications Conference {(COMPSAC}
'97), 11-15 August 1997, Washington, DC, {USA}},
pages = {646--651},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/CMPSAC.1997.625087},
doi = {10.1109/CMPSAC.1997.625087},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/ShroffF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/FranceB97,
author = {Robert B. France and
Jean{-}Michel Bruel},
editor = {Jan Bosch and
Stuart Mitchell},
title = {Integrated Informal Object-Oriented and Formal Modeling Techniques},
booktitle = {Object-Oriented Technology, ECOOP'97 Workshop Reader, ECOOP'97 Workshops,
Jyv{\"{a}}skyl{\"{a}}, Finland, June 9-13, 1997},
series = {Lecture Notes in Computer Science},
volume = {1357},
pages = {178--181},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-69687-3\_37},
doi = {10.1007/3-540-69687-3\_37},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/FranceB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FranceBLGS97,
author = {Robert B. France and
Jean{-}Michel Bruel and
Maria M. Larrondo{-}Petrie and
Emanuel S. Grant and
Minika Saksena},
title = {Towards a Rigorous Object-Oriented Analysis and Design Method},
booktitle = {First {IEEE} International Conference on Formal Engineering Methods,
{ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
pages = {7--16},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ICFEM.1997.630392},
doi = {10.1109/ICFEM.1997.630392},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/FranceBLGS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/FranceEG97,
author = {Robert B. France and
Matthew P. Evett and
Emanuel S. Grant},
title = {Towards Semantic-Based Object-Oriented {CASE} Tools},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {295--296},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632852},
doi = {10.1109/ASE.1997.632852},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/FranceEG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssr/MeekelHFMD97,
author = {Jacques Meekel and
Thomas B. Horton and
Robert B. France and
Charlie Mellone and
Sajid Dalvi},
editor = {Lori A. Clarke and
Guillermo Arango and
Mehdi T. Harandi},
title = {From Domain Models to Architecture Frameworks},
booktitle = {Proceedings of the 1997 {ACM} {SIGSOFT} Symposium on Symposium on
Software Reusability, {SSR} 1997, May 17-19, 1997, Boston, MA, {USA}},
pages = {75--80},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258366.258389},
doi = {10.1145/258366.258389},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/ssr/MeekelHFMD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/BatesBFL96,
author = {B. W. Bates and
Jean{-}Michel Bruel and
Robert B. France and
Maria M. Larrondo{-}Petrie},
editor = {Panos Constantopoulos and
John Mylopoulos and
Yannis Vassiliou},
title = {Guidelines for Formalizing Fusion Object-Oriented Analysis Methods},
booktitle = {Advances Information System Engineering, 8th International Conference,
CAiSE'96, Heraklion, Crete, Greece, May 20-24, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1080},
pages = {222--233},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61292-0\_13},
doi = {10.1007/3-540-61292-0\_13},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/BatesBFL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BruelFB96,
author = {Jean{-}Michel Bruel and
Robert B. France and
Abdelmalek Benzekri},
title = {A Z-based Approach to Specifying and Analyzing Complex Systems},
booktitle = {2nd {IEEE} International Conference on Engineering of Complex Computer
Systems {(ICECCS} '96), 21-25 October 1996, Montreal, Canada},
pages = {336--343},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ICECCS.1996.558576},
doi = {10.1109/ICECCS.1996.558576},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BruelFB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/FranceL95,
author = {Robert B. France and
Maria M. Larrondo{-}Petrie},
editor = {Rosalind L. Ibrahim},
title = {Understanding the Role of Formal Specification Techniques in Requirements
Engineering},
booktitle = {Software Engineering Education, 8th {SEI} {CSEE} Conference, New Orleans,
LA, USA, March 29 - April 1, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {895},
pages = {207--221},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-58951-1\_105},
doi = {10.1007/3-540-58951-1\_105},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csee/FranceL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/FernandezFW95,
author = {Eduardo B. Fern{\'{a}}ndez and
Robert B. France and
D. Wei},
editor = {David L. Spooner and
Steven A. Demurjian and
John E. Dobson},
title = {A Formal Specification of an Authorization Model for Object-Oriented
Databases},
booktitle = {Database Security {IX:} Status and Prospects, Proceedings of the Ninth
Annual {IFIP} {WG11} Working Conference on Database Security, Rensselaerville,
New York, USA, 13-16 August 1995},
series = {{IFIP} Conference Proceedings},
volume = {51},
pages = {95--110},
publisher = {Chapman {\&} Hall},
year = {1995},
timestamp = {Thu, 24 Oct 2002 16:18:58 +0200},
biburl = {https://dblp.org/rec/conf/dbsec/FernandezFW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/FernandezF95,
author = {Eduardo B. Fern{\'{a}}ndez and
Robert B. France},
title = {Formal specification of real-time dependable systems},
booktitle = {1st {IEEE} International Conference on Engineering of Complex Computer
Systems {(ICECCS} '95), November 6-10, 1995, Fort Lauderdale, Florida,
{USA}},
pages = {342--348},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICECCS.1995.479356},
doi = {10.1109/ICECCS.1995.479356},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/FernandezF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssr/FranceH95,
author = {Robert B. France and
Thomas B. Horton},
editor = {Mansur H. Samadzadeh and
Mansour Kazerooni{-}Zand},
title = {Applying Domain Analysis and Modeling: An Industrial Experience},
booktitle = {Proceedings of the {ACM} {SIGSOFT} Symposium on Software Reusability,
SSR@ICSE 1995, April 23-30, 1995, Seattle, WA, {USA}},
pages = {206--214},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/211782.211846},
doi = {10.1145/211782.211846},
timestamp = {Thu, 03 Feb 2022 13:12:45 +0100},
biburl = {https://dblp.org/rec/conf/ssr/FranceH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/FranceL95,
author = {Robert B. France and
Maria M. Larrondo{-}Petrie},
editor = {Jonathan P. Bowen and
Michael G. Hinchey},
title = {A Two-Dimensional View of Integrated Formal and Informal Specification
Techniques},
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 = {434--448},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60271-2\_135},
doi = {10.1007/3-540-60271-2\_135},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/FranceL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/FranceL94,
author = {Robert B. France and
Maria M. Larrondo{-}Petrie},
editor = {John Werth and
Laurie Honour Werth},
title = {From Structured Analysis to Formal Specifications: State of the Theory},
booktitle = {Proceedings of the {ACM} 22rd Annual Computer Science Conference on
Scaling up: Meeting the Challenge of Complexity in Real-World Computing
Applications, {CSC} '94, Phoenix, Arizona, USA, March 8-10, 1994},
pages = {249--256},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/197530.197634},
doi = {10.1145/197530.197634},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acm/FranceL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/France93,
author = {Robert B. France},
title = {A predicative basis for structured analysis specification tools},
journal = {Inf. Softw. Technol.},
volume = {35},
number = {2},
pages = {67--77},
year = {1993},
url = {https://doi.org/10.1016/S0950-5849(05)80001-1},
doi = {10.1016/S0950-5849(05)80001-1},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/France93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icci/FranceD93,
author = {Robert B. France and
Thomas W. G. Docker},
editor = {Osman Abou{-}Rabia and
Carl K. Chang and
Waldemar W. Koczkodaj},
title = {Towards {CASE} Tool Support for Rigorous Structured Analysis},
booktitle = {Computing and Information - ICCI'93, Fifth International Conference
on Computing and Information, Sudbury, Ontario, Canada, May 27-29,
1993, Proceedings},
pages = {474--478},
publisher = {{IEEE} Computer Society},
year = {1993},
timestamp = {Thu, 21 Mar 2002 14:11:16 +0100},
biburl = {https://dblp.org/rec/conf/icci/FranceD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/SemmensFD92,
author = {Lesley Semmens and
Robert B. France and
Thomas W. G. Docker},
title = {Integrated Structured Analysis and Formal Specification Techniques},
journal = {Comput. J.},
volume = {35},
number = {6},
pages = {600--610},
year = {1992},
url = {https://doi.org/10.1093/comjnl/35.6.600},
doi = {10.1093/COMJNL/35.6.600},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/SemmensFD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/France92,
author = {Robert B. France},
title = {Semantically Extended Data Flow Diagrams: {A} Formal Specification
Tool},
journal = {{IEEE} Trans. Software Eng.},
volume = {18},
number = {4},
pages = {329--346},
year = {1992},
url = {https://doi.org/10.1109/32.129221},
doi = {10.1109/32.129221},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/France92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/FranceD89,
author = {Robert B. France and
Thomas W. G. Docker},
editor = {Carlo Ghezzi and
John A. McDermid},
title = {Formal Specification Using Structured Systems Analysis},
booktitle = {{ESEC} '89, 2nd European Software Engineering Conference, University
of Warwick, Coventry, UK, September 11-15, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {387},
pages = {293--310},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51635-2\_45},
doi = {10.1007/3-540-51635-2\_45},
timestamp = {Mon, 30 Jan 2023 11:25:04 +0100},
biburl = {https://dblp.org/rec/conf/esec/FranceD89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/DockerF89,
author = {Thomas W. G. Docker and
Robert B. France},
editor = {Gerhard X. Ritter},
title = {Flexibility and Rigour in Structured Analysis},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {89--94},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Wed, 02 Feb 2022 21:17:54 +0100},
biburl = {https://dblp.org/rec/conf/ifip/DockerF89.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-02-06 23:48 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:
