Home      Log In      Contacts      FAQs      INSTICC Portal
4th International Workshop on Software Knowledge - SKY 2013

22 September, 2013 - Vilamoura, Algarve, Portugal

In conjunction with the International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - IC3K 2013

Iaakov Exman
JCE - Jerusalem College of Engineering

Juan Llorens
Carlos III of Madrid University

Call for Papers
Anabel Fraga
Carlos III of Madrid University

"Software Knowledge" – in short SKY – means that software in its higher abstraction levels is a new kind of knowledge, Runnable Knowledge.
Thus, the classes and relationships of a software UML diagram are easily viewed as the classes and relationships of a knowledge ontology.

For further details visit

The main theme of the SKY2013 Workshop is Software Systems Knowledge.
We mean that time is ripe to investigate the promising implications of Software Knowledge ideas to real life and large software systems.

The Workshop main objective is to discuss and propose practical tools to deal not only with experimental and laboratory research, but to actually facilitate transition into industrial grade and production software systems.
Topics of Interest
Software Knowledge is a runnable expression of meaning. Running facilitates understanding in a very general sense. This is the rationale for the debugging process in a micro scale, where one runs and breaks at desired points to understand the reason of software failures. This is the basis of agile methods to manufacture and test concurrently, in a medium scale. This is the possible source of great new tools, in a macro scale, from the software hierarchy highest abstraction levels down to executable code.

SKY2013 topics of relevance include but are not limited to:

Software-Knowledge Hierarchy, Tools and Operations
  • Software-Knowledge Hierarchy for Large Scale Systems
  • Abstract Operations for Industrial Applications
  • Software-Knowledge selectivity and traceability
  • Software-Knowledge Sharing: Meta-models, interchange formats, and tools
  • Knowledge Driven Architecture and Engineering
Software-Knowledge Runnability and Meaning
  • Ontologies in complex systems
  • Semantics above and beyond design patterns
  • Runnable and testable knowledge representations
  • Software-Knowledge representation and modeling
  • Web dynamics and interestingness
Expected Outcomes
Expected outcomes of the SKY2013 Workshop are:

⇒ Proposals of new tools for large-scale Software-Knowledge based production.

⇒ A continuing effort to standardize a Software-Knowledge representation consisting of software models encompassing semantics as first class objects.
Important Dates
Paper Submission: June 10, 2013 (expired)
Authors Notification: June 24, 2013 (expired)
Camera Ready and Registration: July 3, 2013 (expired)
Workshop Date: September 22, 2013


Hernan Astudillo, Informática, UniversidadTécnica Federico Santa María, Chile
Sidney Bailin, Independent Researcher, United States
Yishai Feldman, , Israel
Bill Frakes, Independent Researcher, United States
Reuven Gallant, Computer Science, JCT Lev Academic Center, Israel
Leah Goldin, Software Engineering, Afeka - Tel-Aviv Academic College of Engineering, Israel
Leah Goldin, Afeka College of Engineering, Israel
Francois Levy, LIPN (Paris North Computer Science Lab), Universite Paris XIII, France
Alessandro Mosca, Faculty of Computer Science, Free University of Bolzano, Italy
Rubén Prieto-Diaz, Independent Researcher, United States
Daniel Ratiu, , Germany
Gil Regev, EPFL-IC-LAMS, Ecole Polytechnique Fédérale de Lausanne, Switzerland
David Rine, Volgenau School of Information Technology and Engineering, George Mason University, United States
Michal Smialek, Warsaw University of Technology, Poland
Daniel Speicher, Computer Science III, University of Bonn, Germany
Reuven Yagel, Software Engineering, Azrieli - The Jerusalem College of Engineering, Israel

Invited Speakers
Following the tradition established in previous years, SKY'2013 invites recognized researchers to deliver invited talks in the workshop:

Dr. Paulo Gomes – University of Coimbra, Portugal

Software development projects are rapidly increasing in size and complexity, with the developers becoming overloaded and overwhelmed with a growing amount of project information. Developers learn how to contextualize this information and how to navigate in the complex network of software code. The context information of the developer can be captured and processed in order to improve some of the tasks performed by developers during their work. Some of these tasks are basic retrieval of information like searching or browsing, but context knowledge can also be used for recommendation of knowledge, which in the end can lead to the reuse of software code and knowledge. This talk shows how software knowledge during IDE coding can be represented and used to help the developer navigate and find relevant code. The talk focus on representing knowledge using ontologies and how search, browse and recommendation can be performed. Using this approach, the profiles of developers were studied, leaving interesting clues on how developers work.


Prospective authors are invited to submit papers in any of the topics listed above.
Instructions for preparing the manuscript (in Word and Latex formats) are available at: Paper Templates
Please also check the Guidelines and Templates.
Papers should be submitted electronically via the web-based submission system at:
All accepted papers, including position papers, will be published in the workshop proceedings book and on CD-ROM support, under an ISBN reference.
All papers presented at the conference venue will be available at the SciTePress Digital Library (
SciTePress is member of CrossRef (
Registration Information
At least one author of an accepted paper must register for the workshop, and the registration fees received by July 03, 2013, in order to have the paper published in the workshop proceedings book.
Previous Editions
For information on previous SKY Workshops please visit the web site.


IC3K Workshops - SKY 2013