Cabinet de Conseil & de recherche en développement de logiciels

Original: http://mcs.open.ac.uk/mj665/topics.html

Sujets de recherche actuels
Génie logiciel et en génie (papiers)
Les conférences de l’OTAN de 1968 et 1969 étaient motivées par la conviction que software development « reposera sur les types de fondements théoriques et pratiques disciplines traditionnelles dans les branches établies de l’ingénierie. » Étonnamment, les conférences n’ont pas discuté ce qu’étaient ces fondations et disciplines, ou comment ils pourraient faire des émules. Il y a eu peu de discussions sur ce sujet dans les années quarante et plus encore. D’importants enseignements ont été négligés.
Problème images (papiers)
Cadres problème caractérisent les classes de problèmes simples. Ils sont basés sur l’analyse et structurant de l’exigence et de l’environnement dans lequel l’exigence se situe et peut aider à identifier les problèmes et difficultés. Individuellement, les cadres de problème sont trop simples pour s’adapter à n’importe quel problème réaliste. Mais des problèmes réalistes sont des compositions de problèmes élémentaires. Analyse des problèmes pratiques et structuration repose sur reconnaissant les sous-problèmes élémentaires qui composent un problème réaliste et les problèmes qui doivent être abordées afin de résoudre chaque sous-problème.
Problème cadre Composition (papiers)
La composition des sous-problèmes lui-même soulève des questions frais et difficultés, tant dans l’analyse des problèmes et en construisant des solutions. Identifier ces difficultés et de développer un répertoire standard des techniques pour les surmonter, sont le procédé classique par lequel les disciplines de l’ingénierie traditionnelles et leurs produits devient mature et fiable. Ce processus repose sur un degré élevé de spécialisation.
Concernant les problèmes et Solutions (papiers)
Cadres problème rassemblent des préoccupations des besoins et préoccupations de structure du logiciel à un niveau intermédiaire utile d’abstraction et de granularité. Chaque image problème comporte essentiellement trois parties : une partie de domaines problème, correspondant à la partie du monde le problème se trouve ; une partie de l’exigence, correspondant au comportement qui exige de la clientèle dans le domaine du problème ; et une partie de la machine, correspondant à la machine de logiciel/matériel qui fera en sorte que la condition est remplie. Architecture logicielle, ou une solution de structuration, peut prendre comme point de départ qu’il fallait composer machines sous-problèmes.
Extension de l’approche de trames de problème (papiers)
Les idées de base de frames de problème peuvent être étendues dans un certain nombre d’orientations. On est dans la structuration des systèmes socio-techniques. Une autre consiste à considérer les spécialisations de la machine. La machine à un problème est généralement censée pour être un ordinateur universel avec aucune des propriétés spéciales. Au lieu de cela nous pouvons spécialiser le cadre du problème en sélectionnant au préalable tout d’abord une catégorie particulière de comportement (par exemple, réactivité, dans lequel la machine revient à un état de repos avant de manipuler l’entrée suivante), ou une architecture particulière (par exemple, pipe-et-filtre ou tableau noir). Présélection d’une classe de comportement peut alléger le fardeau de la description de l’exigence. Présélection d’une architecture (élaboration du cadre de problème dans l’eu) paires problème et la solution d’une manière caractéristique d’établi branches ingénieries.
Exigences et spécifications (papiers)
Description est l’activité fondamentale dans le développement, en particulier dans les exigences et spécifications. Mais elle a reçu une attention étonnamment peu explicite de chercheurs et de praticiens dans le domaine. Incluent des préoccupations importantes dans la description : le choix des phénomènes à fournir les conditions de sol d’une description ; distinguer la définition de la description ; distinction compte tenu des propriétés de l’environnement contre les propriétés imposées par la machine à construire ; et la nécessité de simple, mais souvent ignorée pour distinguer la machine à être construit à partir du monde de l’environnement ou de problème. J’ai travaillé sur ce sujet depuis 1984. Il forme une partie importante de le œuvre antérieure avec Pamela Zave sur la spécification des systèmes de télécommunications. Les débuts d’un grand nombre des idées sur que j’ai travaillé sont présentés dans mon livre logiciel & cahier des charges.

Au-delà des sujets de recherche

Architecture de système de télécommunications (papiers)
J’ai travaillé pendant une dizaine d’années (jusqu’en 2002) avec Pamela Zave de recherche AT&T sur la spécification des systèmes de télécommunications. Ce travail a abouti à l’architecture abstraite caractéristique de distribuée Composition (DFC) permettant de spécifier les systèmes d’une manière modulaire qui aborde le problème d’interaction de fonctionnalité efficacement. L’approche a maintenant été utilisée dans les produits commerciaux et fait l’objet de plusieurs brevets. Pamela continue de travailler à approfondir et étendre les idées de DFC.
Développement de systèmes d’information (papiers)
De la fin des années 1970 à la seconde moitié des années 80, j’ai travaillé avec John Cameron et d’autres sur la méthode de la JSD d’analyse et de conception pour les systèmes d’information. La méthode est basée sur séparant la construction d’un modèle (par exemple, dans une base de données) du monde réel de la construction des fonctions informations que pour extraire et afficher les informations nécessaires du modèle. Le modèle se concentre principalement sur les comportements des entités du monde réel au cours de leur vie, ce qui représente chaque entité comme un ou plusieurs processus séquentiels : les variables locales de ces processus s’inscrivent les données du modèle de l’entité. La méthode est décrite dans mon livre le développement du système.
Conception des programmes séquentiels (papiers)
Depuis le milieu des années 1960 à la fin des années 1970, j’ai travaillé avec Barry Dwyer, Brian Boulter et d’autres collègues sur la méthode de JSP de la conception du programme. La méthode des bases de la structure du programme sur les structures de ses flux d’entrée et de sortie. Parce que la notion d’un flux de données correspond à un ensemble ordonné de messages ou documents, la méthode est assez largement applicable. Elle peut être appliquée, par exemple, à une séquence d’appels d’une procédure et à une séquence d’interruptions reçues par un gestionnaire d’interruption. Deux pièces très efficaces de la méthode sont un moyen systématique de traiter avec les affrontements de structure et d’une transformation qui permet à un processus à être facilement exprimés sous la forme d’un « programme principal » ou d’une procédure avec état de produire ou de consommer des enregistrements d’un flux. La méthode est décrite dans mon livre principes de conception du programme.

Comments are closed.