Subsections
Invited Talks, Tutorials and Lectures – After my Retirement !
- Armenia: Yerevan;
- Austria: Graz, Vienna;
- England: Oxford, Cambridge;
- Germany: Kiel, Saarbrücken;
- HongKong;
- Italy: Genova;
- Japan: Tokyo and Kanazawa;
- Norway: Bergen;
- Russia: Akademgorodok, Moscow, Veleky Novgorod;
- Scotland: Edinburgh, Glasgow, St.Andrews, Sterling;
- Singapore;
- Sweden: Uppsala;
- Ukraine: Kiev, Lviv, Odessa; and
- Wales: Swansea;
-
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
-
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
-
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
-
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
-
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
-
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
-
Egidio Astesiano Fest, Genoa, Italy
, March,
To every Mereology
there corresponds a
-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
-
Swansea
, May,
Domain Science & Engineering: A New Facet of Informatics
pdf
-
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
-
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
-
Technical University of Graz, Austria
, Oct.–Dec.,
From Domains via Requirements to Software
, pdf
-
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