129documents trouvés
Requirements traceability issues methodology and formal basis
A.E.K.SAHRAOUI
OCSD, ISI
Revue Scientifique : International Journal of Information Technology & Decision Making (ITDM), Vol.4, N°1, pp.59-80, Mars 2005 , N° 02575
Diffusable
103596Requirements completeness
R.S.CARSON, E.ASLAKSEN, G.CAPLE, P.DAVIES, R.GONZALES, R.KOHL, A.E.K.SAHRAOUI
Boeing Seattle, Brown Boveri, GP Consult, Thales, Leicester, Sandia Labs, AverSatr, ISI
Manifestation avec acte : 14th Annual International Symposium INCOSE 2004, Toulouse (France), 20-25 Juin 2004, 15p. , N° 03530
Diffusable
102409UML-PVS requirement specification and verification
I.TRAORE, M.H.EL JAMAL, Y.M.LIU, A.E.K.SAHRAOUI
Victoria, ISI
Manifestation avec acte : 14th Annual International Symposium INCOSE 2004, Toulouse (France), 20-25 Juin 2004, 17p. , N° 03508
Diffusable
102411Issues for systems engineering research
A.E.K.SAHRAOUI, D.M.BUEDE, A.P.SAGE
ISI, Georges Mason, Innovative
Manifestation avec acte : 14th Annual International Symposium INCOSE 2004, Toulouse (France), 20-25 Juin 2004, 11p. , N° 03509
Diffusable
102410Experience with multiformalism strategies and tools
A.E.K.SAHRAOUI, I.TRAORE
ISI, Victoria
Rapport LAAS N°04376, Juin 2004, 19p.
Diffusable
102456Using object oriented methods in a system lifecycle process model
A.E.K.SAHRAOUI, T.BLUM
OCSD, GIP, ISI
Revue Scientifique : ACM Software Engineering Notes (ACM SIGSOFT), Vol.28, N°2, 31p., Mars 2003 , N° 02525
Diffusable
100766A constructionist approach to requirements elicitation based on multi-dimensional knowledge about work realities
D.M.BERRY, I.RAMOS, A.E.K.SAHRAOUI
University of Waterl, Universidade do Minh, OCSD, ISI
Rapport LAAS N°03032, Janvier 2003, 11p.
Diffusable
100466Requirement elicitation and specification of temporal properties: text, logics, automata and Java assertions
A.E.K.SAHRAOUI
OCSD, ISI
Rapport LAAS N°02454, Octobre 2002, 13p.
Diffusable
100105Requirements engineering: the automata based elicitation and related issues
A.E.K.SAHRAOUI
OCSD, ISI
Manifestation avec acte : International Conference on Software Engineering Research and Practice (SERP'02), Las Vegas (USA), 24-27 Juin 2002, pp.108-114 , N° 02200
Diffusable
52897Calibration and path dynamics issues in microscopic simulation for advanced traffic management and information systems
A.E.K.SAHRAOUI, J.S.OH, R.JAYAKRISHNAN
OCSD, University of Califo, ISI
Revue Scientifique : Transportation Research Record, N°1771, pp.9-17, 2001 , N° 00341
Diffusable
51912