ADVICeS

There are four research tasks in the project:

















Task one



The goal is:


Enhance usability of formal methods
Facilitate development process

With the use of:


Graphical representation
Refinement patterns

Witch means:


Exploring refinement and decomposition patterns to
Guide the developers
Make sound and perceptive decisions in the design process
Get a final system that is not only correct by construction, but also structurally well proportionated and easily maintainable

Studying how the visualisation of the development could be incorporated into the system construction process that uses design patterns
To make the formal development more practical and intuitive, especially for industry

Back


Task two



The goal is:


Provide elasticity to formal development process, so that the methods are more feasible to be used on a wider scale

With the use of:


Adaptive Development Framework
Refinement patterns

Witch means:


Exploring how the application of formal methods can become more flexible and responsive to change (continuous updates)
Enabling a more tangible progress of the development
Investigating how various toolsets, adaptive development methods, and supporting frameworks can be utilised
Integrating metrics and measurements into the formal development process to
Aid making the modelling decisions
Reveal possible problems
Identify the modelling trends via measurements

Back


Task three



The goal is:


Provide the "right measures at the right time” for evaluation of quality of formal developments

With the use of:


Development-specific metrics and measurements

Witch means:


Providing metrics and measurements that
Are needed as means for early-stage quality evaluation (e.g. complexity, maintainability and understandability)
Should be proactive and setting or domain specific

Verification and validation of proposed metrics
Possibly on case studies

Experimentation
Properly assess which hybrid approaches work in which contexts
Generalise to software-related industries as a whole

Back


Task four



The objective:


Evaluate how well do the proposed solutions work?

With the use of:


Experimentation

Witch includes:


Investigating scaling-up issues
In context of large-scale system development
Generalizability of the approach to other development setting

Validation of the proposed approaches
Through experimentation
Applying the hybrid design method on case studies
Qulitative and quantitative study (metrics, developers’ perception)

Impact of tactics (tasks 1 and 2) on development
Practicality and applicability of formal methods
Analysis of system design from a high-level viewpoint with respect to chosen quality attributes

Back