Often, the semantics of languages are defined by the products that support their usage. The semantics are then determined by the source code of those products, which often is a general-purpose programming language. This may lead to complications in defining a clean semantics, for example because imperative notions slip into a declarative language. It is illustrated how block diagrams can be tra...

Component-based software engineering is increasingly being adopted for software development. Currently, components delivered by component providers only include specifications of the interfaces. This imposes significant difficulties on adequate testing of an integrated component-based system. Without source code, many testing techniques will not be applicable. UML, a modeling language, has been...

The language of MSC diagrams is widely used for the specification of communicating systems, the design of software and hardware for real time and reactive systems, and other industrial applications. Often it is used as an abstraction of systems specified in SDL or UML (in the form of sequence diagrams). In this paper, a novel representation of the semantics of message sequence charts is describ...

Endowing a computer with an ability to reason with diagrams could be of great benefit in terms of both human-computer interaction and computational efficiency through explicit representation. To date, research in diagrammatic reasoning has dealt with intra-diagrammatic reasoning (reasoning with a single diagram) almost to the exclusion of inter-diagrammatic reasoning (reasoning with related gro...

This paper presents a novel approach of generating test cases from UML design diagrams. Our approach consists of transforming a UML sequence diagram into a graph called the sequence diagram graph (SDG) and augmenting the SDG nodes with different information necessary to compose test vectors. These information are mined from use case templates, class diagrams and data dictionary. The SDG is then...

In this paper it is argued that a Carter–Penrose diagram can be viewed as a differential space.

Employing diagrams in the UI causes problems that don't exist in so called G r aphical User Interfaces. We are implementing a tool for generating editors for a certain class of diagrams from a speciication. Diagram Editors are n e e ded i n r e ally graphical UIs and interactive visual language environments. This paper addresses three aspects of the speciication of diagram editors. After highli...

designers draw diagrams to think about architectural concepts and design concerns. scientists are interested in programming computers to recognize and interpret design diagrams to deliver appropriate tools for the design task at hand. researchers conducted empirical studies to find out if designers share drawing conventions when designing. the experiment results show that designers use differen...