Publication

Service Specification and Validation for the Intelligent Network

Jean-Pierre Hubaux, Xavier Logean
1998
Journal Articles

Résumé

We propose an object-oriented specification language, FUS , for expressing the functional behaviors and the desired properties of each telecommunications service at the analysis phase. Our approach is based on Fusion, an object-oriented method that consists of analysis, design, and implementation phases for software development. Accompanying FUS is a tool we developed for translating FUS specifications to Promela statements

Source officielle

https://infoscience.epfl.ch/entities/publication/0a7f49cd-c132-47df-ad53-500d6feb9ebe

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Jean-Pierre Hubaux, Xavier Logean
1998
Journal Articles

Résumé

Source officielle

https://infoscience.epfl.ch/entities/publication/0a7f49cd-c132-47df-ad53-500d6feb9ebe

À propos de ce résultat

Concepts associés (31)

Programmation orientée objet

La programmation orientée objet (POO), ou programmation par objet, est un paradigme de programmation informatique. Elle consiste en la définition et l'interaction de briques logicielles appelées objets ; un objet représente un concept, une idée ou toute entité du monde physique, comme une voiture, une personne ou encore une page d'un livre. Il possède une structure interne et un comportement, et il sait interagir avec ses pairs.

Héritage (informatique)

En programmation orientée objet, l’héritage est un mécanisme qui permet, lors de la déclaration d’une nouvelle classe, d'y inclure les caractéristiques d’une autre classe. L'héritage établit une relation de généralisation-spécialisation qui permet d'hériter dans la déclaration d’une nouvelle classe (appelée classe dérivée, classe fille, classe enfant ou sous-classe) des caractéristiques (propriétés et méthodes) de la déclaration d'une autre classe (appelée classe de base, classe mère, classe parent ou super-classe).

Software development process

In software engineering, a software development process is a process of planning and managing software development. It typically involves dividing software development work into smaller, parallel, or sequential steps or sub-processes to improve design and/or product management. It is also known as a software development life cycle (SDLC). The methodology may include the pre-definition of specific deliverables and artifacts that are created and completed by a project team to develop or maintain an application.

Afficher plus

Publications associées (27)

Afficher plus

Service Specification and Validation for the Intelligent Network

Chattez avec Graph Search

Detection and characterisation of resident space objects in wide field astronomical surveys

Advances in Dynamical Low-Rank Approximations for random PDEs and Data Assimilation

Ceilometer data processing and analysis