@conference {Jakimi2008521,
	title = {Use cases and scenarios engineering},
	booktitle = {Innovations{\textquoteright}07: 4th International Conference on Innovations in Information Technology, IIT},
	year = {2008},
	note = {cited By 0},
	pages = {521-525},
	doi = {10.1109/IIT.2007.4430418},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-50249112803\&doi=10.1109\%2fIIT.2007.4430418\&partnerID=40\&md5=82fe395e89ce2d783684d6544100e69f},
	author = {Jakimi, A. and Sabraoui, A. and Badidi, E. and Idri, A. and El Koutbi, M.}
}
@conference { ISI:000259601400195,
	title = {Using UAM scenarios in B2B systems},
	booktitle = {2008 INTERNATIONAL CONFERENCE ON COMPUTER AND COMMUNICATION ENGINEERING, VOLS 1-3},
	year = {2008},
	note = {International Conference on Computer and Communication Engineering, Kuala Lumpur, MALAYSIA, MAY 13-15, 2008},
	pages = {964+},
	publisher = {Int Islam Univ Malaysia, Fac Engn},
	organization = {Int Islam Univ Malaysia, Fac Engn},
	abstract = {Over the past years, scenarios have received significant attention and have been used for different purposes such as understanding requirements, human computer interaction analysis, and object-oriented analysis and design. In this paper, we suggest to apply the scenario approach to B2B systems (Business to Business). We propose, to develop B2B systems as a three activities process deriving formal specifications and code skeletons from UML scenarios. Activities of this proposed process are generally automatic and are supported by a set of developed algorithms and tools.},
	isbn = {978-1-4244-2357-6},
	doi = {10.1109/ICCCE.2008.4580750},
	author = {Jakimi, A. and Sabraoui, A. and Salah, A. and El Koutbi, M.}
}
@conference { ISI:000255983000056,
	title = {Use cases and scenarios engineering},
	booktitle = {2007 INNOVATIONS IN INFORMATION TECHNOLOGIES, VOLS 1 AND 2},
	year = {2007},
	note = {4th International Conference on Innovations in Information Technology, Dubai, U ARAB EMIRATES, NOV 18-20, 2007},
	pages = {274+},
	publisher = {IEEE},
	organization = {IEEE},
	abstract = {\textbackslash{} In this paper, we suggest a requirement engineering process that composes (merge) use cases/scenarios and yields a formal specification of the system in form of a high-level Petri net. Use cases and scenarios are acquired in form of diagrams as defined by the Unified Modeling Language (UML). These diagrams are composed and transformed into Petri net specifications and merged to obtain a global Petri net specification capturing the behavior of the entire system. From the global specification, a system prototype can be generated and embedded in a user interface builder environment for further refinement. Based on end user feedback, the use cases and the input scenarios may be iteratively refined. The result of the overall process is a specification consisting of a global Petri net, together with the generated and refined prototype. This paper discusses some activities of this process.},
	isbn = {978-1-4244-1840-4},
	author = {Jakimi, A. and Sabraoui, A. and Badidi, E. and Idri, A. and El Koutbi, M.}
}
