Filters








29 Hits in 2.3 sec

Equation-Based Object-Oriented Languages and Tools Report on the Workshop EOOLT 2007 at ECOOP 2007 [chapter]

Peter Fritzson, David Broman, François Cellier, Christoph Nytsch-Geusen
<i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ryibsuiz5fhozovsgc45ftkqx4" style="color: black;">Object-Oriented Technology. ECOOP 2007 Workshop Reader</a> </i> &nbsp;
EOOLT'2007 was the first edition of the ECOOP-EOOLT workshop.  ...  At EOOLT'2007, nineteen researchers with diverse backgrounds and needs came together to present and discuss fourteen different concept papers grouped into the four topic areas of integrated system modeling  ...  EOOLT'2007 was hosted by the Technical University of Berlin, in conjunction with the ECOOP'2007 conference.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-78195-0_4">doi:10.1007/978-3-540-78195-0_4</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ecoopw/FritzsonBCN07.html">dblp:conf/ecoopw/FritzsonBCN07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dohad7e7srfqjal6kptflfelgu">fatcat:dohad7e7srfqjal6kptflfelgu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706040229/http://people.inf.ethz.ch/fcellier/Pubs/OO/eoolt_07.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/06/6c/066c9fed52830bf04e55733d18652709debb2b2f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-78195-0_4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

1st Workshop on Model-driven Software Adaptation [article]

(:Unkn) Unknown, Technische Universität Berlin, Technische Universität Berlin, Gordon Blair, Nelly Bencomo, Robert France, Michael Cebulla
<span title="2020-06-17">2020</span>
University of Technology, Einsteinufer 17, 10587 Berlin, Germany 2 Distributed Systems Group, University Duisburg, Bismarckstraße 90, 47057 Duisburg, Germany ⋆ The presented work is part of the Model-Driven  ...  The ECOOP workshop will use the research questions identified during the MODELS workshop as a basis for soliciting papers and as a starting point for further discussions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14279/depositonce-10297">doi:10.14279/depositonce-10297</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nc2hnjet2bclnjoy5a3q57wemm">fatcat:nc2hnjet2bclnjoy5a3q57wemm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200624025540/https://depositonce.tu-berlin.de/bitstream/11303/11413/1/tr-2007-10.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f7/e7/f7e751305b7bcf3f0235fe0c70f53df729d6ed5d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14279/depositonce-10297"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Proceedings of the Third Workshop on Models and Aspects - Handling Crosscutting Concerns in MDSD [article]

(:Unkn) Unknown, Technische Universität Berlin, Technische Universität Berlin, Christa Schwanninger, Markus Völter, Iris Groher, Andrew Jackson, Michael Cebulla
<span title="2020-06-17">2020</span>
), Berlin, Germany, 2007 M0 = f(M1) M1 f Pointcut Descriptor match f -1 Joinpoints M0 M2 = Woven_M1 Refinement Advice Descriptor + = instantiate Joinpoints M1 M0 = f(M1)  ...  At the workshop, we would like to share our industry perspective on how AOSD and MDSD could further fertilise each other for improving traceability issues, among other challenges.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14279/depositonce-10293">doi:10.14279/depositonce-10293</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mdmko675jncrvgg2mjayyayrby">fatcat:mdmko675jncrvgg2mjayyayrby</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200618014120/https://depositonce.tu-berlin.de/bitstream/11303/11409/1/tr-2007-06.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3c/25/3c25490c7b9e85d749ddc4aa3841f272e94cf06d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14279/depositonce-10293"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Guest Editorial

John Boyland
<span title="">2008</span> <i title="AITO - Association Internationale pour les Technologies Objets"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/pwjrjz7zwnb2rcboggur7p2mwq" style="color: black;">Journal of Object Technology</a> </i> &nbsp;
Editorial Dear Readers, The ninth workshop on Formal Techniques for Java-like Programs (FTfJP '07) was held in Berlin, Germany on July 31st, in conjunction with ECOOP 2007 (European Conference on Object-Oriented  ...  This series of workshops aims to bring together people working in both these fields. Of the 20 papers submitted to the workshop, nine were accepted.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5381/jot.2008.7.5.e1">doi:10.5381/jot.2008.7.5.e1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rs45hnod35bn5ae7ulltpxa5oq">fatcat:rs45hnod35bn5ae7ulltpxa5oq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720145656/http://www.jot.fm/issues/issue_2008_06/editorial.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6b/37/6b37036254123b77cea94d53fde33dca22b604be.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5381/jot.2008.7.5.e1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems-Report on the Workshop ICOOOLPS'2006 at ECOOP'06

Roland Ducournau, Etienne Gagnon, Chandra Krintz, Philippe Mulet, Jan Vitek, Olivier Zendra, Roland Ducournau, Etienne Gagnon, Chandra Krintz, Philippe Mulet, Jan Vitek
<i title="LNCS"> Lecture Notes in Computer Science </i> &nbsp; <span class="release-stage">unpublished</span>
ICOOOLPS'2006 was the first edition of ECOOP-ICOOOLPS workshop.  ...  This succeeded, as can be seen from the papers, the attendance and the liveliness of the discussions that took place during and after the workshop, not to mention a few new cooperations or postdoctoral  ...  Since the aim of an ECOOP workshop is to foster discussions and exchanges, refusing interested people would have been a bad idea.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4ezr5qsblba33c3wuq5zyh76je">fatcat:4ezr5qsblba33c3wuq5zyh76je</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180517131717/https://hal.inria.fr/inria-00113516/document" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a4/22/a422e93a9f002a6b4bb66d3d5976ec4a55e8e93c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Equation-Based Object-Oriented Languages and Tools [chapter]

Peter Fritzson, David Broman, François Cellier
<span title="">2009</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
EOOLT'2007 was the first edition of the ECOOP-EOOLT workshop.  ...  At EOOLT'2007, nineteen researchers with diverse backgrounds and needs came together to present and discuss fourteen different concept papers grouped into the four topic areas of integrated system modeling  ...  EOOLT'2007 was hosted by the Technical University of Berlin, in conjunction with the ECOOP'2007 conference.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-02047-6_3">doi:10.1007/978-3-642-02047-6_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2dwdrzwhwzc57pkxsihzaq72ni">fatcat:2dwdrzwhwzc57pkxsihzaq72ni</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706040229/http://people.inf.ethz.ch/fcellier/Pubs/OO/eoolt_07.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/06/6c/066c9fed52830bf04e55733d18652709debb2b2f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-02047-6_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A survey of static analysis methods for identifying security vulnerabilities in software systems

M. Pistoia, S. Chandra, S. J. Fink, E. Yahav
<span title="">2007</span> <i title="IBM"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kj3pclsbb5d3xpd5kqlzmvxa54" style="color: black;">IBM Systems Journal</a> </i> &nbsp;
Aiken, “Flow-Sensitive Type Qualifiers,” Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation, Berlin, Germany (June 2002), pp. 1-12. G. Snelting, T.  ...  , May 2007).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1147/sj.462.0265">doi:10.1147/sj.462.0265</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ykcfy2vgdzgllnxprlyyiieaia">fatcat:ykcfy2vgdzgllnxprlyyiieaia</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_ibm-systems-journal_april-june-2007_46_2/page/265" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_ibm-systems-journal_april-june-2007_46_2/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1147/sj.462.0265"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

EOOLT 2007 – Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools

(:Unkn) Unknown, Technische Universität Berlin, Technische Universität Berlin, Peter Fritzson, François Cellier, Christoph Nytsch-Geusen
<span title="2020-06-17">2020</span>
On behalf of the program committee, the Program Chairmen would like to thank all those who submitted papers to EOOLT'2007.  ...  Despite the short deadlines and the fact that this is a new not very established workshop series, there was a good response to the call-for-papers.  ...  In Proceedings of 1st International Workshop on Equation-Based Object-Oriented Languages and Tools (EOOLT 2007), Berlin, Germany, July 2007.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14279/depositonce-10298">doi:10.14279/depositonce-10298</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pcw6urckgre3hntxkilcd2u4rm">fatcat:pcw6urckgre3hntxkilcd2u4rm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200618012724/https://depositonce.tu-berlin.de/bitstream/11303/11414/1/tr-2007-11.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/55/2d/552d6e5a263591bc6bd1df31bc9057a64515a669.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14279/depositonce-10298"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Alan Turing Institute Symposium on Reproducibility for Data-Intensive Research - full programme, 6-7 April 2016

Lucie Burgess
<span title="2016-06-08">2016</span> <i title="Figshare"> Figshare </i> &nbsp;
Lucie began her career working with the United Nations Framework Convention on Climate Change secretariat in Bonn, Germany.  ...  He has worked at DLR (national aeronautics and space research centre), Göttingen at the FU (Freie Universität) Berlin and, since 1998, at PIK.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.6084/m9.figshare.3422998">doi:10.6084/m9.figshare.3422998</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ctlzl43kfbagrn3c6sol4jmtb4">fatcat:ctlzl43kfbagrn3c6sol4jmtb4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200211073152/https://s3-eu-west-1.amazonaws.com/pfigshare-u-files/5369528/AlanTuringInstituteSymposiumonReproducibilityforDataIntensiveResearchPROGRAMMEANDSESSIONDETAILSupdatedJune2016.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/08/aa/08aa92bc940c10f88ae6439bdc5ae223c991ca1e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.6084/m9.figshare.3422998"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> figshare.com </button> </a>

WebDSL: A Case Study in Domain-Specific Language Engineering [chapter]

Eelco Visser
<span title="">2008</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Germany, July 2007.  ...  Ernst, editor, 21st European Conference on Object-Oriented Programming (ECOOP 2007), volume 4609 of Lecture Notes in Computer Science, pages 575–599, Berlin,  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-88643-3_7">doi:10.1007/978-3-540-88643-3_7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ooqyqluajbacvnengokp6xlpl4">fatcat:ooqyqluajbacvnengokp6xlpl4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130429195134/http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2008-023.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b4/63/b463071748b9c99a3480712ac00e264dada64610.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-88643-3_7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Tree Clock Data Structure for Causal Orderings in Concurrent Executions [article]

Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan
<span title="2022-01-17">2022</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Si- Oriented Programming, pages 255–280, Berlin, Heidelberg, 2013. Springer Berlin mon, V. Venkatakrishnan, and S. K. Weeratunga.  ...  In 2007 IEEE 13th International Symposium on High Performance ence on Programming Language Design and Implementation, PLDI 2020, page Computer Architecture, pages 121–132, 2007.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2201.06325v1">arXiv:2201.06325v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pa7dshhvevcvlmoag4pm3ye5ua">fatcat:pa7dshhvevcvlmoag4pm3ye5ua</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220121202348/https://arxiv.org/pdf/2201.06325v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0d/76/0d764e0af26315e750b67a51a8a6503aceee5b42.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2201.06325v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

1st Workshop on Refactoring Tools (WRT'07)

(:Unkn) Unknown, Technische Universität Berlin, Technische Universität Berlin, Danny Dig, Michael Cebulla
<span title="2020-06-17">2020</span>
Position paper for the 1 st ECOOP Workshop on Refactoring Tools Tom Mens, Université de Mons-Hainaut, Belgium Gabriele Taentzer, Philipps-Universität Marburg, Germany 5. REFERENCES [1] M. Fowler.  ...  In ESEC/FSE 2007, Dubrovnik, Croatia, Sept. 2007. (To appear.). [2] W. M. McKeeman. Differential testing for software.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14279/depositonce-10295">doi:10.14279/depositonce-10295</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pla6en343fgzphdylfev6fsqxy">fatcat:pla6en343fgzphdylfev6fsqxy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200623204950/https://depositonce.tu-berlin.de/bitstream/11303/11411/1/tr-2007-08.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/1d/ef/1defe084c5825a7ea0a01ed7cfb54af2b593de2b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14279/depositonce-10295"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Report from Dagstuhl Seminar 12271 AI meets Formal Software Development 1 Executive Summary

Alan Bundy, Dieter Hutter, Cliff Jones, J Strother, Moore, Cliff Jones
<span class="release-stage">unpublished</span>
In 9th Workshop on Formal Techniques for Java-like Programs (FTfJP 2007), ECOOP 2007 Workshop, Berlin, Germany, July 2007. 5 K. R. M. Leino and R. Monahan.  ...  In IJCAR Workshop on Automated Theory eXploration (ATX 2012), Manchester, UK, July 2012. 3.16 Formalism: pitfalls and overcoming them (with AI?) Cliff B.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yf2ce4565rasxdgjo3ofmpktam">fatcat:yf2ce4565rasxdgjo3ofmpktam</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180520081116/http://drops.dagstuhl.de/opus/volltexte/2012/3731/pdf/dagrep_v002_i007_p001_s12271.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/da/35/da353edd5c15ae7540a5d5a7c26a3c6922c5e2d3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Fourteen Years of Software Engineering at ETH Zurich [article]

Bertrand Meyer
<span title="2017-12-16">2017</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Teaching teenagers to browse the web, hardly necessary anyway, is not the same as teaching the seminal concepts of informatics, what Jeannette Wing (a keynoter at the 2007 Berlin ECSS) famously calls "  ...  A memorable event.  We organized various Eiffel-related meetings, in particular several workshops on SCOOP and concurrency, with colleagues such as Jonathan Ostroff and Richard Paige, and a 2012 "Workshop  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1712.05078v2">arXiv:1712.05078v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/g4z4x7gn3zdmvpc7uaan55mw24">fatcat:g4z4x7gn3zdmvpc7uaan55mw24</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200907115429/https://arxiv.org/ftp/arxiv/papers/1712/1712.05078.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a8/df/a8df42d3536b93b1f39adda2b73902527e079ed0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1712.05078v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Engineering Compliant Services: Advising Developers by Automating Legal Reasoning

Oliver Raabe, Daniel Oberle, Felix Drefs, Richard Wacker, Christian Baumann
<span title="">2012</span>
Proceedings (Berlin, Heidelberg: Springer, 2008) 128-141 and A Nitin et al, "Information Object Design Pattern for Modeling Domain Specific Knowledge" in Proceedings of the 1st ECOOP Workshop on Domain-Specific  ...  ., the Federal Data Protection Act (FDPA) or Telemedia Act (TMA) in Germany. Such provisions comprise legal requirements including those for software.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5445/ir/1000069720">doi:10.5445/ir/1000069720</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/plvhep3me5gbpnoy7kowfsdlja">fatcat:plvhep3me5gbpnoy7kowfsdlja</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200228153104/https://publikationen.bibliothek.kit.edu/1000069720/6021790" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/72/05/7205bf76e9474286770cf5b428052a675b45ec79.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5445/ir/1000069720"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 29 results