CV Accueil - Archive ouverte HAL

	Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests Maria Naumcheva , Sophie Ebersold , Alexandr Naumchev , Jean-Michel Bruel , Florian Galinier The Journal of Object Technology, 2023, 22 (1), pp.1-19. ⟨10.5381/jot.2023.22.1.a3⟩ Article dans une revue hal-04128273v1
	The Role of Formalism in System Requirements Jean-Michel Bruel , Sophie Ebersold , Florian Galinier , Manuel Mazzara , Alexandr Naumchev ACM Computing Surveys, 2022, 54 (5, article 93), pp.1-36. ⟨10.1145/3448975⟩ Article dans une revue hal-04278226v1
	The Role of Formalism in System Requirements Jean-Michel Bruel , Sophie Ebersold , Florian Galinier , Manuel Mazzara , Alexandr Naumchev ACM Computing Surveys, 2021, 54 (5), pp.1-36. ⟨10.1145/3448975⟩ Article dans une revue hal-03261574v1
	AutoReq: expressing and verifying requirements for control systems Alexandr Naumchev , Bertrand Meyer , Manuel Mazzara , Florian Galinier , Jean-Michel Bruel Journal of Visual Languages and Computing, 2019, 51, pp.131-142. ⟨10.1016/j.cola.2019.02.004⟩ Article dans une revue hal-02878938v1

	Towards an Anatomy of Software Requirements Bertrand Meyer , Jean-Michel Bruel , Sophie Ebersold , Florian Galinier , Alexandr Naumchev 51st International Conference on Software Technology: Methods and Tools (TOOLS 2019), Oct 2019, Innopolis, Russia. pp.10-40, ⟨10.1007/978-3-030-29852-4_2⟩ Communication dans un congrès hal-04182587v1

	A contract-based method to specify stimulus-response requirements Alexandr Naumchev , Manuel Mazzara , Bertrand Meyer , Jean-Michel Bruel , Florian Galinier 2017 Autre publication scientifique hal-03120284v1

Jean-Michel Bruel