PRIMORIS      Contacts      FAQs      INSTICC Portal
7th International Workshop on
Software Knowledge
 - SKY 2016

9- 10 November, 2016 - Porto, Portugal

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


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.
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
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.


Jose M. Alvarez
Carlos III of Madrid University (Spain)

Brief Bio
Dr. Jose María Alvarez Rodríguez a holds a PhD about eProcurement, formal semantics and Linked Data (2012) by the University of Oviedo, Spain. He has more than 10 years of experience working in the R&D&i areas of public and private institutions. He has also participated in more than 18 research projects in different competitive programmes. He is the author of more than 50 publications and other research works in the main international venues and impact factor journals. He is also member of international groups such as the OSLC Requirements Management (RM) group and INCOSE (International Council of Systems Engineering).
"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.
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
Expected Outcomes
Expected outcomes of the SKY2016 Workshop are:

⇒ Proposals of new tools, techniques, methods and methodologies for large-scale Software-Knowledge Systems Engineering Processes, in basic research and in industry.

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

Following the tradition established in previous years, SKY’2016 will invite recognized researchers to deliver invited talks in the workshop and the conference as joint keynote speakers.


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 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 (
Previous Editions
For information on previous SKY Workshops please visit the web site.