Résultat de recherche

Résultat de recherche par an 1986 1999 2003 2005 2006 2007 2012 2013 2014 2024

• 112 Article dans les actes d'une conférence/un colloque
• 46 Article
• 20 Autre contribution
• 10 Chapitre
• 25 Afficher plus d’informations
  • 4 Livre
  • 4 Autre rapport
  • 3 Résumé
  • 2 Rapport commissionné
  • 2 Chapitre (revu par des pairs)
  • 2 Poster
  • 2 ???researchoutput.researchoutputtypes.contributiontojournal.conferencearticle???
  • 1 Syllabus
  • 1 Avant-propos/Préface/post-scriptum
  • 1 Editorial
  • 1 Revue de documentation
  • 1 Préprint
  • 1 Article de travail

Résultat de recherche par an

Résultat de recherche par an

Résultats de recherche

• 1994

  Second-order proof systems for algebraic specification languages

  Schobbens, P. Y., 1 janv. 1994, Recent Trends in Data Type Specification - 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Selected Papers. Springer Verlag, p. 321-336 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 785 LNCS).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Algebraic Specifications 100%
  • Proof System 100%
  • Second-Order Logic 25%
• 1993

  A logic for legal hierarchies

  Schobbens, P. Y., 1 août 1993, Proceedings of the 4th International Conference on Artificial Intelligence and Law, ICAIL 1993. ACM Press, Vol Part F127196. p. 272-281 10 p.

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Drawing Conclusion 100%
  • Nonmonotonic Reasoning 100%

• Circumscribing equality: a better way

  Schobbens, P-Y., 1993, Proceedings of First Dutch/German Workshop on Non-Monotonic Reasoning. Nejdl, W. (Ed.).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

• Operators and laws for combining preference relations

  Ryan, M., Schobbens, P-Y. & Andréka, H., 1993, Selected Papers of the Intl. Workshop on Information Systems: Correctness and Reuse. Wieringa, R. & Feenstra, R. (eds.). p. 191-206 16 p.

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

• 1991

  Clean algebraic exceptions with implicit propagation

  Schobbens, P-Y., 1991, Proceedings of the Second International Conference on Algebraic Methodology and Software Technology (AMAST).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

• On the Meaning of "but

  Schobbens, P. Y., 25 oct. 1991, IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design. ACM Press, p. 185-192 8 p. (IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Engineering Principle 100%
  • Modularization 100%
• 1990

  An experiment in formal software development

  Lafontaine, C., Ledru, Y. & Schobbens, P-Y., 1990, Proceedings of the 12th International Conference on Software Engineering (ICSE). p. 34-42 9 p.

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

• Applying VDM to large developments

  Ledru, Y. & Schobbens, P. Y., 1 avr. 1990, Conference Proceedings on Formal Methods in Software Development 1990. ACM Press, p. 55-58 4 p.

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

• Formalising methods: an experiment with VDM

  Ledru, Y. & Schobbens, P-Y., 1990, Proceedings of the 5th Australian Software Engineering Conference (ASWEC'90). p. 45-50 6 p.

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

• Two approaches towards the formalisation of VDM

  Lafontaine, C., Ledru, Y. & Schobbens, P-Y., 1990, VDM'90: VDM and Z!. Vol 428. p. 370-398 29 p.

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

• 1988

  Precise Standards through Formal Specifications: a Case Study: the Unix File System

  Declerfayt, O., Demeuse, B., Milgrom, E., Schobbens, P-Y. & Wautier, F., 1988, Proc. Autumn '88 EUUG Conference.

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

• Une Notation pour la Spécification Algébrique de Systèmes Concurrents

  Broy, M. & Schobbens, P-Y., 1988, 4e Colloque de Génie Logiciel (CGL4). Paris: Association française pour la cybernétique économique et technique , p. 141-152 12 p.

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque