PRIMORIS      Contacts      FAQs      INSTICC Portal


The purpose of workshops is to provide a more interactive and focused platform for presenting and discussing new and emerging ideas. The format of paper presentations may include oral presentations, poster presentations, keynote lectures and panels. Depending on the number of presentations, workshops can be scheduled for 1 day or 2 days. All accepted papers will be published in a special section of the conference proceedings book, under an ISBN reference, and on CD-ROM support. All papers presented at the conference venue will be available at the SCITEPRESS Digital Library. SCITEPRESS is a member of CrossRef and every paper is given a DOI (Digital Object Identifier). The proceedings are submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (ISI), INSPEC, DBLP, EI (Elsevier Engineering Village Index) and Scopus.


SKY 20178th International Workshop on Software Knowledge (IC3K)
Chair(s): Iaakov Exman, Anabel Fraga and Juan Llorens

8th International Workshop on
Software Knowledge
 - SKY 2017

Paper Submission:
Authors Notification:
Camera Ready and Registration:


Iaakov Exman
The Jerusalem College of Engineering - JCE - Azrieli
Anabel Fraga
Carlos III of Madrid University
Juan Llorens
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 as an end goal. Thus, the classes and relationships of a software system design are easily viewed as classes and relationships in a knowledge ontology. For further details visit The main theme of the SKY2016 Workshop is Software Knowledge within Systems Engineering Processes. The exponential growth and availability of information and assets, both structured and unstructured is a critical challenge for Systems Engineering Processes. Requirements engineering and Quality of Requirements are central areas for the workshop in the theme selected for this year.

Obtaining the right-requirements-right is a complex, difficult and non-linear process, in which engineers must respond to the double challenge of discovering and formalizing customers’ needs and expectations. The different ways of understanding and representing requirements, among customers and engineers, are real difficult problems at the time of clearly formalizing requirements.

The combination of Requirements Engineering with Software Knowledge, by information retrieval from existing sources (e.g. business rules, requirements, use cases, tests, feed-back), allows the verification process to measure quality of a set of requirements in various dimensions: traceability, consistency/redundancy, completeness and noise.

The Workshop main objective is to discuss and propose practical research approaches, theories and tools to deal with experimental and laboratory research, as well as with large scale industrial systems.