Community Research and Development Information Service - CORDIS

Search projects and results

Results 1 - 10 of 26
Order by: Results/page:
12 3 > 
A series of seminars helped raise awareness amongst European software developers of the potential benefits and state-of-the-art in formal methods. Formal methods are mathematically-based approaches to software and system development that support the rigorous specification, des...
Programme: FP4-ESSI 2
Record Number: 20708
Last updated on: 2004-01-29
Although industrial adoption of formal methods has progressed steadily over the last twenty years, it has been slower than the state of the technology and its understanding could have permitted. The typical barriers have been a lack of knowledge on the part of potential indust...
Programme: FP4-ESSI 2
Record Number: 20763
Last updated on: 2003-01-17
CUSTOMIZE reduces the life-cycle cost of products in a series of similar, but not identical, customised software applications. The life-cycle cost has been reduced by putting more effort into the development of the base software. Re-usability of source code, configurability an...
Programme: FP4-ESSI 2
Record Number: 23535
Last updated on: 2001-07-06
Small Company Action Training and Enabling (SCATE) is a complete cost-effective solution to the management of software development. SCATE is specifically designed for small companies (and small software organizations in large companies) where resources are scarce and so is tim...
Programme: FP4-ESSI 2
Record Number: 21576
Last updated on: 2001-06-29
[REPORT SUMMARY] COIN VERIFIER; COVER
COVER is a coin recognizer and smart card interface for systems such as vending machines and public phones. It can be tuned for high performance and low power telephony applications. The product is used in Europe, of course, but above all in many emerging markets throughout th...
Programme: FP4-ESSI 2
Record Number: 23852
Last updated on: 2001-02-22
STAR (Systematic Testing and Reviewing) is a packaged process to incorporate integrated evaluation tasks throughout the entire life cycle of software products. It integrates testing and reviewing in a systematic manner. The process is supported by a B-kin developed tool: B-kin...
Programme: FP4-ESSI 2
Record Number: 23838
Last updated on: 2000-01-25
The aim of SISSI is to translate software engineering into a competitive advantage in the market place. SISSI provides executives in software-producing organizations (both software vendors and companies developing software for in-house use) throughout Europe with tailored and ...
Programme: FP4-ESSI 2
Record Number: 23835
Last updated on: 2000-01-25
The METAPOWER System measures and displays RPM (Revolutions Per Minute), torque and power on rotating shafts. It is a digital, laser-based system intended to replace straingauge based torque meters. METAPOWER has very good long-term stability and is ideal for all types of rota...
Programme: FP4-ESSI 2
Record Number: 23825
Last updated on: 2000-01-25
The Process Improvement Experiment (PIE), AMPIC "Application of Metrics for Process Improvement for safety Critical software" should be of particular interest to organizations which are developing safety critical software and also to organizations which are considering impleme...
Programme: FP4-ESSI 2
Record Number: 23559
Last updated on: 1999-12-22
IMPOSE has improved internal processes for scheduling and estimating software development projects and, using object-oriented analysis and design, for identifying the requirements on which estimates are based. IMPOSE has defined an object-oriented iterative software developme...
Programme: FP4-ESSI 2
Record Number: 23538
Last updated on: 1999-12-22
12 3 > 
List retrieved on: 2017-08-17
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top