PRIMORIS      Contacts      FAQs      INSTICC Portal
8th International Workshop on Software Knowledge - SKY 2017

1 - 3 November, 2017 - Funchal, Madeira, Portugal, Portugal

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


Iaakov Exman
The Jerusalem College of Engineering - JCE - Azrieli
Brief Bio
Iaakov Exman is a faculty member at The Jerusalem College of Engineering (JCE – Azrieli), Dept. of Software Engineering. His research interests are: “Software in the Sky with Stars and Comets” where: SKY = Software Knowledge ("Interestingness"); STARS = Software Theory by Algebraic Representation ("Linear Software Models"); COMETS = Composition by Entanglement.
Anabel Fraga
Carlos III of Madrid University
Brief Bio
Dr. Anabel Fraga is a Computer Engineering professional. Previous to set aside in the academic work, she committed her efforts in the industry as UNIX/Windows Administrator, Application Administrator for Telecom companies, Project Management and Consultancy. She obtained in 2004 her E-commerce and Networking Msc. in the Carlos III University of Madrid and in 2010 her PhD degree in Computer Science in the same university at the Knowledge Reuse Research Group. Her central areas of research are: Software Architecture, Information Engineering, Knowledge Management, Requirement Engineering, Systems Engineering, ITIL/ISO20000 and Reuse; but she is also interested in Ethics, Innovative methods of learning for supporting new software architects and the improvement of the CS Curriculum. She is Visiting Professor of Software/Systems engineering, Information/Knowledge Engineering and Programming in Carlos III University of Madrid. She is member of ACM CSTA, INCOSE, AEIS and IASA, and she is one of the leaders of the IASA Chapter of Madrid.
Juan Llorens
Carlos III of Madrid University
Brief Bio
Juan Llorens is Professor at the Informatics Department of the Carlos III University of Madrid - Spain. He received his MS degree in Industrial Engineer from the ICAI Polytechnic School at the UPC University in Madrid in 1986, Spain, and his PhD in Industrial Engineering and robotics at the Carlos III University of Madrid, Spain in 1996.
Dr. Llorens is the leader of the KR Group (Knowledge Reuse Group) within the University. In 1998 he was invited to the Högskolan på Åland (HÅ) (Åland, Finland). From 1998 to 2008 he split his educational activities between Madrid's University and the HÅ, where he taught different Software Engineering subjects.
His CV is presented in:
.Research Gate
"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 SKY2017 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.
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.

SKY2016 topics of relevance include but are not limited to (Position and Regular papers):

Software-Knowledge Systems Engineering: Industrial problems, Tools, Operations and Methods
  • Systems Engineering Problems under the Software-Knowledge view
  • Dealing with huge amounts of Knowledge
  • Big Data Analytics
  • Big Data Visualization
  • Dealing with diverse kinds of assets
  • Natural Language Processing in Industry
  • Systems Engineering in the Cloud
  • Abstract Operations for Industrial Applications
  • Analysis of System Engineering Process and adapting theory to practice
  • Measurements of Quality of Requirements by automatic or semiautomatic processes and methods
Software-Knowledge Science Essentials
  • Ontologies in complex systems
  • Ontologies for Software Requirements verification
  • Ontology-assisted system engineering processes
  • Semantics above and beyond design patterns
  • Runnable and testable knowledge representations
  • Software-Knowledge representation and modeling
  • Web dynamics and interestingness
  • Software-Knowledge Requirements for Large Scale Systems
  • Software-Knowledge selectivity and traceability
  • Software-Knowledge Sharing: Meta-models and interchange formats
  • Knowledge Driven Architecture and Engineering
  • Characterization of Requirements Quality


Paper Submission: August 7, 2017
Authors Notification: September 4, 2017
Camera Ready and Registration: September 12, 2017


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.
Papers must be submitted electronically via the web-based submission system using the appropriated button on this page.
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 (