Add to ORKGAbstract. Formal, visual approaches to system modelling are a promising research sub-area of configuration management. A visual notation for configuring software systems, called ConForm [5, 6], has been designed, formally specified in the Z language, and a prototype is currently being implemented. This paper outlines the design of ConForm, and details experience gained in transforming the formal specification into a prototype
Domain specific visual languages express significant system configurations and behaviours. They are ...
This paper introduces SystemCSP – a design methodology based on a visual notation that can be mapped...
This paper presents a diagrammatic logic framework that is suitable for use in formal specification ...
grantor: University of TorontoSystem modelling is an important sub-area of software config...
The long process of systems development starts with the identification of a problem and the analysis...
Rapid prototyping of domain-specific software requires a systematic software development methodology...
Formal specification techniques provide precise and analyzable software specifications. However, the...
This paper overviews design of VCL, a new visual language for abstract specification of software sys...
Abstract. While formal methods have promised essential benefits for the software development process...
A limiting factor in the industrial acceptance of formal specifications is their readability, partic...
There are many different ways of building software applications and of tackling the problems of unde...
Visual modelling notations such as constraint diagrams can be used for the behavioural specification...
Diagrams are ubiquitous in software engineering and widely used for software modelling. The visual c...
Abstract—This paper gives an outline of a visual model of a cardiac pacemaker system, a case study f...
This paper introduces SystemCSP – a design methodology based on a visual notation that can be mapped...
Domain specific visual languages express significant system configurations and behaviours. They are ...
This paper introduces SystemCSP – a design methodology based on a visual notation that can be mapped...
This paper presents a diagrammatic logic framework that is suitable for use in formal specification ...
grantor: University of TorontoSystem modelling is an important sub-area of software config...
The long process of systems development starts with the identification of a problem and the analysis...
Rapid prototyping of domain-specific software requires a systematic software development methodology...
Formal specification techniques provide precise and analyzable software specifications. However, the...
This paper overviews design of VCL, a new visual language for abstract specification of software sys...
Abstract. While formal methods have promised essential benefits for the software development process...
A limiting factor in the industrial acceptance of formal specifications is their readability, partic...
There are many different ways of building software applications and of tackling the problems of unde...
Visual modelling notations such as constraint diagrams can be used for the behavioural specification...
Diagrams are ubiquitous in software engineering and widely used for software modelling. The visual c...
Abstract—This paper gives an outline of a visual model of a cardiac pacemaker system, a case study f...
This paper introduces SystemCSP – a design methodology based on a visual notation that can be mapped...
Domain specific visual languages express significant system configurations and behaviours. They are ...
This paper introduces SystemCSP – a design methodology based on a visual notation that can be mapped...
This paper presents a diagrammatic logic framework that is suitable for use in formal specification ...