Items where Institution is :Other partners > University of Luxembourg (LUXEMBOURG)
Number of items at this level: 5.
Brau, Guillaume and Hugues, Jérôme and Navet, Nicolas A contract-based approach to support goal-driven analysis. (2015) In: 2015 IEEE 18th International Symposium on Real-Time Distributed Computing, 13 April 2015 - 17 April 2015 (Auckland, New Zealand).
Hugues, Jérôme and Brau, Guillaume Analysis as first-class citizens – an application to Architecture Description Languages. (2014) In: 17th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing (ISORC 2014), 8 June 2014 - 12 June 2014 (Reno, United States).
Brau, Guillaume and Navet, Nicolas and Hugues, Jérôme Refinement of AADL models using early-stage analysis methods. (2013) In: The 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop , 3 December 2013 - 3 December 2013 (Vancouver, Canada).
Garion, Christophe and Van der Torre, Leon Design by contract - Deontic design language for multiagent systems. (2006) In: Coordination, organization, institutions and norms in agent systems I, 25-29 Jul 2005, Utrecht, Netherlands .
Garion, Christophe and Van der Torre, Leon Design by contract - Deontic design language for component-based systems. (2003) In: BNAIC'03 : 15th Belgium-Netherlands Conference on Artificial Intelligence, 23-24 Oct 2003, Nijmegen, The Netherlands .