System-of-Systems (SoS) result from the collaboration of independent Constituent Systems
(CSs), connected in a certain configuration known as an architectural configuration, to …

The syntactic information of a program can be represented as resource description
framework (RDF) triples called program triples. We propose an extensible static analysis …

The globalization of the software industry has led to an emerging trend where software
systems depend increasingly on the use of external open-source external libraries and …

The state-of-the-art in software engineering for game engines, recommends the use of a
component-based software architecture for managing the entities in a game. A component …

El desarrollo software en general, y el desarrollo de videojuegos en particular, ha sufrido
grandes transformaciones en los últimos años. Hoy en día suelen primar las metodologías …

Representing a domain knowledge through an ontology allows people and systems to share
a common corpus of knowledge for reasoning and communicating. We have recently …

As a kind of critical system, safety-critical system is always used for the key areas such as
aerospace, national defense, transportation, nuclear energy, health and so on, which …

Over the last decade, a globalization of the software industry has taken place which has
facilitated the sharing and reuse of code across existing project boundaries. At the same …

Software development and evolution are highly distributed processes that involve a
multitude of supporting tools and resources. Application programming interfaces are …

While agent-based models are widely used for the simulation of human-natural systems, it
remains challenging for scientists to specify their models in a manner in which they can be …