Automated procedures are indicated by downward arrows, and manual procedures are indicated by upward arrows.</p
This research report shows how the same software entity can be implemented either as a Jackson Syste...
This paper is a survey of the current state of the art of research on methods for formal software de...
This paper is an experience report that analyses the use of MDD techniques to create and maintain a ...
A software tool has been developed for translating the notation of the Jackson system development (J...
The increasing complexity of systems being developed have a significant impact on how computing syst...
A formal description of a software development method is a first step toward a rigorous implementati...
As an answer to today’s growing challenges in software industry, wide spectrum of new approaches of ...
Summary of the methods analyzed in the present work and their respective fields of successful applic...
Operational sequence diagrams (OSDs) have been used to support human engineering in system develop-m...
Besides personal means of method transfer in terms of individual coaching by trainers or consultants...
Conventional structured methods of software engineering are often based on the use of functional dec...
While previously available methodologies for software – like those published in the early days of ob...
Model Driven Development (MDD) is an important paradigm in Software Engineering. In MDD, application...
An overview of the development of the MAAFS including video collection and video validation phases.<...
Flow-chart diagram illustrating development, validation, and testing of DL algorithm.</p
This research report shows how the same software entity can be implemented either as a Jackson Syste...
This paper is a survey of the current state of the art of research on methods for formal software de...
This paper is an experience report that analyses the use of MDD techniques to create and maintain a ...
A software tool has been developed for translating the notation of the Jackson system development (J...
The increasing complexity of systems being developed have a significant impact on how computing syst...
A formal description of a software development method is a first step toward a rigorous implementati...
As an answer to today’s growing challenges in software industry, wide spectrum of new approaches of ...
Summary of the methods analyzed in the present work and their respective fields of successful applic...
Operational sequence diagrams (OSDs) have been used to support human engineering in system develop-m...
Besides personal means of method transfer in terms of individual coaching by trainers or consultants...
Conventional structured methods of software engineering are often based on the use of functional dec...
While previously available methodologies for software – like those published in the early days of ob...
Model Driven Development (MDD) is an important paradigm in Software Engineering. In MDD, application...
An overview of the development of the MAAFS including video collection and video validation phases.<...
Flow-chart diagram illustrating development, validation, and testing of DL algorithm.</p
This research report shows how the same software entity can be implemented either as a Jackson Syste...
This paper is a survey of the current state of the art of research on methods for formal software de...
This paper is an experience report that analyses the use of MDD techniques to create and maintain a ...
DOI
Add to ORKG