Abstract :
We looked at the projects requirements and thought they were straightforward. This project uses a home-brew application development system. It is an example of agile development. This framework uses a mixture of technologies: some modeling, some code generation, some reusable components, and so on. This real-time software lasts and delivers value, for as long as it´s needed, and is simple and straightforward to understand, maintain, enhance and extend.
Keywords :
formal specification; formal verification; project management; software development management; code generation; home-brew application development system; project requirements; real-time software; reusable components; Application software; Data structures; Eyes; Fellows; Law; Legal factors; Open source software; Privacy; Software quality; Testing; 010; 05; 210; 415; 416; 460; 6; 65; 7; Hunt, A.; Imaginate; Journal paper; Thomas, D.; agile development; application development; software construction;
