Add to ORKGAbstract: In the paper a model-based automated approach to procedural process control software is presented. A domain-specific modelling language specialised for analysis and design of procedural process control software is described. A formal description of the language syntax is necessary in order to define a mapping function from models to pro-gramme code. Furthermore, a software modelling tool is described that supports editing of software models and automatic source code generation for programmable logic con-trollers as well as automatic documentation generation
In this thesis we describe the effectiveness of applying a number of formal techniques to the develo...
Tekom celotne zgodovine razvoja programskega inženirstva ugotavljamo, da je v krizi in da je dejansk...
Abstract: A computer aided software engineering (CASE) tool designed to assist the task of developin...
Abstract: In process control software engineering, the software modelling techniques have not been c...
Control software is an integral part of new complex electromechanical systems, such as professional ...
Software is an important part of industrial process control systems. However, the state-of-the-pract...
Representations of activites dealing with the development or maintenance of software are called soft...
A graphical process control language has been developed as a means of defining process control softw...
Abstract: Modern software systems are becoming increasingly complex and for that reason extremely di...
Software process models are a key for systematic software develop-ment. Project plans, guidelines, p...
A software process is defined as a sequence of steps that must be carried out by the human agents to...
The work with software processes has become an entire field of its own. It should be considered a pr...
Abstract. Developing models of software is becoming more important as the size and complexity of sof...
A software process is defined as a description of various steps that must be carried out by process ...
Software is a complex artefact. Complexity can be reduced by abstraction and subsequent model format...
In this thesis we describe the effectiveness of applying a number of formal techniques to the develo...
Tekom celotne zgodovine razvoja programskega inženirstva ugotavljamo, da je v krizi in da je dejansk...
Abstract: A computer aided software engineering (CASE) tool designed to assist the task of developin...
Abstract: In process control software engineering, the software modelling techniques have not been c...
Control software is an integral part of new complex electromechanical systems, such as professional ...
Software is an important part of industrial process control systems. However, the state-of-the-pract...
Representations of activites dealing with the development or maintenance of software are called soft...
A graphical process control language has been developed as a means of defining process control softw...
Abstract: Modern software systems are becoming increasingly complex and for that reason extremely di...
Software process models are a key for systematic software develop-ment. Project plans, guidelines, p...
A software process is defined as a sequence of steps that must be carried out by the human agents to...
The work with software processes has become an entire field of its own. It should be considered a pr...
Abstract. Developing models of software is becoming more important as the size and complexity of sof...
A software process is defined as a description of various steps that must be carried out by process ...
Software is a complex artefact. Complexity can be reduced by abstraction and subsequent model format...
In this thesis we describe the effectiveness of applying a number of formal techniques to the develo...
Tekom celotne zgodovine razvoja programskega inženirstva ugotavljamo, da je v krizi in da je dejansk...
Abstract: A computer aided software engineering (CASE) tool designed to assist the task of developin...