제4회 SEMAT Workshop on a General Theory of Software Engineering (GTSE)

2015년 5월 18일 이탈리아 플로렌스(피렌체)에서 제4회 SEMAT Workshop on a General Theory of Software Engineering(GTSE)가 개최됩니다.

http://semat.org/?page_id=1364

GTSE는 매년 IEEE Computer Society와 ACM SigSoft가 공동 주최하는 International Conference on Software Engineering(ICSE) 내의 워크샵으로 열리고 있습니다.

제4회 워크샵의 프로그램은 다음과 같습니다.

Session 1
900-1030
Paul Ralph, Gregor Engels, Ivar Jacobson, Michael Goedicke
Introduction to GTSE 2015
Jon Hall, Lucia Rapanotti
Towards a design-theoretic characterisation of software development process models
Pontus Johnson, Mathias Ekstedt
Exploring Theory of Cognition for General Theory of Software Engineering – Predicting the Effort of Program Language Comprehension
Session 2
1100-1230
Barry Boehm (Keynote)
Developing and Evolving a Value-Based Theory of Software Engineering
Balbir Barn, Ravinder Barn
An Approximate Theory for Value Sensitivity
Arbi Ghazarian
A Theory of Software Complexity
June Park
Essence-Based, Goal-Driven Adaptive Software Engineering
Session 3
1400-1530
Dewayne E Perry, Don Batory
A Theory about the Structure of GTSEs
Mark Staples
The Unending Quest for Valid, Useful Software Engineering Theories
Syed Shariyar Murtaza, Abdelwahab Hamou-Lhadj, Nazim Madhavji, Mechelle Gittens
Towards an Emerging Theory for the Diagnosis of Faulty Functions in Function-call Traces
Session 4
1600-1730
Group Discussion

저도 금년 GTSE 워크샵에서 “Essence-Based, Goal-Driven Adaptive Software Engineering” 제목의 논문을 발표합니다. 아래 논문 요약문을 게재힙니다. 이 논문에 관심 있으신 분은 제게 연락하면 보내드리겠습니다.

The OMG Essence standard has recently been published as the kernel for software engineering methods. We show that the Essence view of software engineering is reminiscent of a nondeterministic, multidimensional finite state machine, and that the Essence lends support to a semi-Markov decision process model of software engineering which, in practice, facilitates a goal-driven adaptive software engineering. We develop an activity-state mapping algorithm and a goal-activity cover algorithm based on the Essence, which can help automate the health monitoring of project states and the adaptive planning of project activities in a software engineering project.

캡처

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s