If you made any changes in Pure these will be visible here soon.

Research Output 1986 2019

Filter
Other contribution
13 Downloads (Pure)
File
Sampling
Testing
Markov processes
Explosions

Verification for Reliable Product Lines

Cordy, M., Heymans, P., Schobbens, P-Y., Molzam Sharifloo, A. & Ghezzi, C., 2013

Research output: Other contribution

2012
112 Downloads (Pure)
File
94 Downloads (Pure)
File
14 Downloads (Pure)
File
257 Downloads (Pure)
File
2010
69 Downloads (Pure)
File
2009
55 Downloads (Pure)

Towards a Unifying Conceptual Framework for Inconsistency Management Approaches: Definitions and Instantiations

Hubaux, A., Cleve, A., Schobbens, P-Y., Keller, A., Muliawan, O., Castro, S., Mens, K., Deridder, D. & Van Der Straeten, R., 2009

Research output: Other contribution

File
Terminology
Software engineering
Concretes
Modeling languages
2004
1988

LPG: a Generic, Logic and Functional Programming Language

Bert, D., Declerfayt, O., Demeuse, B., Drabik, P., Echahed, R., Schobbens, P-Y. & Wautier, F., 1988

Research output: Other contribution

1986

Selecting an ADA Environment

Ada-Europe Env. Working Group, N. V. & Schobbens, P-Y., 1986

Research output: Other contribution