gray.cs.ua.edu
Jeff's Upcoming Events
http://gray.cs.ua.edu/events.html
Jeff Gray, Ph.D. Department of Computer Science. Tuscaloosa, AL 35487-0290. Science and Engineering Complex). Email: gray@cs.ua.edu. Maps and photos: SEC. The following represent workshops and conferences that I have some involvement (Program or Organization Committee member, or author):. Software Language Engineering (SLE). Amsterdam, Netherlands, October 2016. Generative Programming and Component Engineering (GPCE). Amsterdam, Netherlands, October 2016. A workshop held at SPLASH. International Conferen...
diverse.irisa.fr
Publications 2015 | DiverSE Team
http://diverse.irisa.fr/publications/publications-2015
Software diversity for modeling and testing. Skip to primary content. Publications HAL du labo/EPI diverse;triskell. Multi-tier diversification in Web-based software applications. Simon Allier, Olivier Barais, Benoit Baudry, Johann Bourcier, Erwan Daubert, Franck Fleurey, Martin Monperrus, Hui Song, Maxime Tricoire. Institute of Electrical and Electronics Engineers, 2015, 32 (1), pp.83–90. http:/ dx.doi.org/10.1109/MS.2014.150. Accès au texte intégral et bibtex. The Journal of Object Technology. Springer...
ckrause.org
Computer Science Blog by Christian Krause: April 2013
http://www.ckrause.org/2013_04_01_archive.html
Computer Science Blog by Christian Krause. Thoughts on Software Engineering and Formal Methods. April 26, 2013. Copying EMF models with Henshin. Copying arbitrary EMF models is an easy task using the EMF utils class: a simple EcoreUtil.copy(obj). Does the job. This method uses the reflective API of EMF to copy EObjects including their type information and all their features. In Henshin. April 9, 2013. Dynamic Adaptation in Ant Colonies and Robot Swarms. A particular interesting engineering discipline is ...
ckrause.org
Computer Science Blog by Christian Krause: February 2013
http://www.ckrause.org/2013_02_01_archive.html
Computer Science Blog by Christian Krause. Thoughts on Software Engineering and Formal Methods. February 20, 2013. Graph transformations are a powerful formalism for realizing any kind of pattern and rule-based modifications of high-level data structures. A lot of work has been done for the theoretical foundations of graph transformations and a large extent of this work is phrased in category theory. Possible matches of this pattern in a given host graph. In Henshin. This is implemented using constraint ...
staf2016.conf.tuwien.ac.at
Events - STAF 2016
http://staf2016.conf.tuwien.ac.at/events
Restaurants & Cafés. Call for Projects Showcases. Call for Doctoral Papers. July 4-8, 2016 in Vienna, Austria. International Conference on Graph Transformation. July 5-6, 2016. Rachid Echahed (CNRS, Université Grenoble Alpes, France). Mark Minas (Universität der Bundeswehr München, Germany). International Conference on Model Transformation. July 4-5, 2016. Gregor Engels (Universität Paderborn, Germany). Pieter Van Gorp (Eindhoven University of Technology, Netherlands). July 5-7, 2016. July 6-7, 2016.
cs.york.ac.uk
Current Event | STAF
https://www.cs.york.ac.uk/staf/2014
Software Technologies: Applications and Foundations. 21st - 25th July, 2014. York, United Kingdom. 21st - 25th July, 2014. Call for Satellite Events. Pre-registration for STAF has ended; registration on-site is still possible. Welcome Reception 19:00, 22 July, 2014. Exhibition Centre, University of York. Banquet 19:30, 23 July, 2014. National Railway Museum, York. The following conferences will be co-located at STAF 2014:. 22-24 July, 2014. Seventh International Conference on Graph Transformation. Third ...
ckrause.org
Computer Science Blog by Christian Krause: February 2014
http://www.ckrause.org/2014_02_01_archive.html
Computer Science Blog by Christian Krause. Thoughts on Software Engineering and Formal Methods. February 5, 2014. Parallel Graph Pattern Matching in Henshin (Update). In my last post. So I executed our find-couples example on the real IMDB data (thanks for the data import, Tassilo! SAP Coding Masters 2013. A possible way to improve the performance is to parallelize the graph pattern matching algorithm. In the current development version of Henshin, this is actually implemented! Int partitions = 10; EGrap...
ckrause.org
Computer Science Blog by Christian Krause: July 2014
http://www.ckrause.org/2014_07_01_archive.html
Computer Science Blog by Christian Krause. Thoughts on Software Engineering and Formal Methods. July 28, 2014. Henshin 1.0 (Update). 8 years after the first PoC and 4 years after its official launch, we are proud to announce the release of Henshin 1.0. Big data is a new third main domain of Henshin. You can obtain Henshin 1.0. From the release update site. Or clone our Git repo. To try it out! And of course we've build a critical bug into the release! Subscribe to: Posts (Atom). View my complete profile.
diverse.irisa.fr
Publications | DiverSE Team
http://diverse.irisa.fr/publications
Software diversity for modeling and testing. Skip to primary content. Publications HAL du labo/EPI diverse;triskell. Extraction and Evolution of Architectural Variability Models in Plugin-based Systems. Mathieu Acher, Anthony Cleve, Philippe Collet, Philippe Merle, Laurence Duchien, Philippe Lahire. Software & Systems Modeling (SoSyM). Springer, 2013, 27 p. 10.1007/s10270-013-0364-2. Accès au texte intégral et bibtex. FAMILIAR: A Domain-Specific Language for Large Scale Management of Feature Models.
SOCIAL ENGAGEMENT