Subsections


Invited Talks, Tutorials and Lectures – After my Retirement !

2020–2021

2019

  • Università della Svizzera italiana, Lugano, Switzerland , May,
    Domain Analysis & Description , pdf
  • Politecnico di Milano, Italy , May,
    Domain Analysis & Description , pdf
  • Uppsala University, Sweden , September,
    Domain Analysis & Description: A Philosophy Basis , pdf
  • Veliky Novgorod, Russia , September,
    Domain Analysis & Description: A Philosophy Basis , pdf

2018

  • Yerevan, Armenia , May,
    A Philosophy of Domain Science & Engineering ,
    Slides: pdf , paper: pdf
  • Singapore, NUS , October,
    A Review of 10 Years Work
    Plan: pdf , 3 Week Course Notes: pdf
  • Shanghai, China, ECNU , November,
    Domain Analysis & Description: Principles, Techniques and Languages
    Plan: pdf or pdf , 4 Week Course Notes: pdf

2017

  • Moscow, Russia: Ivannikov Conference , June,
    Opening Statement pdf
  • China, Shanghai, TongJi Univ. , September,
    Domain Modeling Urban Planning
    Lecture Plan: pdf 3 Week Course Notes: pdf and pdf
  • China, Changsha, Zhou ChaoChen Fest , October,
    Domain Analysis & Description: The Implicit and Explicit Semantics Problem pdf

2016

  • Uppsala University, Sweden PhD Course, May, Plan: pdf . Lectures:
    • Manifest Domains: Analysis & Description , pdf
    • From Manifest Domain Descriptions to Requirements Prescriptions , pdf
    • A New Foundation for Computing Science , pdf
  • University of Bergen, Norway PhD Course, November,
    Manifest Domains: Analysis & Description ,
    Plan: pdf , lectures: pdf

2015

  • London, UK, ProCoS 25th Anniversary , March,
    ProCoS: How It All Began – as seen from Denmark pdf
  • Moscow, Russia , March, 2 lectures
  • Braga, Portuga, Univ. of Minho , October,
    Domain Science & Engineering
    Plan: pdf , Lectures: pdf
  • KPS 2015: Pörtschach am Wörther See, Austria , October,
    A New Foundation for Computing Science . Paper: pdf . Talk: pdf
  • Vienna, Austria, TUV: 19–30 October,
    Domain Science & Engineering
    Plan: pdf Lecture slides: pdf

2014

  • JAIST, Kokichi Futatsugi Fest: Kanazawa, Japan , April,
    Domain Analysis: An Analysis Process Model pdf
  • Singapore May
    • FME Conference:
      40 Years of Formal Methods pdf
    • NUS, Natl.Univ.of Singapore:
      IT Security: A Comprehensive Treatment , Paper pdf , Slides pdf
    • NTU. NanYang Technical University:
      Domain Analysis and Description pdf
  • Australia , May
    • Lectures, University of Sydney: Domain Analysis and Description pdf
    • Lecture, Univ. of Melbourne: 40 Years of Formal Methods pdf
    • Tutorial, aSSCa+SSS, Melbourne: Domain Science & Engineering pdf ,
    • Talk, aSSCa+SSS, Melbourne: A Basis for Critical Software pdf

2012

  • Egidio Astesiano Fest, Genoa, Italy , March,
    To every Mereology there corresponds a \bgroup\color{mygreen}$\lambda$\egroup-expression pdf
  • Bergen, Norway , May,
    Towards a Theory of Domain Descriptions
    Paper pdf , Slides pdf , 8 Day Course Notes pdf
  • Urbino, Italy , June,
    A Role for Mereology in Domain Science and Engineering pdf
  • FME, Paris, France , August,
    Tutorial: Domain Science & Engineering
    Proposal/plan: pdf , lectures pdf
  • Beijing, China
    • Peking University, China , 21–22 November,
      Domain Science & Engineering pdf
    • BeiHang Univ., Beijing, Shanghai , 23 November,
      Domain Science & Engineering , pdf
  • Macau University , 27 November,
    A Survey of Formal Methods in Software Development pdf
  • HongKong. APSEC'2012 , December 4
    • Tutorial: Domain Science & Engineering pdf
    • Keynote: A Survey of Formal Methods in Software Engineering pdf
  • ECNU, Shanghai, China , December 5–7
    • Talk: A Role for Mereology in Domain Science and Engineering , pdf
    • Mini-course: Domain Science & Engineering , pdf
  • ISCAS, Beijing, Shanghai , 10 December,
    A Role for Mereology in Domain Science and Engineering , pdf

2011

  • Swansea , May,
    Domain Science & Engineering: A New Facet of Informatics pdf

2010

  • TUV, Vienna, Austria , April,
    From Domains to Requirements: On a Triptych of Software Development
    Lecture Notes: pdf , Course Web Page: pdf
  • Kiev + Lviv + Odessa, Ukraine , June,
    From Computer Science to The Sciences of Informatics pdf
  • Uppsala, Sweden , November,
    From Domains to Requirements pdf
  • Budapest, Hungary , October, pdf

2009

  • University of Saarland, Germany , March,
    From Domains via Requirements to Software , pdf
  • Tony Hoare Fest: Cambridge Univ. & MSR, Cambridge, England May,
    On Mereologies in Computing Science , pdf
  • Ershov Conference, Akademgorodok, Siberia, Russia , June,
    Rôle of Domain Engineering in Software Development pdf
  • University of Edinburgh, Scotland , September-October,
    Talks at 5 universties: Edinburgh, Herriot-Watt, Stirling, St.Andrews, Glasgow ,
    For talks et cetera see: pdf
  • ToDai: Tokyo University , 8 November – 8 December,
    From Domains via Requirements to Software , pdf

2008

  • Technical University of Graz, Austria , Oct.–Dec.,
    From Domains via Requirements to Software , pdf

2007

  • Lipari Summer School, Italy , July,
    Domain Engineering , pdf
  • University of Nancy, France , October–December,
    • Lectures: Software Engineering ,
      Course notes: pdf
    • Talk: Formal Models for Software-based Systems Engineering
      Forum Academique AFIS'2007, Programme du pré-Forum Academique, Rencontre “Université – Industrie”, pdf