Trouver-Facile.Eu

The assert-project

2 visites depuis le 17-09-2008

(1.00/10) pour 1 vote(s). (Voter pour ce site)

Il y a 0 commentaire(s) pour ce site. Voir | Rédiger

=> Catégorie : Informatique > Programmation

ASSERT technologies allow industries to build reliable and cost-effective embedded systems and software with a new measurable and proof-based process based on modelling and verification, integrated supporting tools and preservation of system properties.

http://www.assert-project.net

assert, taste, aadl, hrt, uml, hrt-uml, scade, lustre, C, MATLAB, software quality, software quality engineering, software quality testing, software development process, software development, software development tools, software development tool, embedded software development, custom software development, software development methodology, software engineering tool, software engineering tools, software designer, software solution, embedded system, embedded systems, embedded system model, embedded system design, software development, software development tools, embedded software, embedded operating system, embedded projects, embedded applications, embedded solutions, uml tools, aadl tools, hrt tools, software requirements engineering, process modeling, process modelling, software architecture, model transformation, proof-based, proof base, real-time systems, real time systems, system and software, system engineering tool, software system properties, european union funding, esa, european space agency, european commission, IST

ASSERT technologies allow industries to build reliable and cost-effective embedded systems and software with a new measurable and proof-based process based on modelling and verification, integrated supporting tools and preservation of system properties

0 backlink(s), 0 page(s) référencée(s)