Home      Log In      Contacts      FAQs      INSTICC Portal
5th International Workshop on
Software Knowledge
 - SKY 2014

22 October, 2014 - Rome, Italy

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

Iaakov Exman
JCE - Jerusalem College of Engineering

Juan Llorens
Carlos III of Madrid University

Call for Papers
Anabel Fraga
Carlos III of Madrid University

Juan Miguel Gómez
Universidad Carlos III de Madrid

“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 SoftwareKnowledge.org. The main theme of the SKY2014 Workshop is Requirements and Software Knowledge. Time is ripe to investigate the promising implications of Software Knowledge ideas to real life Software Systems’ Requirements.

The Workshop main objective is to discuss and propose practical tools to deal not only with experimental and laboratory research, but to facilitate formulation and verification of requirements for 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.

SKY2014 topics of relevance include but are not limited to:

Software-Knowledge Requirements, Tools and Operations
  • Software-Knowledge Requirements 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
  • Ontologies for Software Requirements verification
  • 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 SKY2014 Workshop are:

⇒ Proposals of new tools for large-scale Software-Knowledge Requirements verification and production.

⇒ A continuing effort to standardize a Software-Knowledge representation consisting of software models encompassing semantics as first class objects.


Paper Submission: July 27, 2014 (expired)
Authors Notification: August 4, 2014 (expired)
Camera Ready and Registration: August 14, 2014 (expired)


Hernan Astudillo, UniversidadTécnica Federico Santa María, Chile
Sidney Bailin, Knowledge Evolution, Inc., United States
Yishai Feldman, IBM Research - Haifa, Israel
Bill Frakes, ISASE, United States
Reuven Gallant, Jerusalem College of Technology (JCT), Israel
Gonzalo Genova, Carlos III of Madrid University, Spain
Paulo Gomes, Cisuc - Universidade de Coimbra, Portugal
David Rine, George Mason University, United States
Dumitru Roman, SINTEF / University of Oslo, Norway
Michal Smialek, Warsaw University of Technology, Poland
Daniel Speicher, University of Bonn, Germany
Ioan Toma, STI-Innsbruck, Austria
Rafael Valencia-Garcia, Universidad de Murcia, Spain
Reuven Yagel, Azrieli - The Jerusalem College of Engineering, Israel

(list not yet complete)

Invited Speakers
John Favaro, Consulenza Informatica, Italy

Innovation is normally associated with the generation of entirely new knowledge. But a number of research results in recent years have yielded new insights on the way that the mind works to produce successful innovation. What is known as “strategic intuition” involves the intelligent recombination of precedents – reusable knowledge – to form new solutions to strategic innovation problems, and provides the elements of a systematic approach to innovation.

John Favaro is a consultant based in Pisa, Italy and Associate Editor of IEEE Software in the management area. He is a founding member of the International Society for the Advancement of Software Education and was Program Chair of the 13th International Conference on Software Reuse in 2013. In 1998 he introduced Value Based Software Reuse Investment, applying the ideas of Value Based Management to the analysis of investments in software reuse. Recently he has investigated the relationship of Value Based Management to agile development processes. He took his degrees in computer science at Yale University and the University of California at Berkeley.


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: http://www.insticc.org/Primoris
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 (http://www.scitepress.org/DigitalLibrary/).
SciTePress is member of CrossRef (http://www.crossref.org/).
Previous Editions
For information on previous SKY Workshops please visit the SoftwareKnowledge.org web site.
Registration Information
At least one author of an accepted paper must register for the workshop, and the registration fees received by August 12, 2014, in order to have the paper published in the workshop proceedings book.