Service-oriented modelingService-oriented modeling is the discipline of modeling business and software systems, for the purpose of designing and specifying service-oriented business systems within a variety of architectural styles and paradigms, such as application architecture, service-oriented architecture, microservices, and cloud computing. Any service-oriented modeling method typically includes a modeling language that can be employed by both the "problem domain organization" (the business), and "solution domain organization" (the information technology department), whose unique perspectives typically influence the service development life-cycle strategy and the projects implemented using that strategy.
Design de servicesLe design de services s'intéresse à la fonctionnalité et à la forme des services du point de vue de l'utilisateur, l'usager, le client. Il a pour objectif de s'assurer que l'interface du service est utile, utilisable et désirable du point de vue du client et efficace, performante et - quand il s'agit d'un produit commercialisé - « différenciante » du point de vue du fournisseur. Souvent, un service va être associé à un objet ou à des objets permettant l'interaction avec l'utilisateur (borne, application sur téléphone mobile, service Web.
User experience designUser experience design (UX design, UXD, UED, or XD) is the process of defining the experience a user would go through when interacting with a company, its services, and its products. Design decisions in UX design are often driven by research, data analysis, and test results rather than aesthetic preferences and opinions. Unlike user interface design, which focuses solely on the design of a computer interface, UX design encompasses all aspects of a user's perceived experience with a product or website, such as its usability, usefulness, desirability, brand perception, and overall performance.
Vérification formelleIn the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.
DesignerUn designer ([dizajnəʁ]), parfois francisé en designeur (féminin designeuse), est un professionnel qui conçoit un produit en harmonisant les critères esthétiques et fonctionnels de celui-ci. Le designer peut être spécialisé (design d'espace, design de produits, design graphique) ou pluridisciplinaire (design signalétique, design de services). Il travaille souvent en collaboration avec des spécialistes d'autres disciplines, pour analyser et résoudre les problèmes soulevés par un projet.
Design industrielLe design industriel est l'activité qui consiste à imaginer et créer, visualiser et concevoir un objet ou produit (en fonction d'un projet ou dessein, d'un concept ou idée), son dessin (formes, style), ses matériaux (couleurs, textures), ses fonctionnalités (usages), ses valeurs (appropriation), son utilisabilité (confort), son ergonomie (sécurité), avec pour objectifs d'augmenter son attractivité (apparence), sa pertinence (utilité), son efficience (rendement), sa fiabilité (durabilité), en intégrant et ut
Design numériquevignette|366x366px Incluant l’ensemble des pratiques utilisant des matières informatisées comme moyen et comme fin dans la conception, le design numérique (également appelé design d'interaction ou design interactif) définit les structures et comportements de systèmes interactifs. Apparaissant comme un nouveau champ issu de la révolution numérique, il réinvente la manière de façonner le design en mettant l’accent sur l’expérience de l’acteur et non l’objet en soi.
Ingénierie dirigée par les modèlesEn génie logiciel, l'ingénierie dirigée par les modèles (IDM, ) est un ensemble de pratiques fondées sur le concept de modèle de domaine. Ces pratiques ont pour but d'automatiser la production, la maintenance ou l'utilisation de systèmes logiciels. L'objectif de cette approche est de concentrer les efforts sur le domaine d'application du logiciel plutôt que sur son implémentation. Apparue dans les années 2000, l'ingénierie dirigée par les modèles est un sujet de recherche actif qui utilise de manière intensive les métamodèles et les transformations de modèle.
Langage de modélisationUn langage de modélisation est un langage artificiel qui peut être utilisé pour exprimer de l'information ou de la connaissance ou des systèmes dans une structure qui est définie par un ensemble cohérent de règles. Les règles sont utilisées pour l'interprétation de la signification des composants dans la structure. Un langage de modélisation peut être graphique ou textuel.
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