5th International Workshop on
Software Knowledge -
22 October, 2014 - Rome, Italy
In conjunction with the International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - IC3K 2014
“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 Runnability and Meaning
- 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
- 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 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.
July 27, 2014 (expired)
August 4, 2014 (expired)
Camera Ready and Registration:
August 14, 2014 (expired)
UniversidadTécnica Federico Santa María, Chile
Knowledge Evolution, Inc., United States
IBM Research - Haifa, Israel
ISASE, United States
Jerusalem College of Technology (JCT), Israel
Carlos III of Madrid University, Spain
Cisuc - Universidade de Coimbra, Portugal
George Mason University, United States
SINTEF / University of Oslo, Norway
Warsaw University of Technology, Poland
University of Bonn, Germany
Universidad de Murcia, Spain
Azrieli - The Jerusalem College of Engineering, Israel
(list not yet complete)
, 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/
For information on previous SKY Workshops please visit the SoftwareKnowledge.org
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.