Software development requires multi-stage processes in order to organise the software development effort. Each software development project should implement a development process that is appropriate to the project setting. ...
Pluska, Michal; Sinclair, David(20th European Meeting on Cybernetics and System Research, 2010)
Embedded system interacting with physical world should be designed with high degree of safety. In most existing design approaches dealing with such systems verification is done afterwards what may lead to redesign problems. ...
Recent advances in both the capabilities and accessibility of embedded systems have resulted in the potential to build increasingly complex systems that consequently are difficult to develop, test and deploy. Model-driven ...
Service-based architecture have now become commonplace, creating the need to address their systematic maintenance and evolution. We propose a layered pattern based transformation framework to support a stepwise and incremental ...
Programmers often write custom parsers for the command line input of their programs. They do so, in part, because they believe
that both their program’s parameterization and their option formats are simple. But as the ...
The quality of the software development process directly affects the quality of the software product. To be successful, software development organisations must respond to changes in technology and business circumstances, ...
This paper describes an extension adding priority to slotted-Circus, a generic framework for reasoning about discretely timed and/or synchronously clocked systems. The semantics of prioritised external choice is given using ...
The growing complexity of software systems as well as changing conditions in the operating environment demand systems that are more flexible and dependable. A possible solution we envisage is the use of mechanisms for ...
In this paper, we give a graph-based definition of the distillation transformation algorithm. This definition is made within a similar framework to the positive supercompilation algorithm, thus allowing for a more in-depth ...
It has been long recognised that partial evaluation is related to proof normalisation. Normalisation by evaluation, which has been presented for theories with simple types, has made this correspondance formal. Recently ...