Search Results - "C. PONSARD"

Early verification and validation of mission critical systems by Ponsard, C., Massonet, P., Molderez, J. F., Rifaut, A., Lamsweerde, A. van, Van, H. Tran

“…Complex software and systems are pervasive in today's world. In a growing number of fields they come to play a critical role. In order to provide a high…”
Get full text

Jason continuity of services: continuing the Jason altimeter data records as Copernicus Sentinel-6 by Scharroo, Remko, Bonekamp, Hans, Ponsard, Christelle, Parisot, François, von Engeln, Axel, Tahtadjiev, Milen, de Vriendt, Kristiaan, Montagner, François

“…The Sentinel-6 mission is proposed as a multi-partner programme to continue the Jason satellite altimeter data services beyond the Jason-2 and Jason-3…”
Get full text

Reconciling system requirements and runtime behavior by Feather, M.S., Fickas, S., van Lamsweerde, A., Ponsard, C.

“…This paper considers the problem of system deviations from requirements specifications. Such deviations may arise from lack of anticipation of possible…”
Get full text

Goal-oriented requirements animation by Hung Tran Van, van Lamsweerde, A., Massonet, P., Ponsard, C.

“…Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want…”
Get full text

Hormones et promoteurs de croissance en productions animales : de la physiologie à l’évaluation du risque by A. PARIS, F. ANDRE, J.P. ANTIGNAC, B. LE BIZEC, M. BONNEAU, C. BRIANT, A. CARATY, Y. CHILLIARD, Y. COGNIE, Y. COMBARNOUS, J.P. CRAVEDI, C. FABRE-NYS, A. FERNANDEZ-SUAREZ, A. FOSTIER, P. HUMBLOT, V. LAUDET, B. LEBOEUF, I. LOUVEAU, B. MALPAUX, F. MARTINAT-BOTTE, M.C. MAUREL, M.T. PELICER-RUBIO, N. PICARD-HAGEN, L. PINAULT, G. PINEL, C. PONSARD, M.A. POPOT, P. SCHMIDELY, P.L. TOUTAIN, D. ZALKO

“…Au cours des cinquante dernières années, des progrès considérables dans les performances d’élevage des espèces domestiques ont été obtenus grâce à une…”
Get full text

Fuzzy Economic Regions in Europe by Ponsard, C, Tranqui, P

“…Economic regions are fuzzy spaces. A taxonomic method of fuzzy regionalization is presented to describe regions which maintain their imprecise characteristics…”
Get full text

Characterization of rabbit cells by monoclonal and polyclonal antibodies by PONSARD, D. C, CINADER, B, CHOU, C.-T, DUBISKI, S

“…Reagents for the identification of rabbit cell markers have been developed at a relatively slow rate. In this paper, rabbit cells are being characterized by…”
Get full text

P.2.109 Identification of determinants of treatmentresponse to amisulpride using multivariate regression analysis by Lecrubier, Y., Ponsard, C., Rein, W.

Get full text

Efficient reuse of domain-specific test knowledge: An industrial case in the smart card domain by Devos, N., Ponsard, C., Deprez, J., Bauvin, R., Moriau, B., Anckaerts, G.

“…While testing is heavily used and largely automated in software development projects, the reuse of test practices across similar projects in a given domain is…”
Get full text

FAUST: formal analysis using specification tools by Rifaut, A., Massonet, P., Molderez, J.-F., Ponsard, C., Stadnik, P., van Lamsweerde, A., Van Hung, T.

“…Developing high quality requirements specifications is a necessity for a number of critical industrial systems. An integrated toolset, called FAUST, is…”
Get full text

Reconciling System Requirements and Runtime Behavior by Feather, M. S., Fickas, S., Van Lamsweerde, A., Ponsard, C.

“…This paper considers the problem of runtime system deviations from requirements specifications. Such deviations may arise from lack of anticipation of possible…”
Get full text

A Monitoring and Audit Logging Architecture for Data Location Compliance in Federated Cloud Infrastructures by Massonet, P., Naqvi, S., Ponsard, C., Latanicki, J., Rochwerger, B., Villari, M.

“…Current cloud infrastructures have opaque service offerings where customers cannot monitor the underlying physical infrastructure. This situation raises…”
Get full text

Towards a Model-Driven Approach for Mapping Requirements on AADL Architectures by Ponsard, C., Delehaye, M.

“…Software architectural design is a key activity in the software development process. It is especially critical for embedded systems subject to specific…”
Get full text

Hiérarchie des places centrales et graphes Φ-Flous by Ponsard, C

“…This paper discusses the nature of the dominance relationships in a central-place system. The author takes account of the indeterminacy which fundamentally…”
Get full text

Early Verification and Validation of Mission Critical Systems by Ponsard, C., Massonet, P., Rifaut, A., Molderez, J.F., van Lamsweerde, A., Tran Van, H.

“…Our world is increasingly relying on complex software and systems. In a growing number of fields such as transportation, finance, telecommunications, medical…”
Get full text

The rabbit immune system: cells regulating the proliferative response of purified T cells to concanavalin A and phytohaemagglutinin by Ponsard, D C, Chou, C T, Cinader, B, Dubiski, S

“…T cell specific, B cell specific and Ia specific polyclonal antisera, as well as monoclonal antibodies, were employed to characterize cells involved in…”
Get more information

Location and Space-Economy, A general Theory Relating to Industrial Location, Market Areas, Land Use, Trade, and Urban Structure by Ponsard, C.

Get full text

An analysis of the chinese wall pattern for guaranteeing confidentiality in grid-based virtual organisations by Dallons, G., Massonet, P., Molderez, J.-F., Ponsard, C., Arenas, A.

“…Virtual organisations (VO) allow independent organisations to share resources and collaborate to achieve common goals. When a VO is defined in a business…”
Get full text

Hiérarchie des places centrales et graphes PHI-flous by Ponsard, C

Get full text

Lettre à M. ALLAIS by Ponsard, C

Get full text