Searching for authors named "Konstantinos Tourlas" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Diagrammatic Representations in Domain-Specific Languages
- …One emerging approach to reducing the labour and costs of software development favours the specialisation of techniques to particular application domains. The rationale is that programs within a given domain often share enough common features and assumptions to enable the incorporation of substantia…
- Cited by 1 (1 self) – Add To MetaCart
-
An assessment of the IEC 1131-3 standard on languages for programmable controllers
- …Programmable Logic Controllers (PLCs) are playing an increasing role in the construction of safety critical systems. The standard IEC 11313 defines a number of interrelated languages for the expression of PLC programs. Here we consider a subset of the IEC 1131-3 languages, that of function blocks, a…
- Cited by 2 (0 self) – Add To MetaCart
-
Towards the Principled Design of Software Engineering Diagrams
- …Diagrammatic specification, modelling and programming languages are increasingly prevalent in software engineering and, it is often claimed, provide natural representations which permit of intuitive reasoning. A desirable goal of software engineering is the rigorous justification of such reasoning, …
- Cited by 5 (2 self) – Add To MetaCart
-
Diagrams and Programming Languages for Programmable Controllers
- …. In many domain specific languages diagrammatic notation is used because it conforms to notations used by domain specialists before the deployment of programmable components. The aim is to lessen the possibility of error by changing as little as possible. However the switch to programmable componen…
- Cited by 5 (3 self) – Add To MetaCart
-
Design for Proof: An Approach to the Design of Domain-Specific Languages
- …We propose that the domain of a domain specific language (DSL) can be characterised by the class of properties a programmer might want to prove of programs in the domain. This suggests that a major factor in the design of DSLs should be ease of proof for those properties. We develop these ideas i…
- Cited by 3 (0 self) – Add To MetaCart
-
An Algebraic Foundation for Graph-based Diagrams in Computing
- …We develop an algebraic foundation for some of the graph-based structures underlying a variety of popular diagrammatic notations for the specication, modelling and programming of computing systems. Using hypergraphs and higraphs as leading examples, a locally ordered category Graph(C) of graphs in a…
- Cited by 1 (0 self) – Add To MetaCart
-
Formalising Pragmatic Features of Graph-based Notations
- …Graph-based notations form a significant subclass of visual languages. Studies of the use of such notations in practice have shown that users often employ pragmatic aspects, such as layout, to capture important domain information. Moreover this pragmatic information can support and guide reasoning o…
- Cited by 3 (2 self) – Add To MetaCart
-
Application Engineering Tools for MPI and PUL
- …This report describes the adaptation of VISPAD, a visualisation tool for performance analysis and debugging, from the CHIMP message passing system to the recently established MPI standard. VISPAD is a post-mortem visualisation tool based on the concept of program execution phases. It consists of a …
- Add To MetaCart
Showing 1 through 8.
