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

Résultat de recherche 1986 2019

Filtre
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

Real time systems
Telecommunication systems
Brakes
Semantics
Wire
45 Downloads (Pure)

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
187 Downloads (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
Adaptive systems
Model checking
Failure modes
Costs
Modeling languages
2012
115 Downloads (Pure)

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
Model checking
Formal methods
Software engineering

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

Model checking
Software engineering
69 Downloads (Pure)

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
Model checking
Temporal logic
Automata theory
Software engineering
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

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

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