Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Résultat de recherche

Filtrer
Chapitre
2013

Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems

Kang, E-Y. & Schobbens, P-Y., 1 janv. 2013, IEEE International Conference on Control and Automation, ICCA. p. 1890-1895 6 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

Formalisation et Construction d'une Ontologie dans le Domaine des Infections Orthopédiques

De Nizza, D., Ortiz Vega, J. J., Meurisse, H. & Schobbens, P-Y., 2013, PFIA 2013: French Symposium of Artificial Intelligence. Lille, 10 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

File
46 Téléchargements (Pure)

Model checking adaptive software with featured transition systems

Cordy, M., Classen, A., Heymans, P., Legay, A. & Schobbens, P., 1 janv. 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Principles, Models, and Techniques. Cámara, J., de Lemos, R., Ghezzi, C. & Lopes, A. (eds.). Heidelberg Dordrecht London New York: Springer, Vol 7740. p. 1-29 29 p. (Lecture Notes in Computer Science).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

Accès ouvert
File
188 Téléchargements (Pure)
2012

Behavioural modelling and verification of real-time software product lines

Cordy, M., Schobbens, P-Y., Heymans, P. & Legay, A., 2012, Proceedings of the 16th International Software Product Line Conference (SPLC '12), Salvador, Brazil, September 2-7. Vol 1. p. 66-75 10 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

File
121 Téléchargements (Pure)

Managing evolution in Software Product Lines: A model-checking perspective

Cordy, M., Classen, A., Heymans, P., Schobbens, P-Y. & Legay, A., 2012, Proceedings of the Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), Leipzig, Germany, January 25-27. Ulrich, W., Sven, E. & Stefania, A. (eds.). ACM Press, p. 183-191 9 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

Towards an incremental automata-based approach for software product-line model checking

Cordy, M., Schobbens, P., Heymans, P. & Legay, A., 1 janv. 2012, ACM International Conference Proceeding Series. Vol 2. p. 74-81 8 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

Accès ouvert
File
70 Téléchargements (Pure)
2004

La rédaction du Cahier des Charges : pour une méthodologie pluridisciplinaire et participative d'élicitation des exigences : chapitre 3

Petit, M., Rousseau, A., Schobbens, P-Y. & Lobet-Maris, C., 2004, Urgence aux urgences: L'informatique, une solution. Dumont, V., Cl., L. M. & Rousseau, A. (eds.). Namur: Presses universitaires de Namur, p. 53-74

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

Accès ouvert
2003

Analyse organisationnelle et ingénierie des exigences: préalables à l'informatisation des services des urgences

Petit, M., Rousseau, A., Schobbens, P-Y. & Lobet-Maris, C., 2003, ARTHUR - Manuel d'informatisation des urgences hospitalières, ISBN 2-930344-32-6. Herveg, J. & Rousseau, A. (eds.). Louvain-la-Neuve: Presses universitaires de Louvain, p. 13-53 41 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

Accès ouvert
1998

ALBERT at the age of five: a progress report

Schobbens, P., 1998, Proc. Dagsthul Seminar on Object-Oriented Software Development. Ehrich, H. D., Feng, Y. & Kung, D. (eds.). Dagstuhl Bericht, Vol 174.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

1992

Higher-order proof rules for algebraic specifications

Schobbens, P-Y., 1992, Recent Trends in Data Type Specification: Proceedings of the 5th Workshop on Abstract Data Types (WADT). Orejas, F. (Ed.). Vol 785.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre