Introducing knowledge concepts in software process modeling

ABSTRACT: Software process is knowledge intensive. Nevertheless, knowledge concepts are rarely taken into account in software process modeling. This paper presents a new software process modeling approach, which takes into account the various conceptual knowledge required to perform a task. The approach is based on the Software & Systems Process Engineering Metamodel (SPEM 2.0). It essentially adds knowledge attributes to existing relationships between roles, tasks and artifacts. Comparison between attributes for a given task provides information on the knowledge-gap between the SPEM elements involved. This information could be used in knowledge oriented project management to evaluate the risk associated to the knowledge gaps. A software tool has been implemented to facilitate the recording of various knowledge concepts while modeling the software process. Example of this approach is presented

Théorie et méthode de Tests des états logiques (TEL), preuve par les tests de logiciels ayant un comportement vectoriel

Programme, logiciel et cycle de vie -- Vérification, validation et tests -- Vérification des différentes phases du cycle de vie -- Transformation de l'énoncé du projet -- Erreurs -- Méthodes de vérification -- Tests -- Théorie des tests -- Tests en pratique -- Trois caractéristiques des programmes -- Théorie et méthode de "tests des états logiques " ou TEL

Modélisation et simulation de processus de biologie moléculaire basée sur les réseaux de Pétri : une revue de littérature

Les réseaux de Pétri sont une technique de simulation à événements discrets développée pour la représentation de systèmes et plus particulièrement de leurs propriétés de concurrence et de synchronisation. Différentes extensions à la théorie initiale de cette méthode ont été utilisées pour la modélisation de processus de biologie moléculaire et de réseaux métaboliques. Il s’agit des extensions stochastiques, colorées, hybrides et fonctionnelles. Ce document fait une première revue des différentes approches qui ont été employées et des systèmes biologiques qui ont été modélisés grâce à celles-ci. De plus, le contexte d’application et les objectif s de modélisation de chacune sont discutés

Mesure et analyse des activités collaboratives AD HOC retrouvées au cours d'un processus de génie logiciel

Les processus de génie logiciel sont de nos jours de plus en plus objets de préoccupations dans plusieurs organisations qui développent du logiciel. Le but du processus étant d’accroître la prédictibilité des échéanciers, des coûts ainsi que de la qualité du logiciel développé, les entreprises investissent désormais une plus grande quantité d’argent et d’effort afin d’améliorer continuellement leur processus de développement de logiciels. Par ailleurs, beaucoup de chercheurs s’entendent pour dire que la réussite de projets informatiques ne dépend pas seulement de facteurs techniques, mais que certains aspects humains auraient un impact tout aussi significatif, sinon plus. Parmi ces derniers, le travail collaboratif au sein d’une équipe de développement de logiciels a été identifié par plusieurs comme ayant un impact majeur sur les chances de succès d’un projet logiciel permettant à une équipe de partager toute l’information nécessaire en vu de la cristalliser en un logiciel de qualité qui correspondra aux attentes de l’usager tout en respectant les contraintes de temps et d’argent. De plus, même si une organisation possède un processus de génie logiciel formel et bien définit, des recherches empiriques ont démontré l’importance indéniable que revêtent les activités collaboratives ad hoc au cours du développement d’un logiciel, importance qui se fait également gravement ressentir dans un contexte de développement distribué. Toutefois, ces dernières recherches ont omis de décrire la teneur de ces activités collaboratives informelles et spontanées laissant de ce fait un vaste champ de recherche en génie logiciel toujours inexploré. Ce document présente une recherche empirique, entreprise pour l’obtention d’une maîtrise en génie informatique, qui a présentement cours dans le cadre d’une étude de cas en profondeur dans l’industrie et qui explore l’aspect du travail collaboratif en génie logiciel, plus spécifiquement les activités collaboratives ad hoc retrouvées lors d’un processus de développement de logiciels. Cette recherche visera donc dans un premier temps à modéliser et caractériser les activi tés collaboratives ad hoc retrouvées au cours d’un processus de génie logiciel pour en connaître l’importance, le contenu, de même qu’en distinguer les activités cognitives sous-jacentes impliquées. Cela constituera dans un deuxième temps de préambule afin de proposer des améliorations au processus observé dans le cadre de cette étude. Pour ce faire, la stratégie de recherche proposée dans ce document s’appuie sur une collecte de données provenant de diverses sources d’information disponibles rendant ainsi possible une triangulation de celles-ci pour en augmenter la validité. Finalement, une seconde phase à cette recherche pourrait être menée afin de confirmer les hypothèses issues des théories induites des données empiriques recueillies ou encore, afin d’implanter au sein d’une équipe pilote de nouvelles pratiques au processus observé et visant à y accroître l’efficacité sur le plan du travail collaboratif. Une seconde mesure pourrait enfin avoir lieu afin de ressentir l’impact des nouvelles pratiques et si les résultats s’avèrent fructueux, elles pourraient par la suite être appliquées à plus grande échelle. Plus de détails sur nos motivations seront trouvés dans ce document suivis d’une discussion sur la méthodologie de recherche employée, incluant nos méthodes de collecte de données et plaçant également une certaine emphase sur les techniques d’analyse utilisées pour déchiffrer l’importante quantité de données amassées. Finalement, quelques résultats d’une analyse préliminaire seront révélés, résultats qui confirment tant la pertinence des données que l’importance du phénomène observé

A knowledge-based perspective for software process modeling

As the acquisition and sharing of knowledge form the backbone of the software development process, it is important to identify knowledge discrepancies between the process elements. Explicit representation of the knowledge components within a software process model can provide a means to expose these discrepancies. This paper presents an extension of the Software and System Process Engineering Metamodel (SPEM), to be used as a new knowledge modeling layer. The approach, which is based on ontologies for knowledge representation, constitutes an explicit method for representing knowledge within process models. A concept matching indicator shows the state of the process model in terms of the concept gaps for each task within the process. This indicator could lead to more informed decision making and better management of the associated risks, in terms of team competency, documentation quality, and the training required to mitigate them

Attainability of Accurate Age Frequencies for Ocean Quahogs (Arctica islandica) Using Large Datasets: Protocol, Reader Precision, and Error Assessment

Ocean quahogs (Arctica islandica) are the longest lived bivalve on Earth. Individuals on the deep continental shelf off Georges Bank can survive for centuries, and in the colder, boreal waters of Iceland, ages over 500 y can be reached. Ocean quahog landings in the United States represent a $24 million industry, yet assessment models operate with no age data because of the substantial sample size required to develop adequate population age distributions for such a long-lived species, the unknown error associated with age estimates, and the extensive time and financial investment required to create production-scale age datasets. Inclusion of age data for this species requires precision metrics to evaluate aging uncertainty such as percent agreement, percent error, coefficient of variation, and tests of bias. To move forward using error-validated age-composition data, a 3-fold error protocol was developed using a large dual-reader dataset (n = 610) from Georges Bank. First, a proxy age-validation study was performed to corroborate an aging method, followed by error evaluation in the context of age-reader bias, precision, and error frequency. Error thresholds were established for each of the three error methods. Georges Bank samples ranged from 33 to 261 y of age and met the predetermined error thresholds for bias (conditionally because of significant and nonsignificant results), precision (average coefficient of variation less than 7%), and error frequency (less than 10%). Consequently, age estimates were deemed acceptable to support age frequency analyses. Precision and bias error were greatest for the youngest animals and, in the context of age-reader bias, error rates were higher for young male ocean quahogs than for young females. Improved age validation of young, sex-differentiated A. islandica will constrain aging error and guide refinement of both aging and age-error protocols