ESL or “Electronic System Level” is a buzz word these days, in the electronic design
automation (EDA) industry, in design houses, and in the academia. Even though numerous …

This dissertation addresses the problem of making system level design (SLD) methodology
based on SystemC more useful to the complex embedded system design community by …

The essence of systems-level design is the need to integrate models representing different
system facets to understand the impacts of local decisions on global requirements …

Inconsistency management in component-based languages is the identification and
resolution of conflicting constraints or expectations between the different components which …

The concept of refinement is central to the development of software. It appears in various
forms in the different methodologies taught to students. A key point in the B method is the …

A Complete Bibliography of Publications in J.UCS: Journal of Universal Computer Science
Page 1 A Complete Bibliography of Publications in J.UCS: Journal of Universal Computer …

This thesis presents a categorical approach to the detection, classification and resolution of
inconsistencies which commonly arise in modular systems. This categorical approach relies …

Discussion. In the initial phase of this project, we plan on completing the current Rosetta
specification, and developing an Interactive Development Environment for the language. We …

The Rosetta specification language aims to enable system designers to abstractly design
complex heterogeneous systems. To this end, Rosetta allows for compositional design to …

Rosetta is a heterogeneous, systems-level design language formally defined using a
coalgebraic semantics. Rosetta models can be written in a variety of domains, each …