Formal specificationIn computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software. They are used to describe a system, to analyze its behavior, and to aid in its design by verifying key properties of interest through rigorous and effective reasoning tools. These specifications are formal in the sense that they have a syntax, their semantics fall within one domain, and they are able to be used to infer useful information.
Mobile development frameworkA mobile development framework is a software framework that is designed to support mobile app development. It is a software library that provides a fundamental structure to support the development of applications for a specific environment. Frameworks can be in three categories: native frameworks for platform-specific development, mobile web app frameworks, and hybrid apps, which combine the features of both native and mobile web app frameworks.
Design de produitsthumb|Fauteuils design Le design de produits est une conception d'objets usuels répondant à des fonctions au service de l'homme. Plusieurs établissements proposent aujourd'hui un DNMADE (anciennement BTS) design de produits. Design et marketing : Fondements et Méthodes, L'Harmattan, 2007, p.383 Jean-Jacques Urvoy, Sophie Sanchez, Le designer: De la conception à la mise en place du projet, Eyrolles, 2011, p.127 École Boulle, les ateliers et formations au design de produits École supérieure de Design des Lan
