Вы здесь

Главная

domain-specific language

Связанные издания:

Advances in Software Engineering Techniques: Revised Selected Papers/4th IFIP TC2 Central and East European Conference, CEE-SET 2009, Krakow, Poland, October 2009
Bidirectional Transformations: Tutorial Lectures/ International Summer School, Oxford, UK, July 2016
Central European Functional Programming School: Revised Selected Papers/5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 2013
ECOOP 2014 - Object-Oriented Programming: Proc./28th European Conference, Uppsala, Sweden, July 2014
Engineering Multi-Agent Systems: Revised Selected Papers/6th International Workshop, EMAS 2018, Stockholm, Sweden, July 2018
Fundamental Approaches to Software Engineering: Proc./20th International Conference, FASE 2017 Held as Part of European Join Conference ETAPS 2017, Uppsala, Sweden, April 2017
Human-Centered Software Engineering: Proc./5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, Septemver 2014
Leveraging Applications of Formal Methods, Virification and Validation: Technologies for Mastering Change, Part I: Proc./6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 2014
Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2020, Deerfield Beach,FL,USA, January 2020
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/ 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 2011
Model-Driven Engineering Languages and Systems: Proc./17th International Conference, MODELS 2014, Valencia, Spain, September 2014
Modelling Foundations and Applications: Proc./10th European Conference, ECMFA 2014 Held as Part of STAF 2014, York, UK, July 2014
Modelling Foundations and Applications: Proc./9th European Conference, ECMFA 2013, Montpellier, France, July 2013
Practical Aspects of Declarative Languages: Proc./10th International Symposium, PADL 2018, Los Angeles,CA,USA, January 2018
Practical Aspects of Declarative Languages: Proc./24th International Symposium, PADL 2022, Philadelphia,PA,USA, January 2022
Programming Languages and Systems: Proc./14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 2016
Programming Languages and Systems: Proc./15th Asian Symposium, APLAS 2017, Suzhou, China, November 2017
Programming Languages: Proc./16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 2012
Risk Assessment and Risk-Driven Quality Assurance: Revised Selected Papers/4th International Workshop, RISK 2016 Held in Conjunction with ICTSS 2016, Graz, Austria, October 2016
SDL 2011 - Integrating System and Software Modeling: Revised Papers/15th International SDL Forum, Toulouse, France, July 2011
Search Computing: Broadening Web Search
Service-Oriented Computing: Proc./12th International Conference, ICSOC 2014, Paris, France, November 2014
Software Engineering and Formal Methods: Proc./16th International Conference, SEFM 2018 Held as Part of STAF 2018, Toulouse, France, June 2018
Software Language Engineering: Proc./6th International Conference, SLE 2013, Indianapolis,IN,USA, October 2013
Software Language Engineering: Proc./7th International Conference, SLE 2014, Vasteras, Sweden, September 2014
System Analysis and Modeling: Models and Reusability: Proc./8th Internatonal Conference, SAM 2014, Valencia, Spain, September 2014
System Analysis and Modeling: Theory and Practice: Revised Selected Papers/7th International Workshop, SAM 2012, Innsbruck, Austria, October 2012
Trends in Functional Programming: Revised Selected Papers/15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 2014
Trends in Functional Programming: Revised Selected Papers/18th International Symposium, TFP 2017, Canterbury, UK, June 2017
Trends in Functional Programming: Revised Selected Papers/19th International Symposium, TFP 2018, Gothenburg, Sweden, June 2018
Верификация С-программ в мультиязыковой системе СПЕКТР